- objective_function()
: Parma_Polyhedra_Library::LP_Problem
- obtain_sorted_constraints()
: Parma_Polyhedra_Library::Polyhedron
- obtain_sorted_constraints_with_sat_c()
: Parma_Polyhedra_Library::Polyhedron
- obtain_sorted_generators()
: Parma_Polyhedra_Library::Polyhedron
- obtain_sorted_generators_with_sat_g()
: Parma_Polyhedra_Library::Polyhedron
- OK()
: Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Interval
, Parma_Polyhedra_Library::BHRZ03_Certificate
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Certificate
, Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Saturation_Row
, Parma_Polyhedra_Library::Grid_Generator_System
, Status
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::LBoundary
, Parma_Polyhedra_Library::UBoundary
- omega_const_iterator()
: Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
- omega_iterator()
: Parma_Polyhedra_Library::Powerset< D >::omega_iterator
- omega_reduce()
: Parma_Polyhedra_Library::Powerset< D >
- operator delete()
: Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- operator new()
: Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
- operator T()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator!=()
: Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Row::Flags
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
- operator%=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator()()
: Parma_Polyhedra_Library::Linear_System::Row_Less_Than
, Parma_Polyhedra_Library::Saturation_Matrix::Saturation_Row_Less_Than
, Parma_Polyhedra_Library::Variable::Compare
, Parma_Polyhedra_Library::Topology_Adjusted_Scalar_Product_Sign
, Parma_Polyhedra_Library::Widening_Function< PH >
, Parma_Polyhedra_Library::Limited_Widening_Function< PH, CS >
, Parma_Polyhedra_Library::BHRZ03_Certificate::Compare
, Parma_Polyhedra_Library::H79_Certificate::Compare
, Parma_Polyhedra_Library::Grid_Certificate::Compare
, Parma_Polyhedra_Library::Determinate< PH >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >
- operator*()
: Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
- operator*=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator+()
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_Expression
- operator++()
: Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
- operator+=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
- operator-()
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_Expression
- operator--()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_iterator
- operator-=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
- operator->()
: Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
- operator/()
: Parma_Polyhedra_Library::Congruence
- operator/=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator<()
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator<<()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Bounding_Box
, Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Grid_Generator_System
- operator<=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator=()
: Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Saturation_Row
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Determinate< PH >::Rep
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::LP_Problem
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::NNC_Polyhedron
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Row_Impl_Handler
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::C_Polyhedron
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Determinate< PH >
, Parma_Polyhedra_Library::Polyhedra_Powerset< PH >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::NNC_Polyhedron
, Parma_Polyhedra_Library::C_Polyhedron
- operator==()
: Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Powerset< D >::omega_iterator
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Row::Flags
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_System::With_Saturation_Matrix_iterator
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Powerset< D >::omega_const_iterator
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Powerset< D >
- operator>()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator>=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator>>()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator[]()
: Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Bounding_Box
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Saturation_Matrix
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Saturation_Row
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Constraint_System
- optimal_value()
: Parma_Polyhedra_Library::LP_Problem
- optimization_mode()
: Parma_Polyhedra_Library::LP_Problem
- optimizing_point()
: Parma_Polyhedra_Library::LP_Problem
- output()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- output_function_type()
: Parma_Polyhedra_Library::Variable
Generated on Wed Jul 16 22:55:36 2008 for PPL by
1.5.6