value_set_index_ranget Class Reference
Inheritance diagram for value_set_index_ranget: Collaboration diagram for value_set_index_ranget: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 |
| Public Member Functions inherited from index_range_implementationt | |
| virtual | ~index_range_implementationt ()=default |
Private Attributes | |
| std::set< exprt > | values |
| exprt | cur |
| std::set< exprt >::const_iterator | next |
Detailed Description
Definition at line 28 of file value_set_abstract_object.cpp.
Constructor & Destructor Documentation
◆ value_set_index_ranget()
|
inlineexplicit |
Definition at line 31 of file value_set_abstract_object.cpp.
Member Function Documentation
◆ advance_to_next()
|
inlineoverridevirtual |
Implements index_range_implementationt.
Definition at line 41 of file value_set_abstract_object.cpp.
◆ current()
|
inlineoverridevirtual |
Implements index_range_implementationt.
Definition at line 37 of file value_set_abstract_object.cpp.
◆ reset()
|
inlineoverridevirtual |
Implements index_range_implementationt.
Definition at line 50 of file value_set_abstract_object.cpp.
Member Data Documentation
◆ cur
|
private |
Definition at line 57 of file value_set_abstract_object.cpp.
◆ next
|
private |
Definition at line 58 of file value_set_abstract_object.cpp.
◆ values
|
private |
Definition at line 56 of file value_set_abstract_object.cpp.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/variable-sensitivity/value_set_abstract_object.cpp
