Searched refs:BOT_EQV (Results 1 – 7 of 7) sorted by relevance
679 case BOT_EQV: in rel()723 case BOT_EQV: in rel()754 case BOT_EQV: in rel()811 case BOT_EQV: in rel()886 case BOT_EQV: in rel()
49 case Gecode::BOT_EQV: return x0 == x1; in check()252 if ((op == Gecode::BOT_EQV) || (op == Gecode::BOT_XOR)) in NaryShared()
246 case BOT_EQV: return "Eqv"; in str()
430 Gecode::BOT_EQV,Gecode::BOT_XOR};
80 case BOT_EQV: in qrel()
348 Gecode::rel(home, l, n ? BOT_XOR : BOT_EQV, r, b); in expr()
954 BOT_EQV, ///< Equivalence enumerator