Searched refs:PARTIALLY_SATISFIABLE (Results 1 – 8 of 8) sorted by relevance
/dports/devel/ppl/ppl-1.2/src/ |
H A D | PIP_Problem.cc | 53 status(PARTIALLY_SATISFIABLE), in PIP_Problem() 117 case PARTIALLY_SATISFIABLE: in solve() 262 if (status == PARTIALLY_SATISFIABLE) { in solution() 270 if (status == PARTIALLY_SATISFIABLE) { in optimizing_solution() 394 case PARTIALLY_SATISFIABLE: in ascii_dump() 516 status = PARTIALLY_SATISFIABLE; in PPL_OUTPUT_DEFINITIONS() 617 status = PARTIALLY_SATISFIABLE; in clear() 663 status = PARTIALLY_SATISFIABLE; in add_space_dimensions_and_embed() 692 status = PARTIALLY_SATISFIABLE; in add_to_parameter_space_dimensions() 708 status = PARTIALLY_SATISFIABLE; in add_constraint() [all …]
|
H A D | MIP_Problem_templates.hh | 43 status(PARTIALLY_SATISFIABLE), in MIP_Problem() 126 status(PARTIALLY_SATISFIABLE), in MIP_Problem()
|
H A D | PIP_Problem_templates.hh | 37 status(PARTIALLY_SATISFIABLE), in PIP_Problem()
|
H A D | MIP_Problem.cc | 85 status(PARTIALLY_SATISFIABLE), in MIP_Problem() 115 status(PARTIALLY_SATISFIABLE), in MIP_Problem() 178 status = PARTIALLY_SATISFIABLE; in add_constraint() 202 status = PARTIALLY_SATISFIABLE; in add_constraints() 260 case PARTIALLY_SATISFIABLE: in is_satisfiable() 306 case PARTIALLY_SATISFIABLE: in solve() 385 status = PARTIALLY_SATISFIABLE; in add_space_dimensions_and_embed() 404 status = PARTIALLY_SATISFIABLE; in add_to_integer_space_dimensions() 1983 case PARTIALLY_SATISFIABLE: in is_lp_satisfiable() 2597 case PARTIALLY_SATISFIABLE: in ascii_dump() [all …]
|
H A D | PIP_Problem_defs.hh | 783 PARTIALLY_SATISFIABLE enumerator
|
H A D | MIP_Problem_defs.hh | 550 PARTIALLY_SATISFIABLE enumerator
|
H A D | ppl.hh.dist | 52210 PARTIALLY_SATISFIABLE 52958 status(PARTIALLY_SATISFIABLE), 53041 status(PARTIALLY_SATISFIABLE), 94765 PARTIALLY_SATISFIABLE 94902 status(PARTIALLY_SATISFIABLE),
|
/dports/devel/ppl/ppl-1.2/ |
H A D | ChangeLog_2001-2008 | 40555 treated like `PARTIALLY_SATISFIABLE', so all the redundant code
|