% $Id: CSClassesTest.oz,v 1.1 2007/11/26 21:21:43 leavens Exp leavens $ \insert 'CSClasses.oz' \insert 'SolveAll.oz' \insert 'TestingNoStop.oz' % Query the ClassRel relation proc {NameQ ?Num ?Name} {ClassRel query(name(Num Name))} end % Query the Prereqs relation proc {PrereQ ?Num ?Needs} {Prereqs query(prereq(Num Needs))} end % What are the prerequisites of cop4020? {Test {SolveAll proc {$ ?Pre} {PrereQ cop4020 Pre} end} '==' [cot3960 cot3503]}