suspending until several variables are all instantiated

From: <>
Date: Sat 03 Sep 2005 02:53:16 PM GMT
Message-ID: <>
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]),


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.

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