cprover
|
Public Member Functions | |
const exprt & | current () const override |
bool | advance_to_next () override |
![]() | |
virtual | ~index_ranget ()=default |
Private Attributes | |
exprt | nil = nil_exprt() |
Definition at line 11 of file abstract_value_object.cpp.
|
inlineoverridevirtual |
Implements index_ranget.
Definition at line 18 of file abstract_value_object.cpp.
|
inlineoverridevirtual |
Implements index_ranget.
Definition at line 14 of file abstract_value_object.cpp.
Definition at line 24 of file abstract_value_object.cpp.