parma_polyhedra_library Namespace Reference

The PPL Java interface package. More...


Classes

class  By_Reference< T >
 An utility class implementing mutable and non-mutable call-by-reference. More...
class  Coefficient
 A PPL coefficient. 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...
class  Domain_Error_Exception
 Exceptions caused by domain errors. More...
class  Polyhedron
 The Java base class for (C and NNC) convex polyhedra. More...
class  C_Polyhedron
 A topologically closed convex polyhedron. 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  Generator
 A line, ray, point or closure point. More...
class  Generator_System
 A system of generators. More...
class  Grid_Generator
 A grid line, parameter or grid point. More...
class  Grid_Generator_System
 A system of grid generators. More...
class  Invalid_Argument_Exception
 Exceptions caused by invalid arguments. 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...
class  Overflow_Error_Exception
 Exceptions due to overflow errors. More...
class  Pair< K, V >
 A pair of values of type K and V. More...
class  Parma_Polyhedra_Library
 A class collecting library-level functions. More...
interface  Partial_Function
 A partial function on space dimension indices. 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  Variable
 A dimension of the vector space. More...
class  Variables_Set
 A java.util.TreeSet of variables' indexes. More...

Enumerations

enum  Complexity_Class { POLYNOMIAL_COMPLEXITY, SIMPLEX_COMPLEXITY, ANY_COMPLEXITY }
 Possible Complexities. More...
enum  Control_Parameter_Name { PRICING }
 Names of MIP problems' control parameters. More...
enum  Control_Parameter_Value { PRICING_STEEPEST_EDGE_FLOAT, PRICING_STEEPEST_EDGE_EXACT, PRICING_TEXTBOOK }
 Possible values for MIP problem's control parameters. More...
enum  Degenerate_Element { UNIVERSE, EMPTY }
 Kinds of degenerate abstract elements. More...
enum  Generator_Type { LINE, RAY, POINT, CLOSURE_POINT }
 The generator type. More...
enum  Grid_Generator_Type { LINE, PARAMETER, POINT }
 The grid generator type. More...
enum  MIP_Problem_Status { UNFEASIBLE_MIP_PROBLEM, UNBOUNDED_MIP_PROBLEM, OPTIMIZED_MIP_PROBLEM }
 Possible outcomes of the MIP_Problem solver. More...
enum  Optimization_Mode { MINIMIZATION, MAXIMIZATION }
 Possible optimization modes. More...
enum  Relation_Symbol {
  LESS_THAN, LESS_OR_EQUAL, EQUAL, GREATER_OR_EQUAL,
  GREATER_THAN
}
 Relation symbols. 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.


Enumeration Type Documentation

Possible Complexities.

Enumerator:
POLYNOMIAL_COMPLEXITY  Worst-case polynomial complexity.
SIMPLEX_COMPLEXITY  Worst-case exponential complexity but typically polynomial behavior.
ANY_COMPLEXITY  Any complexity.

Names of MIP problems' control parameters.

Enumerator:
PRICING  The pricing rule.

Possible values for MIP problem's control parameters.

Enumerator:
PRICING_STEEPEST_EDGE_FLOAT  Steepest edge pricing method, using floating points (default).
PRICING_STEEPEST_EDGE_EXACT  Steepest edge pricing method, using Coefficient.
PRICING_TEXTBOOK  Textbook pricing method.

Kinds of degenerate abstract elements.

Enumerator:
UNIVERSE  The universe element, i.e., the whole vector space.
EMPTY  The empty element, i.e., the empty set.

The generator type.

Enumerator:
LINE  The generator is a line.
RAY  The generator is a ray.
POINT  The generator is a point.
CLOSURE_POINT  The generator is a closure point.

The grid generator type.

Enumerator:
LINE  The generator is a line.
PARAMETER  The generator is a parameter.
POINT  The generator is a point.

Possible outcomes of the MIP_Problem solver.

Enumerator:
UNFEASIBLE_MIP_PROBLEM  The problem is unfeasible.
UNBOUNDED_MIP_PROBLEM  The problem is unbounded.
OPTIMIZED_MIP_PROBLEM  The problem has an optimal solution.

Possible optimization modes.

Enumerator:
MINIMIZATION  Minimization is requested.
MAXIMIZATION  Maximization is requested.

Relation symbols.

Enumerator:
LESS_THAN  Less than.
LESS_OR_EQUAL  Less than or equal to.
EQUAL  Equal to.
GREATER_OR_EQUAL  Greater than or equal to.
GREATER_THAN  Greater than.


Generated on Tue Oct 7 22:06:16 2008 for PPL Java Language Interface by  doxygen 1.5.7.1