Lines Matching refs:In
120 In GFD, as in IC, booleans (such as the boolean in reified constraints) are
149 In addition to propagating constraints at a unspecified or default level,
177 consistency levels. In fact, a consistency level can be specified for
180 supported at the given consistency level. In such cases, these sub-expressions
204 In this particular example, using the stronger propagation actually results in
223 triggered explicitly. In GFD, triggering propagation in the Gecode solver state
248 (as used in \bipref{collection_to_list/2}{../bips/lib/lists/collection_to_list-2.html}). In some cases, the elements in the collection are required to be
265 In general, any collection argument can be supplied as a nested collection
266 (e.g. nested listed or multi-dimensional arrays). In some
276 element representing the column elements in that row. In array notation,
348 In GFD, constraints can be half reified as follows:
569 these bounds will fail. In particular, auxillary variables created by GFD
601 %In GFD, all ``operators'' allowed in expressions have a constraint
807 In these constraints, the arguments represent a graph, and the
909 In this
1201 \texttt{lib(ldsb)}. In particular, the definition of rows and columns
1251 In addition to waking the attribute's {\it any\/} suspension list, the
1345 In most cases, the property is obtained directly from Gecode. Many of these
1475 between Gecode and IC. In addition, Gecode is
1520 In addition, ``functional'' (where the last argument is a domain