cprover
Loading...
Searching...
No Matches
abstract_value_object.h File Reference

Common behaviour for abstract objects modelling values - constants, intervals, etc. More...

+ Include dependency graph for abstract_value_object.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  abstract_value_tag
 
class  index_range_implementationt
 
class  index_range_iteratort
 
class  index_ranget
 
class  single_value_index_ranget
 
class  value_range_implementationt
 
class  value_range_iteratort
 
class  value_ranget
 
class  empty_value_ranget
 
class  abstract_value_objectt
 

Typedefs

using index_range_implementation_ptrt
 
using value_range_implementation_ptrt
 
using abstract_value_pointert = sharing_ptrt<const abstract_value_objectt>
 

Functions

index_range_implementation_ptrt make_empty_index_range ()
 
index_range_implementation_ptrt make_indeterminate_index_range ()
 
value_range_implementation_ptrt make_single_value_range (const abstract_object_pointert &value)
 

Detailed Description

Common behaviour for abstract objects modelling values - constants, intervals, etc.

Definition in file abstract_value_object.h.

Typedef Documentation

◆ abstract_value_pointert

◆ index_range_implementation_ptrt

Initial value:
std::unique_ptr<index_range_implementationt>

Definition at line 25 of file abstract_value_object.h.

◆ value_range_implementation_ptrt

Initial value:
std::unique_ptr<value_range_implementationt>

Definition at line 130 of file abstract_value_object.h.

Function Documentation

◆ make_empty_index_range()

index_range_implementation_ptrt make_empty_index_range ( )

Definition at line 77 of file abstract_value_object.cpp.

◆ make_indeterminate_index_range()

index_range_implementation_ptrt make_indeterminate_index_range ( )

Definition at line 82 of file abstract_value_object.cpp.

◆ make_single_value_range()

value_range_implementation_ptrt make_single_value_range ( const abstract_object_pointert & value)

Definition at line 116 of file abstract_value_object.cpp.