abstract_value_object.h File Reference

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

#include <analyses/variable-sensitivity/abstract_object.h>

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 = std::unique_ptr< index_range_implementationt >
using	value_range_implementation_ptrt = std::unique_ptr< value_range_implementationt >
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

using abstract_value_pointert = sharing_ptrt<const abstract_value_objectt>

Definition at line 331 of file abstract_value_object.h.

index_range_implementation_ptrt

using index_range_implementation_ptrt = std::unique_ptr<index_range_implementationt>

Definition at line 25 of file abstract_value_object.h.

value_range_implementation_ptrt

using value_range_implementation_ptrt = 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 76 of file abstract_value_object.cpp.

make_indeterminate_index_range()

index_range_implementation_ptrt make_indeterminate_index_range

(

)

Definition at line 81 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 115 of file abstract_value_object.cpp.