Searched refs:is_satisfiable (Results 26 – 32 of 32) sorted by relevance
12
725 return mip.is_satisfiable(); in contains_integer_point()
423 if (!lp.is_satisfiable()) { in Box()
276 if (!lp.is_satisfiable()) { in BD_Shape()
118 if (!lp.is_satisfiable()) { in Octagonal_Shape()
52055 bool is_satisfiable() const;71172 if (!lp.is_satisfiable()) {80823 if (!lp.is_satisfiable()) {88042 if (!lp.is_satisfiable()) {94632 bool is_satisfiable() const;
1400 bool is_satisfiable() const { return (res_ & clingo_solve_result_satisfiable) != 0; } in is_satisfiable() function in Clingo::SolveResult1414 if (res.is_satisfiable()) { in operator <<()
37800 MIP_Problem.inlines.hh (1.6): Implemented is_satisfiable() for38093 MIP_Problem.inlines.hh (1.3): Implemented is_satisfiable for the55725 (simplex.[11,10,11]): Methods is_satisfiable(), solve(),56050 computations are now handled only by is_satisfiable() and58669 new method bool Constraint_System::is_satisfiable(Generator&