Searched defs:domainIntersects (Results 1 – 1 of 1) sorted by relevance
/dports/math/minizinc/libminizinc-2.5.5/include/minizinc/ | ||
H A D | flatten_internal.hh | 292 static bool domainIntersects(Domain dom, Val v0, Val v1) { in domainIntersects() function in MiniZinc::LinearTraits |