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

Public Member Functions

  single_value_value_ranget (const abstract_object_pointert &val)
 
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_pointert  value
 
bool  available
 

Detailed Description

Definition at line 86 of file abstract_value_object.cpp.

Constructor & Destructor Documentation

◆  single_value_value_ranget()

single_value_value_ranget::single_value_value_ranget ( const abstract_object_pointert &  val )
inlineexplicit

Definition at line 89 of file abstract_value_object.cpp.

Member Function Documentation

◆  advance_to_next()

bool single_value_value_ranget::advance_to_next ( )
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 98 of file abstract_value_object.cpp.

◆  current()

const abstract_object_pointert & single_value_value_ranget::current ( ) const
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 94 of file abstract_value_object.cpp.

◆  reset()

value_range_implementation_ptrt single_value_value_ranget::reset ( ) const
inlineoverridevirtual

Implements value_range_implementationt.

Definition at line 104 of file abstract_value_object.cpp.

Member Data Documentation

◆  available

bool single_value_value_ranget::available
private

Definition at line 111 of file abstract_value_object.cpp.

◆  value

const abstract_object_pointert single_value_value_ranget::value
private

Definition at line 110 of file abstract_value_object.cpp.

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

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