Searched refs:mzn_deprecated (Results 1 – 8 of 8) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/ |
| H A D | at_least.mzn.deprecated.mzn | 1 predicate at_least(int: n, array[int] of var int: x, int: v) ::mzn_deprecated("2.4.0","https://www.…
|
| H A D | at_most.mzn.deprecated.mzn | 1 predicate at_most(int: n, array[int] of var int: x, int: v) ::mzn_deprecated("2.4.0","https://www.m…
|
| H A D | exactly.mzn.deprecated.mzn | 1 predicate exactly(int: n, array[int] of var int: x, int: v) ::mzn_deprecated("2.4.0","https://www.m…
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | model.cpp | 257 if (Call* deprecated = i.fi->ann().getCall(constants().ann.mzn_deprecated)) { in registerFn()
261 } else if (Call* deprecated = fi->ann().getCall(constants().ann.mzn_deprecated)) { in registerFn()
|
| H A D | ast.cpp | 1643 ann.mzn_deprecated = ASTString("mzn_deprecated"); in mark()
1867 ann.mzn_deprecated.mark(); in mark()
|
| H A D | typecheck.cpp | 2426 if (Call* deprecated = fi->ann().getCall(constants().ann.mzn_deprecated)) { in vCall()
|
| /dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/stdlib/ |
| H A D | stdlib_ann.mzn | 42 annotation mzn_deprecated(string: version, string: explanation);
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | ast.hh | 1875 ASTString mzn_deprecated; // NOLINT(readability-identifier-naming) member
|