single_value_value_ranget Class Reference

Inheritance diagram for single_value_value_ranget:

Collaboration diagram for single_value_value_ranget:

Public Member Functions
	single_value_value_ranget (const abstract_object_pointert &val)
const abstract_object_pointert &	current () const override
bool	advance_to_next () override
value_range_implementation_ptrt	reset () const override
Public Member Functions inherited from value_range_implementationt
virtual	~value_range_implementationt ()=default

Private Attributes
const abstract_object_pointert	value
bool	available

Detailed Description

Definition at line 86 of file abstract_value_object.cpp.

Constructor & Destructor Documentation

single_value_value_ranget()

single_value_value_ranget::single_value_value_ranget ( const abstract_object_pointert &  val )

inlineexplicit

Definition at line 89 of file abstract_value_object.cpp.

Member Function Documentation

advance_to_next()

bool single_value_value_ranget::advance_to_next ( )

inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 98 of file abstract_value_object.cpp.

current()

const abstract_object_pointert& single_value_value_ranget::current ( ) const

inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 94 of file abstract_value_object.cpp.

reset()

value_range_implementation_ptrt single_value_value_ranget::reset ( ) const

inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 104 of file abstract_value_object.cpp.

Member Data Documentation

available

bool single_value_value_ranget::available

private

Definition at line 111 of file abstract_value_object.cpp.

value

const abstract_object_pointert single_value_value_ranget::value

private

Definition at line 110 of file abstract_value_object.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/variable-sensitivity/abstract_value_object.cpp