Searched refs:leq (Results 1 - 12 of 12) sorted by relevance

/barrelfish-master/usr/eclipseclp/ecrc_solvers/chr/
H A Dminmax.pl12 :- 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 Deg_cc_mip.cc73 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 Deg_c_mip.c77 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 Dchr_doc.pl279 (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 Dextchr.tex288 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 Dextfd.tex72 {\it $Min \leq Max$}
1252 $X^2 + Y^2 \leq C.$
H A Dextconjunto.tex483 $\#(S \cap S_1 ,C), C \leq 1$
H A Dobsman.tex177 {\it $Min \leq Max$}
1358 $X^2 + Y^2 \leq C.$
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dcolgen.tex85 %\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 Deplex.tex135 \(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 Dech.pl2519 :- 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 Declipse.tex410 {\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 412 milliseconds