CBMC
Public Member Functions | Private Attributes | List of all members
value_set_value_ranget Class Reference
+ Inheritance diagram for value_set_value_ranget:
+ Collaboration diagram for value_set_value_ranget:

Public Member Functions

 value_set_value_ranget (const abstract_object_sett &vals)
 
const abstract_object_pointert & current () const override
 
bool advance_to_next () override
 
value_range_implementation_ptrt reset () const override
 
- Public Member Functions inherited from value_range_implementationt
virtual ~value_range_implementationt ()=default
 

Private Attributes

const abstract_object_sett & values
 
abstract_object_pointert cur
 
abstract_object_sett::const_iterator next
 

Detailed Description

Definition at line 70 of file value_set_abstract_object.cpp.

Constructor & Destructor Documentation

◆ value_set_value_ranget()

value_set_value_ranget::value_set_value_ranget ( const abstract_object_sett &  vals)
inlineexplicit

Definition at line 73 of file value_set_abstract_object.cpp.

Member Function Documentation

◆ advance_to_next()

bool value_set_value_ranget::advance_to_next ( )
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 83 of file value_set_abstract_object.cpp.

◆ current()

const abstract_object_pointert& value_set_value_ranget::current ( ) const
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 79 of file value_set_abstract_object.cpp.

◆ reset()

value_range_implementation_ptrt value_set_value_ranget::reset ( ) const
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 92 of file value_set_abstract_object.cpp.

Member Data Documentation

◆ cur

abstract_object_pointert value_set_value_ranget::cur
private

Definition at line 99 of file value_set_abstract_object.cpp.

◆ next

abstract_object_sett::const_iterator value_set_value_ranget::next
private

Definition at line 100 of file value_set_abstract_object.cpp.

◆ values

const abstract_object_sett& value_set_value_ranget::values
private

Definition at line 98 of file value_set_abstract_object.cpp.

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