cprover
index_ranget Class Referenceabstract

#include <abstract_value_object.h>

+ Inheritance diagram for index_ranget:

Public Member Functions

virtual ~index_ranget ()=default
 
virtual const exprtcurrent () const =0
 
virtual bool advance_to_next ()=0
 

Detailed Description

Definition at line 21 of file abstract_value_object.h.

Constructor & Destructor Documentation

◆ ~index_ranget()

virtual index_ranget::~index_ranget ( )
virtualdefault

Member Function Documentation

◆ advance_to_next()

virtual bool index_ranget::advance_to_next ( )
pure virtual

◆ current()

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

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