Searched refs:integral (Results 1 - 19 of 19) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c432 #define maybe_round_up(integral, val) \
433 if (integral) { val = ceil(val); } else
434 #define maybe_round_down(integral, val) \
435 if (integral) { val = floor(val); } else
481 #define Constant_To_Bounds(vc, tc, lwb, upb, integral) \
485 integral = 0; \
491 integral = (IsInteger(tc) || IsBignum(tc)); \
618 /* Make it integral before binding. */ \
652 ** non-integral constants.
775 create_ic_attr(pword **attr, double lwb, double upb, int integral) argument
1199 make_constrained_ic_var(pword **pvar, double lwb, double upb, int integral) argument
5030 int integral; local
[all...]
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumsarith.tex260 floor(E) & round down to integral value & number & number \\
261 ceiling(E) & round up to integral value & number & number \\
262 round(E) & round to nearest integral value & number & number \\
263 truncate(E) & truncate to integral value & number & number \\
328 a negative integral power.
H A Dumscalendar.tex54 time of day (UTC/GMT). This can be added to an integral day number
H A Dumsflags.tex373 Similar for the result of raising an integer to a negative integral power.
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dic.tex421 reified status is unknown then it evaluates to an integral
493 integer domain and the variables Vars are constrained to be integral;
521 Variable becoming constrained to be integral, even if Bool is
564 integral.
567 results assumed to be integral.
574 That said, if all the constants and variables are integral already and the
891 returned as floats). Constrains Var to be integral if it isn't already.
895 Var to be finite and integral if it isn't already.
1251 In this example since X is known to be integral, the lower bound of X
1311 Excludes an integer from an integral variabl
[all...]
H A Dintroduction.tex119 general arithmetic expressions over continuous or integral variables.
H A Deplex.tex148 to the next suitable integral value.
232 Inform the external solver to treat the variables Vars as integral.
H A Dgfd.tex424 the result is only defined for integral root, and negative root not
/barrelfish-master/lib/cxx/unwind/
H A DUnwindRegistersRestore.S144 // restore integral registers
405 // restore integral registerrs
768 # restore integral registers
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Deplex.tex86 all variables restricted to taking integral values.
364 all of the variable values be strictly integral (for example, in the previous
374 optimal value for the objective function can be satisfied with integral
419 problem. However, the solution values are not integral:
H A Dicintro.tex298 constrained to be integral. It is important to note that subexpressions are
299 constrained to be integral, because it means, for instance, that
307 constants are integers and the variables and subexpressions are integral,
H A Dmodelling.tex244 [F,FA,FB,FC] :: 1..inf, % The square areas are integral
H A Dsolversintro.tex74 continuous and integral variables in the same constraint.
H A Dreal.tex470 [F, FA, FB, FC] :: 1 .. 1.0Inf, % The square areas are integral
H A Dsearch.tex775 starting the search at the tree root with a certain integral amount of
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dbranch_and_bound.pl85 Because the price is non-integral, we had to adjust the step-width
697 appropriate for integral costs. Any solution that improves on
H A Dsuspend.pl492 % check whether the result is integral. This only breaks down for fix/1,
/barrelfish-master/usr/eclipseclp/Contrib/
H A Dxml_utilities.pl320 "int"-[8747], % integral, U+222B ISOtech
/barrelfish-master/usr/eclipseclp/documents/search/
H A Dsearch.tex698 starting the search at the tree root with a certain integral amount of

Completed in 185 milliseconds