Searched refs:isvarbool (Results 1 – 6 of 6) sorted by relevance
75 assert(control->type().isvarbool()); in trackItem()82 assert(control->type().isvarbool()); in trackItem()89 if (vdi->e()->type().isvarbool() && (vdi->e() != nullptr) && (vdi->e()->e() != nullptr)) { in trackItem()
459 } else if (vd->ti()->type().isvarbool()) { in update_bounds()
167 bool isvarbool() const { in isvarbool() function in MiniZinc::Type
731 if (call->arg(0)->type().isvarbool() && call->arg(1)->type().isvarint()) { in p_bool2int()741 if (call->arg(0)->type().isvarbool()) { in p_int_in()759 if (call->arg(0)->type().isvarbool()) { in p_int_in_reif()780 if (call->arg(0)->type().isvarbool()) { in p_int_in_imp()
889 if (e->type().isvarbool()) { in arg2boolvarargs()1722 if (!((*vars)[i])->type().isvarbool()) { in setSearchStrategyFromAnnotation()1730 if (!((*vars)[i])->type().isvarbool()) { in setSearchStrategyFromAnnotation()
332 } else if (ti->type().isvarbool() || ti->type().isbool()) { in processFlatZinc()