value_ranget Class Reference

#include <abstract_value_object.h>

Collaboration diagram for value_ranget:

Public Types
using	value_type = abstract_object_pointert

Public Member Functions
	value_ranget (value_range_implementation_ptrt r)
	value_ranget (value_ranget &&rhs)
	value_ranget (const value_ranget &)=delete
	~value_ranget ()=default
value_range_iteratort	begin () const
value_range_iteratort	end () const

Private Attributes
value_range_implementation_ptrt	range

Detailed Description

Definition at line 189 of file abstract_value_object.h.

Member Typedef Documentation

value_type

using value_ranget::value_type = abstract_object_pointert

Definition at line 192 of file abstract_value_object.h.

Constructor & Destructor Documentation

value_ranget() [1/3]

value_ranget::value_ranget ( value_range_implementation_ptrt  r )

inlineexplicit

Definition at line 194 of file abstract_value_object.h.

value_ranget() [2/3]

value_ranget::value_ranget ( value_ranget &&  rhs )

inline

Definition at line 197 of file abstract_value_object.h.

value_ranget() [3/3]

value_ranget::value_ranget ( const value_ranget &  )

delete

~value_ranget()

value_ranget::~value_ranget ( )

default

Member Function Documentation

begin()

value_range_iteratort value_ranget::begin ( ) const

inline

Definition at line 203 of file abstract_value_object.h.

end()

value_range_iteratort value_ranget::end ( ) const

inline

Definition at line 207 of file abstract_value_object.h.

Member Data Documentation

range

value_range_implementation_ptrt value_ranget::range

private

Definition at line 213 of file abstract_value_object.h.

---

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

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