cprover
Loading...
Searching...
No Matches
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 exprtcurrent () 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< exprtvalues
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()

value_set_index_ranget::value_set_index_ranget ( const std::set< exprt > & vals)
inlineexplicit

Definition at line 31 of file value_set_abstract_object.cpp.

Member Function Documentation

◆ advance_to_next()

bool value_set_index_ranget::advance_to_next ( )
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 41 of file value_set_abstract_object.cpp.

◆ current()

const exprt & value_set_index_ranget::current ( ) const
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 37 of file value_set_abstract_object.cpp.

◆ reset()

index_range_implementation_ptrt value_set_index_ranget::reset ( ) const
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 50 of file value_set_abstract_object.cpp.

Member Data Documentation

◆ cur

exprt value_set_index_ranget::cur
private

Definition at line 57 of file value_set_abstract_object.cpp.

◆ next

std::set<exprt>::const_iterator value_set_index_ranget::next
private

Definition at line 58 of file value_set_abstract_object.cpp.

◆ values

std::set<exprt> value_set_index_ranget::values
private

Definition at line 56 of file value_set_abstract_object.cpp.


The documentation for this class was generated from the following file: