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

Public Member Functions

 constant_index_ranget (const exprt &val)
index_range_implementation_ptrt reset () const override
Public Member Functions inherited from single_value_index_ranget
const exprtcurrent () const override
bool advance_to_next () override
Public Member Functions inherited from index_range_implementationt
virtual ~index_range_implementationt ()=default

Additional Inherited Members

Protected Member Functions inherited from single_value_index_ranget
 single_value_index_ranget (const exprt &val)
Protected Attributes inherited from single_value_index_ranget
const exprt value

Detailed Description

Definition at line 20 of file constant_abstract_value.cpp.

Constructor & Destructor Documentation

◆ constant_index_ranget()

constant_index_ranget::constant_index_ranget ( const exprt & val)
inlineexplicit

Definition at line 23 of file constant_abstract_value.cpp.

Member Function Documentation

◆ reset()

index_range_implementation_ptrt constant_index_ranget::reset ( ) const
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 28 of file constant_abstract_value.cpp.


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