Category:CafeOBJ: Difference between revisions

 

vars N N' : Nat

-- The program is in the form of a condition transition, which will swap N and N' if N is larger or equal to N'.

-- This is a equation in POA logic so there is no need for an intermediate variable to do the swap.