var NAVTREEINDEX10 =
{
"index.html#Adding_New_Dimensions_to_the_Vector_Space":[0,5,3],
"index.html#Adding_a_Disjunct":[0,11,1],
"index.html#Affine_Hyperplanes_and_Half_spaces":[0,3,1],
"index.html#Affine_Independence_and_Affine_Dimension":[0,4,8],
"index.html#Approximating_Bounded_Integers":[0,2,1],
"index.html#Approximating_Integers":[0,2],
"index.html#Basic_Geometric_Descriptors":[0,0,1,0],
"index.html#Bounded_Difference_Shapes":[0,7,0],
"index.html#Bounded_Polyhedra":[0,3,3],
"index.html#Certificate_Based_Widenings":[0,12,4],
"index.html#Collapsing_a_Powerset_Element":[0,11,2],
"index.html#Combinations_and_Hulls":[0,4,1],
"index.html#Concatenating_Polyhedra":[0,5,2],
"index.html#Congruence_Relations":[0,8,0],
"index.html#Constraint_Geometric_Descriptors":[0,0,1,1],
"index.html#Constraints_Representation":[0,4,0],
"index.html#Convex_Polyhedra":[0,3,2],
"index.html#Convex_Polyhedral_Difference":[0,5,1],
"index.html#Cylindrification":[0,5,13],
"index.html#Double_Description":[0,4,5],
"index.html#Dropping_Non_Integer_Points":[0,2,0],
"index.html#Expanding_One_Dimension_of_the_Vector_Space_to_Multiple_Dimensions":[0,5,6],
"index.html#Extrapolation_Operators":[0,5,20],
"index.html#Folding_Multiple_Dimensions_of_the_Vector_Space_into_One_Dimension":[0,5,7],
"index.html#Generalized_Affine_Relations":[0,5,12],
"index.html#Generator_Geometric_Descriptors":[0,0,1,2],
"index.html#Generators_Representation":[0,4,3],
"index.html#Generic_Operations_on_Semantic_Geometric_Descriptors":[0,0,2],
"index.html#Geometric_Comparisons":[0,12,1],
"index.html#Grid_Affine_Dimension":[0,8,8],
"index.html#Grid_Affine_Transformation":[0,9,0],
"index.html#Grid_Extrapolation":[0,9,8],
"index.html#Grid_Frequency":[0,9,2],
"index.html#Grid_Generalized_Image":[0,9,1],
"index.html#Grid_Generator_Representation":[0,8,4],
"index.html#Grid_Minimized_Representations":[0,8,5],
"index.html#Grid_Relation_With":[0,9,4],
"index.html#Grid_Space_Dimensions":[0,8,7],
"index.html#Grid_Time_Elapse":[0,9,3],
"index.html#Grid_Widening":[0,9,6],
"index.html#Grid_Widening_with_Tokens":[0,9,7],
"index.html#Grid_Wrapping_Operator":[0,9,5],
"index.html#Grids_Double_Description_Grids":[0,8,6],
"index.html#Images_and_Preimages_of_Affine_Transfer_Relations":[0,5,8],
"index.html#Integer_Combinations":[0,8,2],
"index.html#Intersection_and_Convex_Polyhedral_Hull":[0,5,0],
"index.html#Intervals_and_Boxes":[0,6],
"index.html#Mapping_the_Dimensions_of_the_Vector_Space":[0,5,5],
"index.html#Meet_Preserving_Simplification":[0,5,16],
"index.html#Meet_and_Upper_Bound":[0,11,0],
"index.html#Minimized_Representations":[0,4,4],
"index.html#Octagonal_Shapes":[0,7,1],
"index.html#On_Const_Correctness_A_Warning_about_the_Use_of_References_and_Iterators":[0,14,3],
"index.html#On_Object_Orientation_and_Polymorphism_A_Disclaimer":[0,14,2],
"index.html#On_Pointset_Powerset_and_Partially_Reduced_Product_Domains_A_Warning":[0,14,1],
"index.html#Operations_on_Convex_Polyhedra":[0,5],
"index.html#Pairwise_Merge":[0,12,2],
"index.html#Points_Closure_Points_Rays_and_Lines":[0,4,2],
"index.html#Points_Parameters_Lines":[0,8,3],
"index.html#Positive_Time_Elapse_Operator":[0,5,15],
"index.html#Powerset_Extrapolation_Operators":[0,12,3],
"index.html#Powerset_Meet_Preserving_Simplification":[0,12,0],
"index.html#Rational_Grids":[0,8,1],
"index.html#Rational_Polyhedra":[0,4,9],
"index.html#Relation_With_Operators":[0,5,17],
"index.html#Removing_Dimensions_from_the_Vector_Space":[0,5,4],
"index.html#Semantic_Geometric_Descriptors":[0,0,0],
"index.html#Single_Update_Affine_Functions":[0,5,9],
"index.html#Single_Update_Bounded_Affine_Relations":[0,5,10],
"index.html#Space_Dimensions_and_Dimension_Compatibility":[0,4,7],
"index.html#Syntactic_Geometric_Descriptors":[0,0,1],
"index.html#The_Powerset_Domain":[0,10,0],
"index.html#Time_Elapse_Operator":[0,5,14],
"index.html#Topologies_and_Topological_compatibility":[0,4,6],
"index.html#Upward_Approximation":[0,1],
"index.html#Vectors_Matrices_and_Scalar_Products":[0,3,0],
"index.html#Weakly_Relational_Shape_Interface":[0,7,2],
"index.html#Weakly_Relational_Shapes":[0,7],
"index.html#Widening_Operators":[0,5,18],
"index.html#Widening_and_Extrapolation_Operators_on_Boxes":[0,6,0],
"index.html#Widening_and_Extrapolation_Operators_on_WR_Shapes":[0,7,3],
"index.html#Widening_with_Tokens":[0,5,19],
"index.html#Wrapping_Operator":[0,2,1,0],
"index.html#affine_form_relation":[0,5,11],
"index.html#bibliography":[0,15],
"index.html#convex_polys":[0,3],
"index.html#floating_point":[0,13],
"index.html#fp_abstract_domains":[0,13,1],
"index.html#interval_linear_forms":[0,13,0],
"index.html#pointset_powerset":[0,12],
"index.html#powerset":[0,10],
"index.html#preamble":[0,0],
"index.html#ps_operations":[0,11],
"index.html#rational_grid_operations":[0,9],
"index.html#representation":[0,4],
"index.html#sect_rational_grids":[0,8],
"index.html#use_of_library":[0,14],
"modules.html":[3],
"namespaceParma__Polyhedra__Library.html":[5,0,0],
"namespaceParma__Polyhedra__Library.html":[4,0,0],
"namespaceParma__Polyhedra__Library_1_1IO__Operators.html":[4,0,0,0],
"namespacemembers.html":[4,1,0],
"namespacemembers_enum.html":[4,1,4],
"namespacemembers_eval.html":[4,1,5],
"namespacemembers_func.html":[4,1,1],
"namespacemembers_type.html":[4,1,3],
"namespacemembers_vars.html":[4,1,2],
"namespaces.html":[4,0],
"namespacestd.html":[4,0,1],
"pages.html":[],
"structParma__Polyhedra__Library_1_1BHRZ03__Certificate_1_1Compare.html":[3,0,34],
"structParma__Polyhedra__Library_1_1BHRZ03__Certificate_1_1Compare.html#a98c515b16e12424b273eaff073b31f3b":[3,0,34,0],
"structParma__Polyhedra__Library_1_1Grid__Certificate_1_1Compare.html":[3,0,38],
"structParma__Polyhedra__Library_1_1Grid__Certificate_1_1Compare.html#a92edb0b8b1e2097c5d20795e576517cf":[3,0,38,0],
"structParma__Polyhedra__Library_1_1H79__Certificate_1_1Compare.html":[3,0,36],
"structParma__Polyhedra__Library_1_1H79__Certificate_1_1Compare.html#abf5e694ab674c48a452893f021986318":[3,0,36,0],
"structParma__Polyhedra__Library_1_1PIP__Solution__Node_1_1No__Constraints.html":[5,0,0,55,0],
"structParma__Polyhedra__Library_1_1Recycle__Input.html":[3,0,5],
"structParma__Polyhedra__Library_1_1Select__Temp__Boundary__Type.html":[5,0,0,63],
"structParma__Polyhedra__Library_1_1Variable_1_1Compare.html":[3,0,2],
"structParma__Polyhedra__Library_1_1Variable_1_1Compare.html#af6c069432956f215967c61be24a40939":[3,0,2,0]
};
