index_ranget Class Reference

#include <abstract_value_object.h>

Collaboration diagram for index_ranget:

Public Member Functions
	index_ranget (index_range_implementation_ptrt r)
	index_ranget (index_ranget &&rhs)
	index_ranget (const index_ranget &)=delete
	~index_ranget ()=default
index_range_iteratort	begin () const
index_range_iteratort	end () const

Private Attributes
index_range_implementation_ptrt	range

Detailed Description

Definition at line 84 of file abstract_value_object.h.

Constructor & Destructor Documentation

index_ranget() [1/3]

index_ranget::index_ranget ( index_range_implementation_ptrt  r )

inlineexplicit

Definition at line 87 of file abstract_value_object.h.

index_ranget() [2/3]

index_ranget::index_ranget ( index_ranget &&  rhs )

inline

Definition at line 90 of file abstract_value_object.h.

index_ranget() [3/3]

index_ranget::index_ranget ( const index_ranget &  )

delete

~index_ranget()

index_ranget::~index_ranget ( )

default

Member Function Documentation

begin()

index_range_iteratort index_ranget::begin ( ) const

inline

Definition at line 96 of file abstract_value_object.h.

end()

index_range_iteratort index_ranget::end ( ) const

inline

Definition at line 100 of file abstract_value_object.h.

Member Data Documentation

range

index_range_implementation_ptrt index_ranget::range

private

Definition at line 106 of file abstract_value_object.h.

---

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.h