cprover
Loading...
Searching...
No Matches
empty_index_ranget Class Reference
Inheritance diagram for empty_index_ranget:
Collaboration diagram for empty_index_ranget:

Public Member Functions

const exprtcurrent () 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: