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
 Java class interfacing C++ Parma_Polyhedra_Library::C_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 Sat Oct 24 11:23:45 2009 for PPL Java Language Interface by  doxygen 1.6.1-20091004