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 ( )

inline

Definition at line 49 of file abstract_value_object.cpp.

index_range_implementation_ptrt indeterminate_index_ranget::reset ( ) const

inlineoverridevirtual

Definition at line 53 of file abstract_value_object.cpp.

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

/home/runner/work/cbmc/cbmc/src/analyses/variable-sensitivity/abstract_value_object.cpp