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

Public Member Functions

 indeterminate_index_ranget ()
 
index_range_implementation_ptrt reset () const override
 
- Public Member Functions inherited from single_value_index_ranget
const exprt & current () 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 46 of file abstract_value_object.cpp.

Constructor & Destructor Documentation

◆ indeterminate_index_ranget()

indeterminate_index_ranget::indeterminate_index_ranget ( )
inline

Definition at line 49 of file abstract_value_object.cpp.

Member Function Documentation

◆ reset()

index_range_implementation_ptrt indeterminate_index_ranget::reset ( ) const
inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 53 of file abstract_value_object.cpp.

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