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

#include <abstract_value_object.h>

+ Collaboration diagram for index_ranget:
[フレーム]
[legend]

Public Member Functions

  index_ranget (index_range_implementation_ptrt r)
 
  index_ranget (index_ranget &&rhs)
 
  index_ranget (const index_ranget &)=delete
 
  ~index_ranget ()=default
 
index_range_iteratort  begin () const
 
index_range_iteratort  end () const
 

Private Attributes

index_range_implementation_ptrt  range
 

Detailed Description

Definition at line 84 of file abstract_value_object.h.

Constructor & Destructor Documentation

◆  index_ranget() [1/3]

index_ranget::index_ranget ( index_range_implementation_ptrt  r )
inlineexplicit

Definition at line 87 of file abstract_value_object.h.

◆  index_ranget() [2/3]

index_ranget::index_ranget ( index_ranget &&  rhs )
inline

Definition at line 90 of file abstract_value_object.h.

◆  index_ranget() [3/3]

index_ranget::index_ranget ( const index_ranget &  )
delete

◆  ~index_ranget()

index_ranget::~index_ranget ( )
default

Member Function Documentation

◆  begin()

index_range_iteratort index_ranget::begin ( ) const
inline

Definition at line 96 of file abstract_value_object.h.

◆  end()

index_range_iteratort index_ranget::end ( ) const
inline

Definition at line 100 of file abstract_value_object.h.

Member Data Documentation

◆  range

index_range_implementation_ptrt index_ranget::range
private

Definition at line 106 of file abstract_value_object.h.

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

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