index_range_iteratort Class Reference

#include <abstract_value_object.h>

Collaboration diagram for index_range_iteratort:

Public Member Functions
const exprt &	operator* () const
void	operator++ ()
bool	operator== (const index_range_iteratort &other) const
bool	operator!= (const index_range_iteratort &other) const
	index_range_iteratort (index_range_iteratort &&rhs)
	index_range_iteratort (const index_range_iteratort &)=delete
	~index_range_iteratort ()=default

Private Member Functions
	index_range_iteratort ()
	index_range_iteratort (index_range_implementation_ptrt &&r)

Private Attributes
index_range_implementation_ptrt	range
bool	active

Friends
class	index_ranget

Detailed Description

Definition at line 39 of file abstract_value_object.h.

Constructor & Destructor Documentation

index_range_iteratort() [1/4]

index_range_iteratort::index_range_iteratort ( index_range_iteratort &&  rhs )

inline

Definition at line 61 of file abstract_value_object.h.

index_range_iteratort() [2/4]

index_range_iteratort::index_range_iteratort ( const index_range_iteratort &  )

delete

~index_range_iteratort()

index_range_iteratort::~index_range_iteratort ( )

default

index_range_iteratort() [3/4]

index_range_iteratort::index_range_iteratort ( )

inlineprivate

Definition at line 69 of file abstract_value_object.h.

index_range_iteratort() [4/4]

index_range_iteratort::index_range_iteratort ( index_range_implementation_ptrt &&  r )

inlineexplicitprivate

Definition at line 72 of file abstract_value_object.h.

Member Function Documentation

operator!=()

bool index_range_iteratort::operator!= ( const index_range_iteratort &  other ) const

inline

Definition at line 56 of file abstract_value_object.h.

operator*()

const exprt& index_range_iteratort::operator* ( ) const

inline

Definition at line 42 of file abstract_value_object.h.

operator++()

void index_range_iteratort::operator++ ( )

inline

Definition at line 46 of file abstract_value_object.h.

operator==()

bool index_range_iteratort::operator== ( const index_range_iteratort &  other ) const

inline

Definition at line 50 of file abstract_value_object.h.

Friends And Related Function Documentation

index_ranget

friend class index_ranget

friend

Definition at line 81 of file abstract_value_object.h.

Member Data Documentation

active

bool index_range_iteratort::active

private

Definition at line 79 of file abstract_value_object.h.

range

index_range_implementation_ptrt index_range_iteratort::range

private

Definition at line 78 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