Searched refs:integral (Results 1 - 19 of 19) sorted by relevance
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | ic.c | 432 #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 D | umsarith.tex | 260 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 D | umscalendar.tex | 54 time of day (UTC/GMT). This can be added to an integral day number
|
H A D | umsflags.tex | 373 Similar for the result of raising an integer to a negative integral power.
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | ic.tex | 421 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 D | introduction.tex | 119 general arithmetic expressions over continuous or integral variables.
|
H A D | eplex.tex | 148 to the next suitable integral value. 232 Inform the external solver to treat the variables Vars as integral.
|
H A D | gfd.tex | 424 the result is only defined for integral root, and negative root not
|
/barrelfish-master/lib/cxx/unwind/ |
H A D | UnwindRegistersRestore.S | 144 // restore integral registers 405 // restore integral registerrs 768 # restore integral registers
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | eplex.tex | 86 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 D | icintro.tex | 298 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 D | modelling.tex | 244 [F,FA,FB,FC] :: 1..inf, % The square areas are integral
|
H A D | solversintro.tex | 74 continuous and integral variables in the same constraint.
|
H A D | real.tex | 470 [F, FA, FB, FC] :: 1 .. 1.0Inf, % The square areas are integral
|
H A D | search.tex | 775 starting the search at the tree root with a certain integral amount of
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | branch_and_bound.pl | 85 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 D | suspend.pl | 492 % check whether the result is integral. This only breaks down for fix/1,
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | xml_utilities.pl | 320 "int"-[8747], % integral, U+222B ISOtech
|
/barrelfish-master/usr/eclipseclp/documents/search/ |
H A D | search.tex | 698 starting the search at the tree root with a certain integral amount of
|
Completed in 185 milliseconds