cprover
Loading...
Searching...
No Matches
index_ranget Class Reference

#include <abstract_value_object.h>

Collaboration diagram for index_ranget:

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: