% $Id: RAppendTest.oz,v 1.2 2007/12/08 16:50:17 leavens Exp leavens $ \insert 'SolveFirst.oz' \insert 'SolveAll.oz' \insert 'RAppend.oz' % Forward use {Browse {SolveFirst proc {$ S} Z=S in {RAppend [3 4] [5 6] Z} end}} % Backward use {Browse {SolveFirst proc {$ S} X=S in {RAppend X [2 3] [1 2 3]} end}} {Browse {SolveFirst proc {$ S} Y=S in {RAppend [3 4] Y [3 4 5 6]} end}} % Determine combinations of arguments {Browse {SolveAll proc {$ S} X#Y=S in {RAppend X Y [1 2 3]} end}} {Browse {SolveFirst proc {$ S} Y#Z=S in {RAppend [1 2] Y Z} end}} {Browse {List.take {Solve proc {$ S} X#Z=S in {RAppend X [3 4] Z} end} 3}} % Check if all arguments fit together {Browse {SolveFirst proc {$ S} {RAppend [1 2] [3 4] [1 2 3 4]} S=unit end}}