CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Private Attributes | List of all members
value_ranget Class Reference

#include <abstract_value_object.h>

+ Collaboration diagram for value_ranget:

Public Types

 

Public Member Functions

 
 
 
 
 
 

Private Attributes

 

Detailed Description

Definition at line 189 of file abstract_value_object.h.

Member Typedef Documentation

◆  value_type

Definition at line 192 of file abstract_value_object.h.

Constructor & Destructor Documentation

◆  value_ranget() [1/3]

value_ranget::value_ranget ( value_range_implementation_ptrt  r )
inlineexplicit

Definition at line 194 of file abstract_value_object.h.

◆  value_ranget() [2/3]

value_ranget::value_ranget ( value_ranget &&  rhs )
inline

Definition at line 197 of file abstract_value_object.h.

◆  value_ranget() [3/3]

value_ranget::value_ranget ( const value_ranget &  )
delete

◆  ~value_ranget()

value_ranget::~value_ranget ( )
default

Member Function Documentation

◆  begin()

value_range_iteratort value_ranget::begin ( ) const
inline

Definition at line 203 of file abstract_value_object.h.

◆  end()

value_range_iteratort value_ranget::end ( ) const
inline

Definition at line 207 of file abstract_value_object.h.

Member Data Documentation

◆  range

value_range_implementation_ptrt value_ranget::range
private

Definition at line 213 of file abstract_value_object.h.


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

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