Revision as of 11:16, 20 August 2022 (view source) Pbrowne (talk \| contribs) (→‎Examples) ← Older edit		Revision as of 11:18, 20 August 2022 (view source) Pbrowne (talk \| contribs) m (→‎Examples) Newer edit →
Line 57: vars N N' : Nat -- The program is in the form of a ~~condition~~single conditional equation, which will swap N and N' if N is larger or equal to N'.▼ ~~-- A very short sorting program using one transition equation in POA logic, which is a type of rewrite logic.~~ ▲-- The program is in the form of a condition equation, which will swap N and N' if N is larger or equal to N'. -- There is no need for an intermediate variable to do the swap. ceq[swap] : (N N') = (N' N) if N' <= N .

Category:CafeOBJ (view source)