Java Language Interface


Classes

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...
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...
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...
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...
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...
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...
interface  parma_polyhedra_library::Partial_Function
 A partial function on space dimension indices. More...
class  parma_polyhedra_library::Poly_Con_Relation
 The relation between a polyhedron and a constraint. More...
class  parma_polyhedra_library::Variable
 A dimension of the vector space. More...

Namespaces

namespace  parma_polyhedra_library
 The PPL Java interface package.

Enumerations

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

Detailed Description

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

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 Apr 14 07:13:25 2009 for PPL Java Language Interface by  doxygen 1.5.7.1