cprover
value_range_iteratort Class Reference

#include <abstract_value_object.h>

+ Collaboration diagram for value_range_iteratort:

Public Member Functions

const abstract_object_pointertoperator* () 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 143 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 165 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 173 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 176 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 160 of file abstract_value_object.h.

◆ operator*()

const abstract_object_pointert& value_range_iteratort::operator* ( ) const
inline

Definition at line 146 of file abstract_value_object.h.

◆ operator++()

void value_range_iteratort::operator++ ( )
inline

Definition at line 150 of file abstract_value_object.h.

◆ operator==()

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

Definition at line 154 of file abstract_value_object.h.

Friends And Related Function Documentation

◆ value_ranget

friend class value_ranget
friend

Definition at line 185 of file abstract_value_object.h.

Member Data Documentation

◆ active

bool value_range_iteratort::active
private

Definition at line 183 of file abstract_value_object.h.

◆ range

value_range_implementation_ptrt value_range_iteratort::range
private

Definition at line 182 of file abstract_value_object.h.


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