suspending until several variables are all instantiated

From: <mdg103_at_york.ac.uk>
Date: Sat 03 Sep 2005 02:53:16 PM GMT
Message-ID: <Prayer.1.0.10.0509031553160.11647@webmail1.york.ac.uk> 
suspend(C is A+B, 1, A->inst),

will suspend until A is instantiated, is it possible to suspend until 
several variables are instantiated (for example both A and B) as this is 
required for certain constraints?

suspend(C is A+B, 1, [A->inst, B->inst]),

and

suspend(C is A+B, 1, [A, B]->inst),

both seem to suspend until either A or B are instantiated, resulting in an 
instantiation fault in some cases.

Thanks,
Matthew
Received on Sat Sep 03 16:00:56 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:39 PM GMT GMT