Lines Matching refs:In
70 \item In FD, numeric domains are more or less limited to
73 integer overflow problems). In IC there is no limit as such, and
146 In contrast, RIA will fail with a type error if bounded reals are used in
181 which overlap each other. In such a case, one cannot know whether the true
197 In order to ensure the soundness of the results it produces, the IC
464 In order to get the desired functionality, one must wrap the variable
666 %In any event, the default can be overridden on any given call by explicitly
771 \paragraph{Reified variable is bound to 0} In the event that the reified
775 \paragraph{Reified variable is bound to 1} In the event that the reified
936 propagation for efficiency reasons. In IC, this is controlled by the
992 \item In general, many delayed goals remain at the end of propagation.
1056 somewhat cheaper linear splitting may be used. In general, log splitting
1251 In this example since X is known to be integral, the lower bound of X
1285 constraints. In particular, they may leave unwanted delayed goals