Lines Matching refs:as
86 equation is true. The \eclipse{} code is as follows:
127 variables. Domain can be specified as a simple range Lo .. Hi, or as a list
331 Note that if a domain ever becomes empty as the result of propagation (no
477 true (or actively false) the constraint will prune domains as though
478 it had been posted as a simple non-reified constraint.
481 \Note{User defined constraints will be treated as reifiable if they appear
482 in an expression context and as such should provide a version with an extra
531 just reason about boolean variables. This means that they can be used as
532 boolean constraints as well:
612 Consider as an example the case of 5 variables with domains \texttt{1..4}.
682 constraints such as \texttt{cumulative/4}, but with increasing cost to do
690 User-defined, or `conceptual' constraints can easily be defined as
693 warehouse. This should be done in such a way as to propagate possible
694 changes in the domains as soon as this becomes possible.
777 of \verb0colocate/20 as {\it Xs} and a list containing product identifiers
778 from the second argument of \verb0colocate/20 as {\it Ys}.
891 By defining the bin colours as fields of a structure there is an implicit
905 structure to be used as if they were field names of the {\tt bin}
946 constraints, works as follows.
1032 These constraints are expressed as logical combinations of constraints
1035 `Wood requires paper' is expressed in logic as `If the number of wood
1044 `X and Y are exclusive' is expressed as `Either the number of items of
1083 as fields of a structure we have encoded them as integers, which allows
1088 % Use `=..' to extract the contents of the bin as a list
1125 as a starting point.)
1164 same as one of the constraints from \texttt{ic_global}, but is implemented