PPL  1.2
Parma_Polyhedra_Library::Rational_Interval_Info_Policy Struct Reference

#include <Rational_Interval.hh>

Public Member Functions

 const_bool_nodef (store_special, true)
 
 const_bool_nodef (store_open, true)
 
 const_bool_nodef (cache_empty, true)
 
 const_bool_nodef (cache_singleton, true)
 
 const_bool_nodef (cache_normalized, false)
 
 const_int_nodef (next_bit, 0)
 
 const_bool_nodef (may_be_empty, true)
 
 const_bool_nodef (may_contain_infinity, false)
 
 const_bool_nodef (check_inexact, false)
 

Detailed Description

Definition at line 32 of file Rational_Interval.hh.

Member Function Documentation

Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( store_special  ,
true   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( store_open  ,
true   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( cache_empty  ,
true   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( cache_singleton  ,
true   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( cache_normalized  ,
false   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( may_be_empty  ,
true   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( may_contain_infinity  ,
false   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_bool_nodef ( check_inexact  ,
false   
)
Parma_Polyhedra_Library::Rational_Interval_Info_Policy::const_int_nodef ( next_bit  ,
 
)

The documentation for this struct was generated from the following file: