Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

[detail level 1234]

▼NParma_Polyhedra_Library	The entire library is confined to this namespace
▼NImplementation
▼NWatchdog
CHandler	Abstract base class for handlers of the watchdog events
CHandler_Flag	A kind of Handler that installs a flag onto a flag-holder
CHandler_Function	A kind of Handler calling a given function
CPending_Element	A class for pending watchdog events with embedded links
CPending_List	An ordered list for recording pending watchdog events
CTime	A class for representing and manipulating positive time intervals
CDoubly_Linked_Object	A (base) class for doubly linked objects
CEList	A simple kind of embedded list (i.e., a doubly linked objects where the links are embedded in the objects themselves)
CEList_Iterator	A class providing iterators for embedded lists
CApproximable_Reference	A concrete expression representing a reference to some approximable
CApproximable_Reference_Common	Base class for references to some approximable
CBD_Shape	A bounded difference shape
▼CBHRZ03_Certificate	The convergence certificate for the BHRZ03 widening operator
CCompare	A total ordering on BHRZ03 certificates
CBinary_Operator	A binary operator applied to two concrete expressions
CBinary_Operator_Common	Base class for binary operator applied to two concrete expressions
CBox	A not necessarily closed, iso-oriented hyperrectangle
CC_Polyhedron	A closed convex polyhedron
CCast_Floating_Point_Expression	A generic Cast Floating Point Expression
CCast_Operator	A cast operator converting one concrete expression to some type
CCast_Operator_Common	Base class for cast operator concrete expressions
CChecked_Number	A wrapper for numeric types implementing a given policy
CConcrete_Expression	The base class of all concrete expressions
CConcrete_Expression_Common	Base class for all concrete expressions
CConcrete_Expression_Type	The type of a concrete expression
CCongruence	A linear congruence
▼CCongruence_System	A system of congruences
Cconst_iterator	An iterator over a system of congruences
CCongruences_Reduction	This class provides the reduction method for the Congruences_Product domain
CConstant_Floating_Point_Expression	A generic Constant Floating Point Expression
CConstraint	A linear equality or inequality
CConstraint_System	A system of constraints
CConstraint_System_const_iterator	An iterator over a system of constraints
CConstraints_Reduction	This class provides the reduction method for the Constraints_Product domain
CDeterminate	A wrapper for PPL pointsets, providing them with a determinate constraint system interface, as defined in [Bag98]
CDifference_Floating_Point_Expression	A generic Difference Floating Point Expression
CDivision_Floating_Point_Expression	A generic Division Floating Point Expression
CDomain_Product	This class is temporary and will be removed when template typedefs will be supported in C++
CFloating_Point_Constant	A floating-point constant concrete expression
CFloating_Point_Constant_Common	Base class for floating-point constant concrete expression
CFloating_Point_Expression
CFP_Oracle	An abstract class to be implemented by an external analyzer such as ECLAIR in order to provide to the PPL the necessary information for performing the analysis of floating point computations
CGenerator	A line, ray, point or closure point
CGenerator_System	A system of generators
CGenerator_System_const_iterator	An iterator over a system of generators
CGMP_Integer	Unbounded integers as provided by the GMP library
CGrid	A grid
▼CGrid_Certificate	The convergence certificate for the Grid widening operator
CCompare	A total ordering on Grid certificates
CGrid_Generator	A grid line, parameter or grid point
▼CGrid_Generator_System	A system of grid generators
Cconst_iterator	An iterator over a system of grid generators
▼CH79_Certificate	A convergence certificate for the H79 widening operator
CCompare	A total ordering on H79 certificates
CInteger_Constant	An integer constant concrete expression
CInteger_Constant_Common	Base class for integer constant concrete expressions
CInterval	A generic, not necessarily closed, possibly restricted interval
▼CLinear_Expression	A linear expression
Cconst_iterator
CLinear_Form	A linear form with interval coefficients
▼CMIP_Problem	A Mixed Integer (linear) Programming problem
Cconst_iterator	A read-only iterator on the constraints defining the feasible region
CMultiplication_Floating_Point_Expression	A generic Multiplication Floating Point Expression
CNNC_Polyhedron	A not necessarily closed convex polyhedron
CNo_Reduction	This class provides the reduction method for the Direct_Product domain
COctagonal_Shape	An octagonal shape
COpposite_Floating_Point_Expression	A generic Opposite Floating Point Expression
CPartially_Reduced_Product	The partially reduced product of two abstractions
CPIP_Decision_Node	A tree node representing a decision in the space of solutions
CPIP_Problem	A Parametric Integer (linear) Programming problem
▼CPIP_Solution_Node	A tree node representing part of the space of solutions
CNo_Constraints	A tag type to select the alternative copy constructor
▼CPIP_Tree_Node	A node of the PIP solution tree
CArtificial_Parameter	Artificial parameters in PIP solution trees
CPointset_Powerset	The powerset construction instantiated on PPL pointset domains
CPoly_Con_Relation	The relation between a polyhedron and a constraint
CPoly_Gen_Relation	The relation between a polyhedron and a generator
CPolyhedron	The base class for convex polyhedra
CPowerset	The powerset construction on a base-level domain
CRecycle_Input	A tag class
CSelect_Temp_Boundary_Type	Helper class to select the appropriate numerical type to perform boundary computations so as to reduce the chances of overflow without incurring too much overhead
CShape_Preserving_Reduction	This class provides the reduction method for the Shape_Preserving_Product domain
CSmash_Reduction	This class provides the reduction method for the Smash_Product domain
CSum_Floating_Point_Expression	A generic Sum Floating Point Expression
CThreshold_Watcher	A class of watchdogs controlling the exceeding of a threshold
CThrowable	User objects the PPL can throw
CUnary_Operator	A unary operator applied to one concrete expression
CUnary_Operator_Common	Base class for unary operator applied to one concrete expression
▼CVariable	A dimension of the vector space
CCompare	Binary predicate defining the total ordering on variables
CVariable_Floating_Point_Expression	A generic Variable Floating Point Expression
CVariables_Set	An std::set of variables' indexes
CWatchdog	A watchdog timer