value_set_index_ranget Class Reference

Inheritance diagram for value_set_index_ranget:

Collaboration diagram for value_set_index_ranget:

Public Member Functions
	value_set_index_ranget (const std::set< exprt > &vals)
const exprt &	current () const override
bool	advance_to_next () override
index_range_implementation_ptrt	reset () const override
Public Member Functions inherited from index_range_implementationt
virtual	~index_range_implementationt ()=default

Private Attributes
std::set< exprt >	values
exprt	cur
std::set< exprt >::const_iterator	next

Detailed Description

Definition at line 28 of file value_set_abstract_object.cpp.

Constructor & Destructor Documentation

value_set_index_ranget()

value_set_index_ranget::value_set_index_ranget ( const std::set< exprt > &  vals )

inlineexplicit

Definition at line 31 of file value_set_abstract_object.cpp.

Member Function Documentation

advance_to_next()

bool value_set_index_ranget::advance_to_next ( )

inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 41 of file value_set_abstract_object.cpp.

current()

const exprt & value_set_index_ranget::current ( ) const

inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 37 of file value_set_abstract_object.cpp.

reset()

index_range_implementation_ptrt value_set_index_ranget::reset ( ) const

inlineoverridevirtual

Implements index_range_implementationt.

Definition at line 50 of file value_set_abstract_object.cpp.

Member Data Documentation

cur

exprt value_set_index_ranget::cur

private

Definition at line 57 of file value_set_abstract_object.cpp.

next

std::set<exprt>::const_iterator value_set_index_ranget::next

private

Definition at line 58 of file value_set_abstract_object.cpp.

values

std::set<exprt> value_set_index_ranget::values

private

Definition at line 56 of file value_set_abstract_object.cpp.

---

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

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