CBMC
Public Member Functions | List of all members
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 exprt & current () 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

Implemented in single_value_index_ranget, interval_index_ranget, value_set_index_ranget, and empty_index_ranget.

◆ current()

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

Implemented in single_value_index_ranget, interval_index_ranget, value_set_index_ranget, and empty_index_ranget.

◆ reset()

virtual index_range_implementation_ptrt index_range_implementationt::reset ( ) const
pure virtual

Implemented in indeterminate_index_ranget, interval_index_ranget, value_set_index_ranget, empty_index_ranget, and constant_index_ranget.

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