CBMC
Public Member Functions | Private Attributes | List of all members
empty_index_ranget Class Reference
+ Inheritance diagram for empty_index_ranget:
+ Collaboration diagram for empty_index_ranget:

Public Member Functions

const exprt & current () const override
 
bool advance_to_next () override
 
index_range_implementation_ptrt reset () const override
 
- Public Member Functions inherited from index_range_implementationt
virtual ~index_range_implementationt ()=default
 

Private Attributes

exprt nil = nil_exprt()
 

Detailed Description

Definition at line 26 of file abstract_value_object.cpp.

Member Function Documentation

◆ advance_to_next()

bool empty_index_ranget::advance_to_next ( )
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 33 of file abstract_value_object.cpp.

◆ current()

const exprt& empty_index_ranget::current ( ) const
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 29 of file abstract_value_object.cpp.

◆ reset()

index_range_implementation_ptrt empty_index_ranget::reset ( ) const
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 37 of file abstract_value_object.cpp.

Member Data Documentation

◆ nil

exprt empty_index_ranget::nil = nil_exprt()
private

Definition at line 43 of file abstract_value_object.cpp.

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