Searched refs:leq (Results 1 - 12 of 12) sorted by relevance
/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/ |
H A D | minmax.pl | 12 :- op(700, xfx, leq). 13 geq(_490, _494) :- leq(_494, _490). 33 leq(A, B) :- 35 coca(add_one_constraint(C, leq(A, B))), 36 'CHRleq_2'(leq(A, B), D, E, C). 40 %%% Rules handling for leq / 2 42 'CHRleq_2'(leq(A, B), C, D, E) :- 46 'CHRalready_in'('CHRleq_2'(leq(A, B), C, D, E)), 50 'CHRleq_2'(leq(A, B), C, D, E) ?- 51 coca(try_rule(E, leq( [all...] |
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | eg_cc_mip.cc | 73 static void leq(EC_word lhs, EC_word rhs) function 101 leq( VarList * list(NCOLS,req[0]), 8.0); 102 leq( VarList * list(NCOLS,req[1]), 10.0);
|
H A D | eg_c_mip.c | 77 static void leq(lhs, rhs) function 120 leq( times(varlist, ec_listofdouble(NCOLS,req[0])), ec_double(8.0)); 121 leq( times(varlist, ec_listofdouble(NCOLS,req[1])), ec_double(10.0));
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/ |
H A D | chr_doc.pl | 279 (2) _g421 leq _g357 280 (3) _g421 leq _g389 282 (5) _g357 leq _g1227 283 (7) _g389 leq _g1227 526 ADD (2) leq(_g665, _g601) 528 ADD (3) leq(_g665, Var) 534 ADD (5) leq(_g601, _g665) 535 TRY (5) leq(_g601, _g665) (2) leq(_g665, _g601) with antisymmetry 541 ADD (6) leq(Va [all...] |
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extchr.tex | 288 constraints leq/2, neq/2, minimum/3, maximum/3. 289 built_in @ X leq Y <=> \+nonground(X),\+nonground(Y) | X @=< Y. 290 reflexivity @ X leq X <=> true. 291 antisymmetry @ X leq Y, Y leq X <=> X = Y. 292 transitivity @ X leq Y, Y leq Z ==> X \== Y, Y \== Z, X \== Z | X leq Z. 298 simplification @ X neq Y, X leq Y <=> X lss Y. 301 min_eq @ minimum(X, Y, X) <=> X leq [all...] |
H A D | extfd.tex | 72 {\it $Min \leq Max$} 1252 $X^2 + Y^2 \leq C.$
|
H A D | extconjunto.tex | 483 $\#(S \cap S_1 ,C), C \leq 1$
|
H A D | obsman.tex | 177 {\it $Min \leq Max$} 1358 $X^2 + Y^2 \leq C.$
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | colgen.tex | 85 %\leq\\ 174 \sum_{\mathbf{q}\in Q}\lambda_{\mathbf{q}}&\leq&K_{0}\\ 178 \mathrm{subject\ to}\;\sum_{i=1}^{m}{l_{i}q_{i}}&\leq&l\\
|
H A D | eplex.tex | 135 \(A1 + B1 + C1 + D1 \leq 50 \) 161 A1 + B1 + C1 + D1 & \leq & 50\\ 162 A2 + B2 + C2 + D2 & \leq & 30\\ 163 A3 + B3 + C3 + D3 & \leq & 40\\ 554 problem, we impose the bound constraint $X \leq 4$, and in the other, $X
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 2519 :- constraints leq/2. 2520 :- op(700, xfx, leq). 2522 X leq Y <=> \\+nonground(X), \\+nonground(Y) | X @=< Y. 2523 X leq X <=> true. 2549 X leq Y, Y leq Z ==> \\+in_chrstore(X leq Z)| X leq Z.
|
/barrelfish-master/usr/eclipseclp/documents/intro_paper/ |
H A D | eclipse.tex | 410 {\em or} task$_1$ ends before task$_2$ starts ($E_1 \leq S_2$) 411 {\em or else} task$_2$ ends before task$_1$ starts ($ E_2 \leq S_1$). 1669 {\em or} task$_1$ ends before task$_2$ starts ($E_1 \leq S_2$) 1670 {\em or else} task$_2$ ends before task$_1$ starts ($ E_2 \leq S_1$). 1910 both tasks use the same resource, but also the constraint $S1 \leq 65$ 2167 negation of $X \geq N$ is $X \leq N-1$ which can be handled. 2196 the alternative constraint $X \leq 0$ is posted instead.
|
Completed in 64 milliseconds