cprover
|
Public Member Functions | |
value_set_index_ranget (const std::set< exprt > &vals) | |
const exprt & | current () const override |
bool | advance_to_next () override |
index_range_implementation_ptrt | reset () const override |
![]() | |
virtual | ~index_range_implementationt ()=default |
Private Attributes | |
std::set< exprt > | values |
exprt | cur |
std::set< exprt >::const_iterator | next |
Definition at line 22 of file value_set_abstract_object.cpp.
|
inlineexplicit |
Definition at line 25 of file value_set_abstract_object.cpp.
|
inlineoverridevirtual |
Implements index_range_implementationt.
Definition at line 35 of file value_set_abstract_object.cpp.
|
inlineoverridevirtual |
Implements index_range_implementationt.
Definition at line 31 of file value_set_abstract_object.cpp.
|
inlineoverridevirtual |
Implements index_range_implementationt.
Definition at line 44 of file value_set_abstract_object.cpp.
|
private |
Definition at line 51 of file value_set_abstract_object.cpp.
|
private |
Definition at line 52 of file value_set_abstract_object.cpp.
|
private |
Definition at line 50 of file value_set_abstract_object.cpp.