File List

Here is a list of all files with brief descriptions:

Affine_Space.cc
Affine_Space_defs.hh
Affine_Space_inlines.hh
Affine_Space_types.hh
algorithms.hh
Any_Pointset_defs.hh
Any_Pointset_inlines.hh
Any_Pointset_types.hh
Ask_Tell_defs.hh
Ask_Tell_inlines.hh
Ask_Tell_templates.hh
Ask_Tell_types.hh
assertions.cc
assign_or_swap.hh
BD_Shape.cc
BD_Shape_defs.hh
BD_Shape_inlines.hh
BD_Shape_templates.hh
BD_Shape_types.hh
BDS_Status.cc
BDS_Status_inlines.hh
BHRZ03_Certificate.cc
BHRZ03_Certificate_defs.hh
BHRZ03_Certificate_inlines.hh
BHRZ03_Certificate_types.hh
Bit_Matrix.cc
Bit_Matrix_defs.hh
Bit_Matrix_inlines.hh
Bit_Matrix_types.hh
Bit_Row.cc
Bit_Row_defs.hh
Bit_Row_inlines.hh
Bit_Row_types.hh
Boundary_defs.hh
Box.cc
Box_defs.hh
Box_inlines.hh
Box_Status.cc
Box_Status_inlines.hh
Box_templates.hh
Box_types.hh
C_Integer.hh
C_Polyhedron.cc
C_Polyhedron_defs.hh
C_Polyhedron_inlines.hh
C_Polyhedron_types.hh
c_streambuf.cc
c_streambuf_defs.hh
c_streambuf_inlines.hh
c_streambuf_types.hh
Cast_Floating_Point_Expression_defs.hh
Cast_Floating_Point_Expression_inlines.hh
Cast_Floating_Point_Expression_templates.hh
Cast_Floating_Point_Expression_types.hh
checked.cc
checked_defs.hh
checked_ext_defs.hh
checked_ext_inlines.hh
checked_float_inlines.hh
checked_inlines.hh
checked_int_inlines.hh
checked_mpq_inlines.hh
checked_mpz_inlines.hh
Checked_Number.cc
Checked_Number_defs.hh
Checked_Number_inlines.hh
Checked_Number_templates.hh
Checked_Number_types.hh
checked_numeric_limits.hh
CO_Tree.cc
CO_Tree_defs.hh
CO_Tree_inlines.hh
CO_Tree_templates.hh
CO_Tree_types.hh
Coefficient.cc
Coefficient_defs.hh
Coefficient_inlines.hh
Coefficient_traits_template.hh
Coefficient_types.hh
compiler.hh
Concrete_Expression.cc
Concrete_Expression_defs.hh
Concrete_Expression_inlines.hh
Concrete_Expression_types.hh
Congruence.cc
Congruence_defs.hh
Congruence_inlines.hh
Congruence_System.cc
Congruence_System_defs.hh
Congruence_System_inlines.hh
Congruence_System_types.hh
Congruence_types.hh
Constant_Floating_Point_Expression_defs.hh
Constant_Floating_Point_Expression_inlines.hh
Constant_Floating_Point_Expression_types.hh
Constraint.cc
Constraint_defs.hh
Constraint_inlines.hh
Constraint_System.cc
Constraint_System_defs.hh
Constraint_System_inlines.hh
Constraint_System_types.hh
Constraint_types.hh
DB_Matrix_defs.hh
DB_Matrix_inlines.hh
DB_Matrix_templates.hh
DB_Matrix_types.hh
DB_Row_defs.hh
DB_Row_inlines.hh
DB_Row_templates.hh
DB_Row_types.hh
Dense_Row.cc
Dense_Row_defs.hh
Dense_Row_inlines.hh
Dense_Row_templates.hh
Dense_Row_types.hh
Determinate_defs.hh
Determinate_inlines.hh
Determinate_types.hh
Difference_Floating_Point_Expression_defs.hh
Difference_Floating_Point_Expression_inlines.hh
Difference_Floating_Point_Expression_templates.hh
Difference_Floating_Point_Expression_types.hh
distances_defs.hh
distances_inlines.hh
distances_types.hh
Division_Floating_Point_Expression_defs.hh
Division_Floating_Point_Expression_inlines.hh
Division_Floating_Point_Expression_templates.hh
Division_Floating_Point_Expression_types.hh
Doubly_Linked_Object_defs.hh
Doubly_Linked_Object_inlines.hh
Doubly_Linked_Object_types.hh
EList_defs.hh
EList_inlines.hh
EList_Iterator_defs.hh
EList_Iterator_inlines.hh
EList_Iterator_types.hh
EList_types.hh
Expression_Adapter_defs.hh
Expression_Adapter_inlines.hh
Expression_Adapter_types.hh
Expression_Hide_Inhomo_defs.hh
Expression_Hide_Inhomo_inlines.hh
Expression_Hide_Inhomo_types.hh
Expression_Hide_Last_defs.hh
Expression_Hide_Last_inlines.hh
Expression_Hide_Last_types.hh
Float.cc
Float_defs.hh
Float_inlines.hh
Float_templates.hh
Floating_Point_Expression_defs.hh
Floating_Point_Expression_inlines.hh
Floating_Point_Expression_templates.hh
Floating_Point_Expression_types.hh
fpu-c99_inlines.hh
fpu-ia32.cc
fpu-ia32_inlines.hh
fpu-none_inlines.hh
fpu-sparc_inlines.hh
fpu_defs.hh
fpu_types.hh
Generator.cc
Generator_defs.hh
Generator_inlines.hh
Generator_System.cc
Generator_System_defs.hh
Generator_System_inlines.hh
Generator_System_types.hh
Generator_types.hh
globals.cc
globals_defs.hh
globals_inlines.hh
globals_types.hh
GMP_Integer_defs.hh
GMP_Integer_inlines.hh
GMP_Integer_types.hh
Grid_Certificate.cc
Grid_Certificate_defs.hh
Grid_Certificate_inlines.hh
Grid_Certificate_types.hh
Grid_chdims.cc
Grid_conversion.cc
Grid_defs.hh
Grid_Generator.cc
Grid_Generator_defs.hh
Grid_Generator_inlines.hh
Grid_Generator_System.cc
Grid_Generator_System_defs.hh
Grid_Generator_System_inlines.hh
Grid_Generator_System_types.hh
Grid_Generator_types.hh
Grid_inlines.hh
Grid_nonpublic.cc
Grid_public.cc
Grid_simplify.cc
Grid_Status.cc
Grid_Status_inlines.hh
Grid_templates.hh
Grid_types.hh
Grid_widenings.cc
H79_Certificate.cc
H79_Certificate_defs.hh
H79_Certificate_inlines.hh
H79_Certificate_types.hh
Handler.cc
Handler_defs.hh
Handler_inlines.hh
Handler_types.hh
Has_Assign_Or_Swap.hh
Init.cc
Init_defs.hh
Init_inlines.hh
Init_types.hh
initializer.hh
Integer_Interval.hh
Interval_defs.hh
Interval_Info_defs.hh
Interval_Info_inlines.hh
Interval_Info_types.hh
Interval_inlines.hh
Interval_templates.hh
Interval_types.hh
intervals_defs.hh
iterator_to_const_defs.hh
iterator_to_const_inlines.hh
iterator_to_const_types.hh
Linear_Expression.cc
Linear_Expression_defs.hh
Linear_Expression_Impl.cc
Linear_Expression_Impl_defs.hh
Linear_Expression_Impl_inlines.hh
Linear_Expression_Impl_templates.hh
Linear_Expression_Impl_types.hh
Linear_Expression_inlines.hh
Linear_Expression_Interface.cc
Linear_Expression_Interface_defs.hh
Linear_Expression_Interface_types.hh
Linear_Expression_types.hh
Linear_Form.cc
Linear_Form_defs.hh
Linear_Form_inlines.hh
Linear_Form_templates.hh
Linear_Form_types.hh
Linear_System_defs.hh
Linear_System_inlines.hh
Linear_System_templates.hh
Linear_System_types.hh
linearize.hh
math_utilities_defs.hh
math_utilities_inlines.hh
Matrix_defs.hh
Matrix_inlines.hh
Matrix_templates.hh
Matrix_types.hh
max_space_dimension.hh
meta_programming.hh
MIP_Problem.cc
MIP_Problem_defs.hh
MIP_Problem_inlines.hh
MIP_Problem_templates.hh
MIP_Problem_types.hh
mp_std_bits.cc
mp_std_bits_defs.hh
mp_std_bits_inlines.hh
Multiplication_Floating_Point_Expression_defs.hh
Multiplication_Floating_Point_Expression_inlines.hh
Multiplication_Floating_Point_Expression_templates.hh
Multiplication_Floating_Point_Expression_types.hh
namespaces.hh
NNC_Polyhedron.cc
NNC_Polyhedron_defs.hh
NNC_Polyhedron_inlines.hh
NNC_Polyhedron_types.hh
Numeric_Format_defs.hh
Octagonal_Shape.cc
Octagonal_Shape_defs.hh
Octagonal_Shape_inlines.hh
Octagonal_Shape_templates.hh
Octagonal_Shape_types.hh
Og_Status.cc
Og_Status_inlines.hh
Opposite_Floating_Point_Expression_defs.hh
Opposite_Floating_Point_Expression_inlines.hh
Opposite_Floating_Point_Expression_types.hh
OR_Matrix_defs.hh
OR_Matrix_inlines.hh
OR_Matrix_templates.hh
OR_Matrix_types.hh
Partial_Function.cc
Partial_Function_defs.hh
Partial_Function_inlines.hh
Partial_Function_types.hh
Partially_Reduced_Product_defs.hh
Partially_Reduced_Product_inlines.hh
Partially_Reduced_Product_templates.hh
Partially_Reduced_Product_types.hh
Pending_Element_defs.hh
Pending_Element_inlines.hh
Pending_Element_types.hh
Pending_List_defs.hh
Pending_List_inlines.hh
Pending_List_templates.hh
Pending_List_types.hh
Ph_Status.cc
Ph_Status_inlines.hh
PIP_Problem.cc
PIP_Problem_defs.hh
PIP_Problem_inlines.hh
PIP_Problem_templates.hh
PIP_Problem_types.hh
PIP_Tree.cc
PIP_Tree_defs.hh
PIP_Tree_inlines.hh
PIP_Tree_types.hh
Pointset_Ask_Tell.cc
Pointset_Ask_Tell_defs.hh
Pointset_Ask_Tell_inlines.hh
Pointset_Ask_Tell_templates.hh
Pointset_Ask_Tell_types.hh
Pointset_Powerset.cc
Pointset_Powerset_defs.hh
Pointset_Powerset_inlines.hh
Pointset_Powerset_templates.hh
Pointset_Powerset_types.hh
Poly_Con_Relation.cc
Poly_Con_Relation_defs.hh
Poly_Con_Relation_inlines.hh
Poly_Con_Relation_types.hh
Poly_Gen_Relation.cc
Poly_Gen_Relation_defs.hh
Poly_Gen_Relation_inlines.hh
Poly_Gen_Relation_types.hh
Polyhedron_chdims.cc
Polyhedron_chdims_templates.hh
Polyhedron_conversion_templates.hh
Polyhedron_defs.hh
Polyhedron_inlines.hh
Polyhedron_minimize_templates.hh
Polyhedron_nonpublic.cc
Polyhedron_public.cc
Polyhedron_simplify_templates.hh
Polyhedron_templates.hh
Polyhedron_types.hh
Polyhedron_widenings.cc
Powerset_defs.hh
Powerset_inlines.hh
Powerset_templates.hh
Powerset_types.hh
Ptr_Iterator_defs.hh
Ptr_Iterator_inlines.hh
Ptr_Iterator_types.hh
Rational_Box.hh
Rational_Interval.hh
Result_defs.hh
Result_inlines.hh
Rounding_Dir_defs.hh
Rounding_Dir_inlines.hh
Scalar_Products.cc
Scalar_Products_defs.hh
Scalar_Products_inlines.hh
Scalar_Products_types.hh
set_GMP_memory_alloc_funcs.cc
Slow_Copy.hh
Sparse_Row.cc
Sparse_Row_defs.hh
Sparse_Row_inlines.hh
Sparse_Row_templates.hh
Sparse_Row_types.hh
stdiobuf.cc
stdiobuf_defs.hh
stdiobuf_inlines.hh
stdiobuf_types.hh
Sum_Floating_Point_Expression_defs.hh
Sum_Floating_Point_Expression_inlines.hh
Sum_Floating_Point_Expression_templates.hh
Sum_Floating_Point_Expression_types.hh
swapping_sort_templates.hh
Swapping_Vector_defs.hh
Swapping_Vector_inlines.hh
Swapping_Vector_types.hh
Temp_defs.hh
Temp_inlines.hh
Temp_templates.hh
termination.cc
termination_defs.hh
termination_templates.hh
termination_types.hh
Threshold_Watcher.cc
Threshold_Watcher_defs.hh
Threshold_Watcher_inlines.hh
Threshold_Watcher_templates.hh
Threshold_Watcher_types.hh
Time.cc
Time_defs.hh
Time_inlines.hh
Time_types.hh
Topology_types.hh
Variable.cc
Variable_defs.hh
Variable_Floating_Point_Expression_defs.hh
Variable_Floating_Point_Expression_inlines.hh
Variable_Floating_Point_Expression_types.hh
Variable_inlines.hh
Variable_types.hh
Variables_Set.cc
Variables_Set_defs.hh
Variables_Set_inlines.hh
Variables_Set_types.hh
version.cc
version.hh
Watchdog.cc
Watchdog_defs.hh
Watchdog_inlines.hh
Watchdog_types.hh
Weight_Profiler.cc
Weight_Profiler_defs.hh
Widening_Function_defs.hh
Widening_Function_inlines.hh
Widening_Function_types.hh
wrap_assign.hh
wrap_string.cc
wrap_string.hh
WRD_coefficient_types_defs.hh
WRD_coefficient_types_inlines.hh