Searched defs:BOT_OR (Results 1 – 2 of 2) sorted by relevance
/dports/math/gecode/gecode-0916a1a/gecode/ | ||
H A D | int.hh | 952 BOT_OR, ///< Disjunction enumerator |
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ | ||
H A D | ast.hh | 1035 BOT_OR, enumerator |