cprover
|
#include <abstract_value_object.h>
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 |
Definition at line 38 of file abstract_value_object.h.
|
inline |
Definition at line 60 of file abstract_value_object.h.
|
delete |
|
default |
|
inlineprivate |
Definition at line 68 of file abstract_value_object.h.
|
inlineexplicitprivate |
Definition at line 71 of file abstract_value_object.h.
|
inline |
Definition at line 55 of file abstract_value_object.h.
|
inline |
Definition at line 41 of file abstract_value_object.h.
|
inline |
Definition at line 45 of file abstract_value_object.h.
|
inline |
Definition at line 49 of file abstract_value_object.h.
|
friend |
Definition at line 80 of file abstract_value_object.h.
|
private |
Definition at line 78 of file abstract_value_object.h.
|
private |
Definition at line 77 of file abstract_value_object.h.