CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
index_range_implementationt Class Referenceabstract

#include <abstract_value_object.h>

+ Inheritance diagram for index_range_implementationt:
[フレーム]
[legend]

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 empty_index_ranget, single_value_index_ranget, interval_index_ranget, and value_set_index_ranget.

◆  current()

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

Implemented in empty_index_ranget, single_value_index_ranget, interval_index_ranget, and value_set_index_ranget.

◆  reset()

virtual index_range_implementation_ptrt index_range_implementationt::reset ( ) const
pure virtual

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

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

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