Hi everybody,
for some processing, I post something like this in my Space constructor
wait( *this, A, &checkA);
wait( *this, B, &checkB);
wait( *this, A+B, &printAB);
branch( *this, A, .. );
branch( *this, B, .. );
to do some dedicated successive checks on assignments of A, B and both A
and B.
Since my last printAB depends on the outcome of both checkA and checkB
(both might make the CSP fail) I need to know if the processing order of
the wait statements the same as their posting order within the
constructor... :/
Or is there a better solution to that as posting an according branching like
branch( *this, &checkA );
where I first have to trigger constraint propagation in order to ensure
assignment... !??!
Thanks for your help,
Martin
--
Dr. Martin Mann, Postdoc
Bioinformatics - Inst. of Computer Science
Albert-Ludwigs-University Freiburg
Tel: ++49-761-203-8254
Fax: ++49-761-203-7462
http://www.bioinf.uni-freiburg.de/~mmann/
_______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
