Searched refs:mzn_deprecate (Results 1 – 6 of 6) sorted by relevance
| /dports/math/minizinc/libminizinc-2.5.5/share/minizinc/std/stdlib/ |
| H A D | stdlib_ann.mzn | 44 function $T: mzn_deprecate(string: name, string: version, string: msg, $T: x);
45 function var $T: mzn_deprecate(string: name, string: version, string: msg, var $T: x);
46 function var opt $T: mzn_deprecate(string: name, string: version, string: msg, var opt $T: x);
47 function array[$U] of $T: mzn_deprecate(string: name, string: version, string: msg, array[$U] of $T…
48 function array[$U] of var $T: mzn_deprecate(string: name, string: version, string: msg, array[$U] o…
49 function array[$U] of var opt $T: mzn_deprecate(string: name, string: version, string: msg, array[$…
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/ |
| H A D | builtins.cpp | 3114 rb(env, m, constants().ids.mzn_deprecate, t, b_mzn_deprecate); in register_builtins()
3116 rb(env, m, constants().ids.mzn_deprecate, t, b_mzn_deprecate); in register_builtins()
3118 rb(env, m, constants().ids.mzn_deprecate, t, b_mzn_deprecate); in register_builtins()
3120 rb(env, m, constants().ids.mzn_deprecate, t, b_mzn_deprecate); in register_builtins()
3122 rb(env, m, constants().ids.mzn_deprecate, t, b_mzn_deprecate); in register_builtins()
3124 rb(env, m, constants().ids.mzn_deprecate, t, b_mzn_deprecate); in register_builtins()
|
| H A D | ast.cpp | 1504 ids.mzn_deprecate = ASTString("mzn_deprecate"); in mark()
1836 ids.mzn_deprecate.mark(); in mark()
|
| H A D | typecheck.cpp | 2436 call.id(constants().ids.mzn_deprecate); in vCall()
|
| /dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ |
| H A D | ast.hh | 1741 ASTString mzn_deprecate; // NOLINT(readability-identifier-naming) member
|
| /dports/math/minizinc/libminizinc-2.5.5/lib/flatten/ |
| H A D | flatten_call.cpp | 387 cid == constants().ids.mzn_deprecate)) { in flatten_call()
|