cprover
|
Public Member Functions | |
interval_index_ranget (const constant_interval_exprt &interval, const namespacet &n) | |
const exprt & | current () const override |
bool | advance_to_next () override |
![]() | |
virtual | ~index_ranget ()=default |
Static Private Member Functions | |
static exprt | next_element (const exprt &cur, const namespacet &ns) |
Private Attributes | |
exprt | index |
exprt | next |
exprt | upper |
const namespacet & | ns |
Definition at line 20 of file interval_abstract_value.cpp.
|
inline |
Definition at line 23 of file interval_abstract_value.cpp.
|
inlineoverridevirtual |
Implements index_ranget.
Definition at line 37 of file interval_abstract_value.cpp.
|
inlineoverridevirtual |
Implements index_ranget.
Definition at line 33 of file interval_abstract_value.cpp.
|
inlinestaticprivate |
Definition at line 46 of file interval_abstract_value.cpp.
|
private |
Definition at line 51 of file interval_abstract_value.cpp.
|
private |
Definition at line 52 of file interval_abstract_value.cpp.
|
private |
Definition at line 54 of file interval_abstract_value.cpp.
|
private |
Definition at line 53 of file interval_abstract_value.cpp.