- objective_function()
: Parma_Polyhedra_Library::MIP_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
- Octagonal_Shape()
: Parma_Polyhedra_Library::Octagonal_Shape< T >
- OK()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Row
, Status
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Polyhedron::Status
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Grid::Status
, Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Poly_Gen_Relation
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::BHRZ03_Certificate
, Parma_Polyhedra_Library::Grid_Certificate
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Determinate< PS >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Bit_Row
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Box< ITV >::Status
, Parma_Polyhedra_Library::Variable
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::BD_Shape< T >::Status
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Octagonal_Shape< T >::Status
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- 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::Row::Flags
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Linear_System::With_Bit_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::iterator_to_const< Container >
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, 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::Bit_Matrix
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- operator%=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
- operator()()
: Parma_Polyhedra_Library::Linear_System::Row_Less_Than
, Parma_Polyhedra_Library::Bit_Matrix::Bit_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< PS >::Binary_Operator_Assign_Lifter< Binary_Operator_Assign >
- operator*()
: Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_System::With_Bit_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::iterator_to_const< Container >
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
- operator*=()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator+()
: Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_Expression
- operator++()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_System::With_Bit_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::iterator_to_const< Container >
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
- operator+=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
- operator-()
: Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, 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_Bit_Matrix_iterator
, Parma_Polyhedra_Library::iterator_to_const< Container >
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
- operator-=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
- operator->()
: Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_System::With_Bit_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::iterator_to_const< Container >
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
- operator/=()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Interval< Boundary, Info >
- operator<()
: Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
- operator<<()
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Determinate< PS >
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::OR_Matrix< T >
- operator<=()
: Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Constraint
- operator=()
: Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Interval< Boundary, Info >
, Parma_Polyhedra_Library::NNC_Polyhedron
, Parma_Polyhedra_Library::Bit_Row
, Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::NNC_Polyhedron
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::Determinate< PS >
, Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::OR_Matrix< T >::Pseudo_Row< U >
, Parma_Polyhedra_Library::C_Polyhedron
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Pointset_Powerset< PS >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >
, Parma_Polyhedra_Library::C_Polyhedron
, Parma_Polyhedra_Library::Determinate< PS >::Rep
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Row_Impl_Handler
, Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Grid
- operator==()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
, Parma_Polyhedra_Library::Generator_System::const_iterator
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Congruence_System::const_iterator
, Parma_Polyhedra_Library::Grid_Generator_System::const_iterator
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Linear_Row
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::Row::Flags
, Parma_Polyhedra_Library::DB_Matrix< T >::const_iterator
, Parma_Polyhedra_Library::iterator_to_const< Container >
, Parma_Polyhedra_Library::const_iterator_to_const< Container >
, Parma_Polyhedra_Library::Constraint_System::const_iterator
, Parma_Polyhedra_Library::Linear_Row::Flags
, Parma_Polyhedra_Library::Powerset< D >
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::Linear_System::With_Bit_Matrix_iterator
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Matrix::const_iterator
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Linear_System
, Parma_Polyhedra_Library::DB_Row< T >
- operator>()
: Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::Checked_Number< T, Policy >
- operator>=()
: Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, 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::Linear_System
, Parma_Polyhedra_Library::OR_Matrix< T >::Pseudo_Row< U >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Bit_Row
, Parma_Polyhedra_Library::OR_Matrix< T >::any_row_iterator< U >
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::OR_Matrix< T >
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Row_Impl_Handler::Impl
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Row
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::DB_Row< T >
, Parma_Polyhedra_Library::DB_Row_Impl_Handler< T >::Impl
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::DB_Matrix< T >
, Parma_Polyhedra_Library::Bit_Matrix
, Parma_Polyhedra_Library::Matrix
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Linear_System
- optimal_value()
: Parma_Polyhedra_Library::MIP_Problem
- optimization_mode()
: Parma_Polyhedra_Library::MIP_Problem
- optimizing_point()
: Parma_Polyhedra_Library::MIP_Problem
- OR_Matrix()
: Parma_Polyhedra_Library::OR_Matrix< T >
- output()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- output_function_type()
: Parma_Polyhedra_Library::Variable
- overflow()
: Parma_Polyhedra_Library::stdiobuf
Generated on Sat Oct 11 10:40:49 2008 for PPL by
1.5.6