Lines Matching refs:any
64 the Herbrand Universe or its powerset but without any variable.
106 predicates deal with set terms thus with any of the three cases.
379 {\bf conjunto.pl} library makes sure that any modification of an fd
409 with set constraints saying that any intersection of two set terms
413 for any {\em n}.
570 del\verb/_/glb:Dglb, del\verb/_/lub:Dlub, del\verb/_/any:Dany\}}
597 \item {\bf del\verb/_/any} a suspension list that should be woken when
598 any reduction of the domain is inferred.
692 modification and the one associated to {\bf any} modification. This
811 predicate checks that any element of a ground set (which is a set
817 the lower bound of the set variable might not be consistent any more,
826 bound of the set variable might not be consistent any more. The new
836 consistent any more. If so, we compute the new one by intersecting (in
844 any bound of either set domain is changed. The predicate
845 \verb/make_suspension//\verb/3/ can be used for any \eclipse\ module
848 the appropriate lists (woken when any bound is updated) of both set