cprover
|
#include <abstract_value_object.h>
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 |
Definition at line 143 of file abstract_value_object.h.
|
inline |
Definition at line 165 of file abstract_value_object.h.
|
delete |
|
default |
|
inlineprivate |
Definition at line 173 of file abstract_value_object.h.
|
inlineexplicitprivate |
Definition at line 176 of file abstract_value_object.h.
|
inline |
Definition at line 160 of file abstract_value_object.h.
|
inline |
Definition at line 146 of file abstract_value_object.h.
|
inline |
Definition at line 150 of file abstract_value_object.h.
|
inline |
Definition at line 154 of file abstract_value_object.h.
|
friend |
Definition at line 185 of file abstract_value_object.h.
|
private |
Definition at line 183 of file abstract_value_object.h.
|
private |
Definition at line 182 of file abstract_value_object.h.