Java Language Interface

Packages
package	parma_polyhedra_library
	The PPL Java interface package.

Classes
class	parma_polyhedra_library.Artificial_Parameter_Sequence
	A sequence of artificial parameters. More...
enum	parma_polyhedra_library.Bounded_Integer_Type_Overflow
	Overflow behavior of bounded integer types. More...
enum	parma_polyhedra_library.Bounded_Integer_Type_Representation
	Representation of bounded integer types. More...
enum	parma_polyhedra_library.Bounded_Integer_Type_Width
	Widths of bounded integer types. More...
class	parma_polyhedra_library.By_Reference< T >
	An utility class implementing mutable and non-mutable call-by-reference. More...
class	parma_polyhedra_library.Coefficient
	A PPL coefficient. More...
enum	parma_polyhedra_library.Complexity_Class
	Possible Complexities. More...
class	parma_polyhedra_library.Congruence
	A linear congruence. More...
class	parma_polyhedra_library.Congruence_System
	A system of congruences. More...
class	parma_polyhedra_library.Constraint
	A linear equality or inequality. More...
class	parma_polyhedra_library.Constraint_System
	A system of constraints. More...
enum	parma_polyhedra_library.Control_Parameter_Name
	Names of MIP problems' control parameters. More...
enum	parma_polyhedra_library.Control_Parameter_Value
	Possible values for MIP problem's control parameters. More...
enum	parma_polyhedra_library.Degenerate_Element
	Kinds of degenerate abstract elements. More...
class	parma_polyhedra_library.Domain_Error_Exception
	Exceptions caused by domain errors. More...
class	parma_polyhedra_library.Polyhedron
	The Java base class for (C and NNC) convex polyhedra. More...
class	parma_polyhedra_library.C_Polyhedron
	A topologically closed convex polyhedron. More...
class	parma_polyhedra_library.Pointset_Powerset_C_Polyhedron
	A powerset of C_Polyhedron objects. More...
class	parma_polyhedra_library.Pointset_Powerset_C_Polyhedron_Iterator
	An iterator class for the disjuncts of a Pointset_Powerset_C_Polyhedron. More...
class	parma_polyhedra_library.Generator
	A line, ray, point or closure point. More...
class	parma_polyhedra_library.Generator_System
	A system of generators. More...
enum	parma_polyhedra_library.Generator_Type
	The generator type. More...
class	parma_polyhedra_library.Grid_Generator
	A grid line, parameter or grid point. More...
class	parma_polyhedra_library.Grid_Generator_System
	A system of grid generators. More...
enum	parma_polyhedra_library.Grid_Generator_Type
	The grid generator type. More...
class	parma_polyhedra_library.Invalid_Argument_Exception
	Exceptions caused by invalid arguments. More...
class	parma_polyhedra_library.IO
	A class collecting I/O functions. More...
class	parma_polyhedra_library.Length_Error_Exception
	Exceptions caused by too big length/size values. More...
class	parma_polyhedra_library.Linear_Expression
	A linear expression. More...
class	parma_polyhedra_library.Linear_Expression_Coefficient
	A linear expression built from a coefficient. More...
class	parma_polyhedra_library.Linear_Expression_Difference
	The difference of two linear expressions. More...
class	parma_polyhedra_library.Linear_Expression_Sum
	The sum of two linear expressions. More...
class	parma_polyhedra_library.Linear_Expression_Times
	The product of a linear expression and a coefficient. More...
class	parma_polyhedra_library.Linear_Expression_Unary_Minus
	The negation of a linear expression. More...
class	parma_polyhedra_library.Linear_Expression_Variable
	A linear expression built from a variable. More...
class	parma_polyhedra_library.Logic_Error_Exception
	Exceptions due to errors in low-level routines. More...
class	parma_polyhedra_library.MIP_Problem
	A Mixed Integer (linear) Programming problem. More...
enum	parma_polyhedra_library.MIP_Problem_Status
	Possible outcomes of the MIP_Problem solver. More...
enum	parma_polyhedra_library.Optimization_Mode
	Possible optimization modes. More...
class	parma_polyhedra_library.Overflow_Error_Exception
	Exceptions due to overflow errors. More...
class	parma_polyhedra_library.Pair< K, V >
	A pair of values of type K and V. More...
class	parma_polyhedra_library.Parma_Polyhedra_Library
	A class collecting library-level functions. More...
class	parma_polyhedra_library.Partial_Function
	A partial function on space dimension indices. More...
class	parma_polyhedra_library.PIP_Problem
	A Parametric Integer Programming problem. More...
enum	parma_polyhedra_library.PIP_Problem_Control_Parameter_Name
	Names of PIP problems' control parameters. More...
enum	parma_polyhedra_library.PIP_Problem_Control_Parameter_Value
	Possible values for PIP problems' control parameters. More...
enum	parma_polyhedra_library.PIP_Problem_Status
	Possible outcomes of the PIP_Problem solver. More...
class	parma_polyhedra_library.Poly_Con_Relation
	The relation between a polyhedron and a constraint. More...
enum	parma_polyhedra_library.Relation_Symbol
	Relation symbols. More...
class	parma_polyhedra_library.Timeout_Exception
	Exceptions caused by timeout expiring. More...
class	parma_polyhedra_library.Variable
	A dimension of the vector space. More...
interface	parma_polyhedra_library.Variable_Stringifier
	An interface for objects converting a Variable id to a string. More...

Detailed Description

The Parma Polyhedra Library comes equipped with an interface for the Java language.