Ulrich Scholz wrote: > > > Then you can use fd's reified constraints to formulate the disjunction. > > But can't I use the logical constraint predicates directly, eg. #\/? You can, but it is more "indirectly" :-) These logical constraints are implemented via reified constraints. -- Joachim Schimpf / phone: +44 20 7594 8187 IC-Parc / mailto:J.Schimpf@imperial.ac.uk Imperial College London / http://www.icparc.ic.ac.uk/eclipseReceived on Mon Apr 28 12:17:13 2003
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:23 PM GMT GMT