|
PPL Configured Java Language Interface
1.2
|
Possible outcomes of the PIP_Problem solver. More...
Static Public Member Functions | |
| [static initializer] | |
Public Attributes | |
| UNFEASIBLE_PIP_PROBLEM | |
| The problem is unsatisfiable. More... | |
Static Private Member Functions | |
| static native void | initIDs () |
Possible outcomes of the PIP_Problem solver.
Definition at line 28 of file PIP_Problem_Status.java.
|
inlinestatic |
|
staticprivate |
| parma_polyhedra_library.PIP_Problem_Status.UNFEASIBLE_PIP_PROBLEM |
The problem is unsatisfiable.
Definition at line 30 of file PIP_Problem_Status.java.