cprover
indeterminate_index_ranget Class Reference
+ Inheritance diagram for indeterminate_index_ranget:
+ Collaboration diagram for indeterminate_index_ranget:

Public Member Functions

 indeterminate_index_ranget ()
 
- Public Member Functions inherited from single_value_index_ranget
const exprtcurrent () const override
 
bool advance_to_next () override
 
- Public Member Functions inherited from index_ranget
virtual ~index_ranget ()=default
 

Additional Inherited Members

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

Detailed Description

Definition at line 27 of file abstract_value_object.cpp.

Constructor & Destructor Documentation

◆ indeterminate_index_ranget()

indeterminate_index_ranget::indeterminate_index_ranget ( )
inline

Definition at line 30 of file abstract_value_object.cpp.


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