CBMC
index_range_implementationt Class Referenceabstract

#include <abstract_value_object.h>

+ Inheritance diagram for index_range_implementationt:

Public Member Functions

virtual ~index_range_implementationt ()=default
 
virtual index_range_implementation_ptrt reset () const =0
 
virtual const exprtcurrent () const =0
 
virtual bool advance_to_next ()=0
 

Detailed Description

Definition at line 28 of file abstract_value_object.h.

Constructor & Destructor Documentation

◆ ~index_range_implementationt()

virtual index_range_implementationt::~index_range_implementationt ( )
virtualdefault

Member Function Documentation

◆ advance_to_next()

virtual bool index_range_implementationt::advance_to_next ( )
pure virtual

◆ current()

virtual const exprt& index_range_implementationt::current ( ) const
pure virtual

◆ reset()

virtual index_range_implementation_ptrt index_range_implementationt::reset ( ) const
pure virtual

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