Searched refs:domainEmpty (Results 1 – 3 of 3) sorted by relevance
295 static bool domainEmpty(Domain dom) { return dom->size() == 0; } in domainEmpty() function in MiniZinc::LinearTraits408 static bool domainEmpty(Domain dom) { return dom->size() == 0; } in domainEmpty() function in MiniZinc::LinearTraits
672 if (LinearTraits<Lit>::domainEmpty(ndomain)) { in flatten_linexp_binop()
1967 if (LinearTraits<FloatLit>::domainEmpty(ibv)) { in bind()