Package parma_polyhedra_library

The PPL Java interface package. More...

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

Detailed Description

The PPL Java interface package.

All classes, interfaces and enums related to the Parma Polyhedra Library Java interface are included in this package.