cprover
|
Public Member Functions | |
value_set_index_ranget (const abstract_object_sett &vals) | |
const exprt & | current () const override |
bool | advance_to_next () override |
![]() | |
virtual | ~index_ranget ()=default |
Private Attributes | |
const abstract_object_sett & | values |
exprt | cur |
abstract_object_sett::const_iterator | next |
Definition at line 19 of file value_set_abstract_object.cpp.
|
inlineexplicit |
Definition at line 22 of file value_set_abstract_object.cpp.
|
inlineoverridevirtual |
Implements index_ranget.
Definition at line 32 of file value_set_abstract_object.cpp.
|
inlineoverridevirtual |
Implements index_ranget.
Definition at line 28 of file value_set_abstract_object.cpp.
|
private |
Definition at line 44 of file value_set_abstract_object.cpp.
|
private |
Definition at line 45 of file value_set_abstract_object.cpp.
|
private |
Definition at line 43 of file value_set_abstract_object.cpp.