cprover
|
Common behaviour for abstract objects modelling values - constants, intervals, etc. More...
Go to the source code of this file.
Classes | |
class | abstract_value_tag |
class | index_ranget |
class | single_value_index_ranget |
class | abstract_value_objectt |
Typedefs | |
typedef std::shared_ptr< index_ranget > | index_range_ptrt |
Functions | |
index_range_ptrt | make_empty_index_range () |
index_range_ptrt | make_indeterminate_index_range () |
Common behaviour for abstract objects modelling values - constants, intervals, etc.
Definition in file abstract_value_object.h.
typedef std::shared_ptr<index_ranget> index_range_ptrt |
Definition at line 43 of file abstract_value_object.h.
index_range_ptrt make_empty_index_range | ( | ) |
Definition at line 52 of file abstract_value_object.cpp.
index_range_ptrt make_indeterminate_index_range | ( | ) |
Definition at line 57 of file abstract_value_object.cpp.