cprover
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_ranget
 
class  single_value_index_ranget
 
class  abstract_value_objectt
 

Typedefs

typedef std::shared_ptr< index_rangetindex_range_ptrt
 

Functions

index_range_ptrt make_empty_index_range ()
 
index_range_ptrt make_indeterminate_index_range ()
 

Detailed Description

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

Definition in file abstract_value_object.h.

Typedef Documentation

◆ index_range_ptrt

typedef std::shared_ptr<index_ranget> index_range_ptrt

Definition at line 43 of file abstract_value_object.h.

Function Documentation

◆ make_empty_index_range()

index_range_ptrt make_empty_index_range ( )

Definition at line 52 of file abstract_value_object.cpp.

◆ make_indeterminate_index_range()

index_range_ptrt make_indeterminate_index_range ( )

Definition at line 57 of file abstract_value_object.cpp.