Home
last modified time | relevance | path

Searched refs:PARTIALLY_SATISFIABLE (Results 1 – 8 of 8) sorted by relevance

/dports/devel/ppl/ppl-1.2/src/
H A DPIP_Problem.cc53 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 DMIP_Problem_templates.hh43 status(PARTIALLY_SATISFIABLE), in MIP_Problem()
126 status(PARTIALLY_SATISFIABLE), in MIP_Problem()
H A DPIP_Problem_templates.hh37 status(PARTIALLY_SATISFIABLE), in PIP_Problem()
H A DMIP_Problem.cc85 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 DPIP_Problem_defs.hh783 PARTIALLY_SATISFIABLE enumerator
H A DMIP_Problem_defs.hh550 PARTIALLY_SATISFIABLE enumerator
H A Dppl.hh.dist52210 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 DChangeLog_2001-200840555 treated like `PARTIALLY_SATISFIABLE', so all the redundant code