| /dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/ |
| H A D | lex_less.mzn | 10 predicate lex_less(array[int] of var bool: x,
21 predicate lex_less(array[int] of var int: x,
32 predicate lex_less(array[int] of var float: x,
43 predicate lex_less(array[int] of var set of int: x,
53 lex_less(x, y);
56 lex_less(x, y);
59 lex_less(x, y);
63 lex_less(x, y);
|
| H A D | lex_greater.mzn | 1 include "lex_less.mzn";
9 lex_less(y, x);
17 lex_less(y, x);
25 lex_less(y, x);
33 lex_less(y, x);
|
| H A D | fzn_lex_chain_less_bool.mzn | 1 include "lex_less.mzn";
9 lex_less(col(a, j-1), col(a, j))
|
| H A D | fzn_lex_chain_less_int.mzn | 1 include "lex_less.mzn";
9 lex_less(col(a, j-1), col(a, j))
|
| H A D | fzn_lex_chain_less_bool_reif.mzn | 1 include "lex_less.mzn";
10 lex_less(col(a, j-1), col(a, j))
|
| H A D | fzn_lex_chain_less_int_reif.mzn | 1 include "lex_less.mzn";
10 lex_less(col(a, j-1), col(a, j))
|
| H A D | lex_less_float.mzn | 1 include "lex_less.mzn";
16 lex_less(x, y);
|
| H A D | lex_less_bool.mzn | 1 include "lex_less.mzn";
16 lex_less(x, y);
|
| H A D | lex_less_int.mzn | 1 include "lex_less.mzn";
16 lex_less(x, y);
|
| H A D | lex_less_set.mzn | 1 include "lex_less.mzn";
16 lex_less(x, y);
|
| H A D | globals.mzn | 99 include "lex_less.mzn";
|
| /dports/math/minizinc/libminizinc-2.5.5/tests/spec/unit/globals/lex_less/ |
| H A D | globals_lex_less.mzn | 34 include "lex_less.mzn";
37 % lex_less
42 constraint lex_less(lex_avi1, lex_avi2);
|
| H A D | test_bool_lex_less.mzn | 52 include "lex_less.mzn";
57 constraint lex_less(x, y);
|
| /dports/math/jacop/jacop-4.8.0/src/main/minizinc/org/jacop/minizinc_upTo2.3/ |
| H A D | lex_less_bool.mzn | 33 lex_less(x, y);
37 % abort("Reified lex_less/2 is not supported.");
|
| H A D | lex_less_int.mzn | 32 lex_less(x, y);
36 % abort("Reified lex_less/2 is not supported.");
|
| /dports/math/jacop/jacop-4.8.0/src/main/minizinc/org/jacop/minizinc/ |
| H A D | fzn_lex_less_bool.mzn | 12 % lex_less(x, y);
|
| H A D | fzn_lex_less_int.mzn | 11 % lex_less(x, y);
|
| /dports/math/minizinc/libminizinc-2.5.5/tests/spec/unit/globals/lex_greater/ |
| H A D | globals_lex_greater.mzn | 31 % lex_less
|
| /dports/math/minizinc/libminizinc-2.5.5/tests/spec/unit/globals/lex_greatereq/ |
| H A D | globals_lex_greatereq.mzn | 104 % lex_less
|
| /dports/math/minizinc/libminizinc-2.5.5/docs/en/examples/ |
| H A D | latin_squares.mzn | 19 (lex_less(X[i,..], X[i+1,..]) :: "LL(rows \(i) \(i+1))"
|
| /dports/math/minizinc/libminizinc-2.5.5/docs/chi/examples/ |
| H A D | latin_squares.mzn | 17 (lex_less(row(X, i), row(X, i+1)) :: "LL(rows \(i) \(i+1))");
|
| /dports/www/zola/zola-0.15.2/sublime/syntaxes/extra/ |
| H A D | MZN.sublime-syntax | 34 …- match: \b(lex2|lex_greater|lex_greatereq|lex_less|lex_lesseq|strict_lex2|value_precede|value_pre…
|
| /dports/math/minizinc/libminizinc-2.5.5/docs/en/ |
| H A D | find_mus.rst | 261 …quares.mzn|18|5|20|9|ac;latin_squares.mzn|18|13|18|13|i=2;latin_squares.mzn|19|10|19|37|ca|lex_less
263 …quares.mzn|18|5|20|9|ac;latin_squares.mzn|18|13|18|13|i=1;latin_squares.mzn|19|10|19|37|ca|lex_less
276 …quares.mzn|18|5|20|9|ac;latin_squares.mzn|18|13|18|13|i=2;latin_squares.mzn|19|10|19|37|ca|lex_less
279 …quares.mzn|18|5|20|9|ac;latin_squares.mzn|18|13|18|13|i=1;latin_squares.mzn|19|10|19|37|ca|lex_less
|
| /dports/math/py-or-tools/or-tools-9.2/ortools/flatzinc/mznlib/ |
| H A D | nostrings.mzn | 1 include "lex_less.mzn";
134 lex_less(str2ints(x), str2ints(y));
|
| /dports/math/polymake/polymake-4.5/apps/polytope/src/ |
| H A D | n_fine_triangulations.cc | 182 std::sort(ordered_points.begin(), ordered_points.end(), operations::lex_less()); in n_fine_triangulations()
|