CBMC
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
value_set_value_ranget Class Reference
+ Inheritance diagram for value_set_value_ranget:
[フレーム]
[legend]
+ Collaboration diagram for value_set_value_ranget:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /