value_range_iteratort Class Reference

#include <abstract_value_object.h>

Collaboration diagram for value_range_iteratort:

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

Private Member Functions
	value_range_iteratort ()
	value_range_iteratort (value_range_implementation_ptrt &&r)

Private Attributes
value_range_implementation_ptrt	range
bool	active

Friends
class	value_ranget

Detailed Description

Definition at line 144 of file abstract_value_object.h.

Constructor & Destructor Documentation

value_range_iteratort() [1/4]

value_range_iteratort::value_range_iteratort ( value_range_iteratort &&  rhs )

inline

Definition at line 166 of file abstract_value_object.h.

value_range_iteratort() [2/4]

value_range_iteratort::value_range_iteratort ( const value_range_iteratort &  )

delete

~value_range_iteratort()

value_range_iteratort::~value_range_iteratort ( )

default

value_range_iteratort() [3/4]

value_range_iteratort::value_range_iteratort ( )

inlineprivate

Definition at line 174 of file abstract_value_object.h.

value_range_iteratort() [4/4]

value_range_iteratort::value_range_iteratort ( value_range_implementation_ptrt &&  r )

inlineexplicitprivate

Definition at line 177 of file abstract_value_object.h.

Member Function Documentation

operator!=()

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

inline

Definition at line 161 of file abstract_value_object.h.

operator*()

const abstract_object_pointert& value_range_iteratort::operator* ( ) const

inline

Definition at line 147 of file abstract_value_object.h.

operator++()

void value_range_iteratort::operator++ ( )

inline

Definition at line 151 of file abstract_value_object.h.

operator==()

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

inline

Definition at line 155 of file abstract_value_object.h.

Friends And Related Function Documentation

value_ranget

friend class value_ranget

friend

Definition at line 186 of file abstract_value_object.h.

Member Data Documentation

active

bool value_range_iteratort::active

private

Definition at line 184 of file abstract_value_object.h.

range

value_range_implementation_ptrt value_range_iteratort::range

private

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