cprover
|
Public Member Functions | |
constant_index_ranget (const exprt &val) | |
![]() | |
const exprt & | current () const override |
bool | advance_to_next () override |
![]() | |
virtual | ~index_ranget ()=default |
Additional Inherited Members | |
![]() | |
single_value_index_ranget (const exprt &val) | |
Definition at line 22 of file constant_abstract_value.cpp.
|
inlineexplicit |
Definition at line 25 of file constant_abstract_value.cpp.