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

• analyses/variable-sensitivity/constant_abstract_value.cpp