Searched refs:isBoolArray (Results 1 – 8 of 8) sorted by relevance
275 bool isBoolArray(ArrayLit* a, int& singleInt);
188 bool isBoolArray() const { in isBoolArray() function in MiniZinc::Type
328 } else if (vars->type().isBoolArray()) { in processFlatZinc()329 assert(vals->type().isBoolArray()); in processFlatZinc()
631 bool isBoolArray(AST::Node* b, int& singleInt);
151 if (s.isBoolArray(vars, singleIntVar)) { in p_int_lin_cmp()197 if (s.isBoolArray(vars, singleIntVar)) { in p_int_lin_cmp_reif()
983 bool GecodeSolverInstance::isBoolArray(ArrayLit* a, int& singleInt) { in isBoolArray() function in MiniZinc::GecodeSolverInstance
201 if (s.isBoolArray(ce[1],singleIntVar)) { in p_int_lin_CMP()239 if (s.isBoolArray(ce[1],singleIntVar)) { in p_int_lin_CMP_reif()
2294 FlatZincSpace::isBoolArray(AST::Node* b, int& singleInt) { in isBoolArray() function in Gecode::FlatZinc::FlatZincSpace