Here is a list of all documented class members with links to the class documentation for each member:
- i -
- id()
: Parma_Polyhedra_Library::Variable
- implies()
: Parma_Polyhedra_Library::Poly_Con_Relation
, Parma_Polyhedra_Library::Poly_Gen_Relation
- indent_and_print()
: Parma_Polyhedra_Library::PIP_Tree_Node
- index()
: Parma_Polyhedra_Library::CO_Tree::const_iterator
, Parma_Polyhedra_Library::CO_Tree::iterator
- infinity_sign()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- info_type
: Parma_Polyhedra_Library::Constant_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Difference_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Division_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Multiplication_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Opposite_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Sum_Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Variable_Floating_Point_Expression< FP_Interval_Type, FP_Format >
- inhomogeneous_term()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Linear_Form< C >
- initialize()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_Expression
, Parma_Polyhedra_Library::Polyhedron
, Parma_Polyhedra_Library::Watchdog
- input()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- insert()
: Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint_System
, Parma_Polyhedra_Library::Generator_System
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Implementation::EList< T >
, Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >
, Parma_Polyhedra_Library::Variables_Set
- insert_after()
: Parma_Polyhedra_Library::Implementation::Doubly_Linked_Object
- insert_before()
: Parma_Polyhedra_Library::Implementation::Doubly_Linked_Object
- integer_space_dimensions()
: Parma_Polyhedra_Library::MIP_Problem
- integer_upper_bound_assign_if_exact()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Octagonal_Shape< T >
- intersection_assign()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- Interval()
: Parma_Polyhedra_Library::Interval< Boundary, Info >
- interval_type
: Parma_Polyhedra_Library::Box< ITV >
- intervalize()
: Parma_Polyhedra_Library::Floating_Point_Expression< FP_Interval_Type, FP_Format >
, Parma_Polyhedra_Library::Linear_Form< C >
- is()
: Parma_Polyhedra_Library::Concrete_Expression_Common< Target >
- is_bottom()
: Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Powerset< D >
- is_bounded()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- is_bounded_integer()
: Parma_Polyhedra_Library::Concrete_Expression_Type
- is_closure_point()
: Parma_Polyhedra_Library::Generator
- is_definitely_equivalent_to()
: Parma_Polyhedra_Library::Determinate< PSET >
- is_discrete()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- is_disjoint()
: Parma_Polyhedra_Library::Poly_Con_Relation
- is_disjoint_from()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- is_empty()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- is_equal_to()
: Parma_Polyhedra_Library::Congruence_System
, Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
, Parma_Polyhedra_Library::Grid_Generator_System
, Parma_Polyhedra_Library::Linear_Expression
- is_equality()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
- is_equivalent_to()
: Parma_Polyhedra_Library::Constraint
, Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- is_floating_point()
: Parma_Polyhedra_Library::Concrete_Expression_Type
- is_included()
: Parma_Polyhedra_Library::Poly_Con_Relation
- is_inconsistent()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
- is_inequality()
: Parma_Polyhedra_Library::Constraint
- is_integer()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_line()
: Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- is_line_or_parameter()
: Parma_Polyhedra_Library::Grid_Generator
- is_minus_infinity()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_nonstrict_inequality()
: Parma_Polyhedra_Library::Constraint
- is_not_a_number()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_omega_reduced()
: Parma_Polyhedra_Library::Powerset< D >
- is_parameter()
: Parma_Polyhedra_Library::Grid_Generator
- is_parameter_or_point()
: Parma_Polyhedra_Library::Grid_Generator
- is_plus_infinity()
: Parma_Polyhedra_Library::Checked_Number< T, Policy >
- is_point()
: Parma_Polyhedra_Library::Generator
, Parma_Polyhedra_Library::Grid_Generator
- is_proper_congruence()
: Parma_Polyhedra_Library::Congruence
- is_ray()
: Parma_Polyhedra_Library::Generator
- is_reduced()
: Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
- is_satisfiable()
: Parma_Polyhedra_Library::MIP_Problem
, Parma_Polyhedra_Library::PIP_Problem
- is_strict_inequality()
: Parma_Polyhedra_Library::Constraint
- is_tautological()
: Parma_Polyhedra_Library::Congruence
, Parma_Polyhedra_Library::Constraint
- is_top()
: Parma_Polyhedra_Library::Determinate< PSET >
, Parma_Polyhedra_Library::Powerset< D >
- is_topologically_closed()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- is_universe()
: Parma_Polyhedra_Library::BD_Shape< T >
, Parma_Polyhedra_Library::Box< ITV >
, Parma_Polyhedra_Library::Grid
, Parma_Polyhedra_Library::Octagonal_Shape< T >
, Parma_Polyhedra_Library::Partially_Reduced_Product< D1, D2, R >
, Parma_Polyhedra_Library::Pointset_Powerset< PSET >
, Parma_Polyhedra_Library::Polyhedron
- is_zero()
: Parma_Polyhedra_Library::Linear_Expression
- iterator()
: Parma_Polyhedra_Library::CO_Tree::iterator
, Parma_Polyhedra_Library::Implementation::EList< T >
, Parma_Polyhedra_Library::Implementation::Watchdog::Pending_List< Traits >
, Parma_Polyhedra_Library::Powerset< D >