Classes | Namespaces | Enumerations

Java Language Interface

Classes

class  parma_polyhedra_library::Artificial_Parameter_Sequence
 A sequence of artificial parameters. 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...
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...
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...
class  parma_polyhedra_library::Poly_Con_Relation
 The relation between a polyhedron and a constraint. 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...

Namespaces

namespace  parma_polyhedra_library
 

The PPL Java interface package.


Enumerations

enum  parma_polyhedra_library::Bounded_Integer_Type_Overflow { parma_polyhedra_library::OVERFLOW_WRAPS, parma_polyhedra_library::OVERFLOW_UNDEFINED, parma_polyhedra_library::OVERFLOW_IMPOSSIBLE }
 

Overflow behavior of bounded integer types.

More...
enum  parma_polyhedra_library::Bounded_Integer_Type_Representation { parma_polyhedra_library::UNSIGNED, parma_polyhedra_library::SIGNED_2_COMPLEMENT }
 

Representation of bounded integer types.

More...
enum  parma_polyhedra_library::Bounded_Integer_Type_Width {
  parma_polyhedra_library::BITS_8, parma_polyhedra_library::BITS_16, parma_polyhedra_library::BITS_32, parma_polyhedra_library::BITS_64,
  parma_polyhedra_library::BITS_128
}
 

Widths of bounded integer types.

More...
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::PIP_Problem_Control_Parameter_Name { parma_polyhedra_library::CUTTING_STRATEGY, parma_polyhedra_library::PIVOT_ROW_STRATEGY }
 

Names of PIP problems' control parameters.

More...
enum  parma_polyhedra_library::PIP_Problem_Control_Parameter_Value {
  parma_polyhedra_library::CUTTING_STRATEGY_FIRST, parma_polyhedra_library::CUTTING_STRATEGY_DEEPEST, parma_polyhedra_library::CUTTING_STRATEGY_ALL, parma_polyhedra_library::PIVOT_ROW_STRATEGY_FIRST,
  parma_polyhedra_library::PIVOT_ROW_STRATEGY_MAX_COLUMN
}
 

Possible values for PIP problems' control parameters.

More...
enum  parma_polyhedra_library::PIP_Problem_Status { parma_polyhedra_library::UNFEASIBLE_PIP_PROBLEM, parma_polyhedra_library::OPTIMIZED_PIP_PROBLEM }
 

Possible outcomes of the PIP_Problem solver.

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

Overflow behavior of bounded integer types.

Enumerator:
OVERFLOW_WRAPS 

On overflow, wrapping takes place.

OVERFLOW_UNDEFINED 

On overflow, the result is undefined.

OVERFLOW_IMPOSSIBLE 

Overflow is impossible.

Representation of bounded integer types.

Enumerator:
UNSIGNED 

Unsigned binary.

SIGNED_2_COMPLEMENT 

Signed binary where negative values are represented by the two's complement of the absolute value.

Widths of bounded integer types.

Enumerator:
BITS_8 

Minimization is requested.

BITS_16 

16 bits.

BITS_32 

32 bits.

BITS_64 

64 bits.

BITS_128 

128 bits.

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.

Names of PIP problems' control parameters.

Enumerator:
CUTTING_STRATEGY 

The cutting strategy rule.

PIVOT_ROW_STRATEGY 

The pivot row strategy rule.

Possible values for PIP problems' control parameters.

Enumerator:
CUTTING_STRATEGY_FIRST 

Choose the first non-integer row.

CUTTING_STRATEGY_DEEPEST 

Choose row which generates the deepest cut.

CUTTING_STRATEGY_ALL 

Always generate all possible cuts.

PIVOT_ROW_STRATEGY_FIRST 

Choose the first row with negative parameter sign.

PIVOT_ROW_STRATEGY_MAX_COLUMN 

Choose the row which generates the lexico-maximal pivot column.

Possible outcomes of the PIP_Problem solver.

Enumerator:
UNFEASIBLE_PIP_PROBLEM 

The problem is unsatisfiable.

OPTIMIZED_PIP_PROBLEM 

The problem has an optimal solution.

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.