Searched refs:p_bool_or (Results 1 – 8 of 8) sorted by relevance
69 PosterImpl(p_bool_or);
123 PosterImpl(p_bool_or);
423 void p_bool_or(const ConExpr& ce, AST::Node* ann) { in p_bool_or() function1087 registry().add("bool_or", &p_bool_or); in IntPoster()
78 registerConstraint("bool_or", GeasConstraints::p_bool_or); in registerConstraints()
394 void p_bool_or(SolverInstanceBase& s, const Call* call) { in p_bool_or() function
584 void p_bool_or(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) { in p_bool_or() function1635 registry().add("bool_or", &p_bool_or); in IntPoster()
282 registerConstraint("bool_or", GecodeConstraints::p_bool_or); in registerConstraints()
558 void p_bool_or(SolverInstanceBase& s, const Call* call) { in p_bool_or() function