PPL Configured Java Language Interface  1.2
parma_polyhedra_library.PIP_Problem_Status Enum Reference

Possible outcomes of the PIP_Problem solver. More...

Static Public Member Functions

 [static initializer]
 

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: