cprover
|
Public Member Functions | |
single_value_value_ranget (const abstract_object_pointert &val) | |
const abstract_object_pointert & | current () const override |
bool | advance_to_next () override |
value_range_implementation_ptrt | reset () const override |
![]() | |
virtual | ~value_range_implementationt ()=default |
Private Attributes | |
const abstract_object_pointert | value |
bool | available |
Definition at line 87 of file abstract_value_object.cpp.
|
inlineexplicit |
Definition at line 90 of file abstract_value_object.cpp.
|
inlineoverridevirtual |
Implements value_range_implementationt.
Definition at line 99 of file abstract_value_object.cpp.
|
inlineoverridevirtual |
Implements value_range_implementationt.
Definition at line 95 of file abstract_value_object.cpp.
|
inlineoverridevirtual |
Implements value_range_implementationt.
Definition at line 105 of file abstract_value_object.cpp.
|
private |
Definition at line 112 of file abstract_value_object.cpp.
|
private |
Definition at line 111 of file abstract_value_object.cpp.