cprover
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 abstract_object_sett &vals)
 
const exprtcurrent () const override
 
bool advance_to_next () override
 
- Public Member Functions inherited from index_ranget
virtual ~index_ranget ()=default
 

Private Attributes

const abstract_object_settvalues
 
exprt cur
 
abstract_object_sett::const_iterator next
 

Detailed Description

Definition at line 19 of file value_set_abstract_object.cpp.

Constructor & Destructor Documentation

◆ value_set_index_ranget()

value_set_index_ranget::value_set_index_ranget ( const abstract_object_sett vals)
inlineexplicit

Definition at line 22 of file value_set_abstract_object.cpp.

Member Function Documentation

◆ advance_to_next()

bool value_set_index_ranget::advance_to_next ( )
inlineoverridevirtual

Implements index_ranget.

Definition at line 32 of file value_set_abstract_object.cpp.

◆ current()

const exprt& value_set_index_ranget::current ( ) const
inlineoverridevirtual

Implements index_ranget.

Definition at line 28 of file value_set_abstract_object.cpp.

Member Data Documentation

◆ cur

exprt value_set_index_ranget::cur
private

Definition at line 44 of file value_set_abstract_object.cpp.

◆ next

abstract_object_sett::const_iterator value_set_index_ranget::next
private

Definition at line 45 of file value_set_abstract_object.cpp.

◆ values

const abstract_object_sett& value_set_index_ranget::values
private

Definition at line 43 of file value_set_abstract_object.cpp.


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