Searched refs:limitDomain (Results 1 – 3 of 3) sorted by relevance
296 static Domain limitDomain(BinOpType bot, Domain dom, Val v) { in limitDomain() function in MiniZinc::LinearTraits426 static Domain limitDomain(BinOpType bot, Domain dom, Val v) { in limitDomain() function in MiniZinc::LinearTraits
670 LinearTraits<Lit>::limitDomain(old_bot, domain, old_d); in flatten_linexp_binop()
1187 IntSetVal* newDomain = LinearTraits<IntLit>::limitDomain(bot, domain, eval_int(env, arg)); in simplify_constraint()