eclipseclp/icparc_solvers/ic.c

114 ** Note that the variable field is not needed if the constraints don't
245     ** Note that the 3 low bit flags must match op_to_flags in
246     ** ic_constraints.ecl.  Note also that we prefer the boolean toggle to
378     ** Note that we leave some fields undefined if it is safe to do so (e.g.
397     ** Note that we stop a little short of the real limits, in particular so
562 	/* Note the test catches both changed and new bitmaps. */	\
651     ** Note we want positive and negative zeros to compare different for
873     ** 	    Set the given variable to be integral.  Note that this assumes
874     ** 	    that the variable is not already integral.  Note also that the
921 	** Note that the following rounding will not change the results of
954 		    ** Note that due to the existence of a bitmap, we can
1017     **      Note that the `Var' must not be ground.
1056 	** Note that the following rounding will not change the results of
1089 		    ** Note that due to the existence of a bitmap, we can
1152     **      Note that the `Var' must not be ground.
1172     **      variable `Var'.  Note that the `Var' must not be ground.
1272     ** 	    Set the given variable to be integral.  Note that this assumes
1302     **      Constrains the variable `Var' to be integral.  Note that the
1357     **      Note that the variable must be integral and must not be ground.
1441     **      `Var'.  Note that the variable must be integral and must not be
1495     **      inclusive, from the domain of the variable `var_info'.  Note
1587     **      the domain of the variable `Var'.  Note that the variable must
1716     ** Note does not check for "out of bounds" entailment.
1878 Note that this copy of the code is now a little out-of-date.
1940 	    ** Make hi_buf/hi_vec the same as lo_buf/lo_vec.  Note that we
1981 		** Note that we clobber the allocated var struct to make
2062 	    ** Note that we have to use the raw (not dereferenced) values
2218 	/* Note that op is either = or =< */
2458 		    ** Note that since at least one ground term has been
2675 		** Note that the above cannot make X ground, even with
2736 		** Note that the above cannot make X ground, even with
2800 		** ground.  Note that xl and xu contain the current bounds
2818 			** Note that since at least one ground term has been
3768 	** Note that we can't automatically assume the vectors are identical
4022 		    ** constrain it to be integral.  Note that we can't do
5147 		    /* Note that the bitmap's bounds don't need updating. */