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:
[フレーム]
[legend]

Public Types

using  value_type = abstract_object_pointert
 

Public Member Functions

  value_ranget (value_range_implementation_ptrt r)
 
  value_ranget (value_ranget &&rhs)
 
  value_ranget (const value_ranget &)=delete
 
  ~value_ranget ()=default
 
value_range_iteratort  begin () const
 
value_range_iteratort  end () const
 

Private Attributes

value_range_implementation_ptrt  range
 

Detailed Description

Definition at line 189 of file abstract_value_object.h.

Member Typedef Documentation

◆  value_type

using value_ranget::value_type = abstract_object_pointert

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 によって変換されたページ (->オリジナル) /