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