PPL  1.2
Parma_Polyhedra_Library::Integer_Interval_Info_Policy Struct Reference

#include <Integer_Interval.hh>

Public Member Functions

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

Detailed Description

Definition at line 32 of file Integer_Interval.hh.

Member Function Documentation

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

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