PPL Java Language Interface  0.12.1
parma_polyhedra_library.PIP_Problem_Status Enum Reference

Possible outcomes of the PIP_Problem solver. More...

List of all members.

Public Attributes

 UNFEASIBLE_PIP_PROBLEM
 The problem is unsatisfiable.

Detailed Description

Possible outcomes of the PIP_Problem solver.


The documentation for this enum was generated from the following file: