Searched refs:p_bool_lin_CMP_reif (Results 1 – 1 of 1) sorted by relevance
| /dports/math/gecode/gecode-0916a1a/gecode/flatzinc/ |
| H A D | registry.cpp | 360 p_bool_lin_CMP_reif(s, IRT_EQ, RM_EQV, ce, ann); in p_bool_lin_eq_reif()
364 p_bool_lin_CMP_reif(s, IRT_EQ, RM_IMP, ce, ann); in p_bool_lin_eq_imp()
371 p_bool_lin_CMP_reif(s, IRT_NQ, RM_EQV, ce, ann); in p_bool_lin_ne_reif()
375 p_bool_lin_CMP_reif(s, IRT_NQ, RM_IMP, ce, ann); in p_bool_lin_ne_imp()
382 p_bool_lin_CMP_reif(s, IRT_LQ, RM_EQV, ce, ann); in p_bool_lin_le_reif()
386 p_bool_lin_CMP_reif(s, IRT_LQ, RM_IMP, ce, ann); in p_bool_lin_le_imp()
394 p_bool_lin_CMP_reif(s, IRT_LE, RM_EQV, ce, ann); in p_bool_lin_lt_reif()
398 p_bool_lin_CMP_reif(s, IRT_LE, RM_IMP, ce, ann); in p_bool_lin_lt_imp()
405 p_bool_lin_CMP_reif(s, IRT_GQ, RM_EQV, ce, ann); in p_bool_lin_ge_reif()
409 p_bool_lin_CMP_reif(s, IRT_GQ, RM_IMP, ce, ann); in p_bool_lin_ge_imp()
[all …]
|