index_range_implementationt Class Reference

#include <abstract_value_object.h>

Inheritance diagram for index_range_implementationt:

Public Member Functions
virtual	~index_range_implementationt ()=default
virtual index_range_implementation_ptrt	reset () const =0
virtual const exprt &	current () const =0
virtual bool	advance_to_next ()=0

Detailed Description

Definition at line 28 of file abstract_value_object.h.

Constructor & Destructor Documentation

~index_range_implementationt()

virtual index_range_implementationt::~index_range_implementationt ( )

virtualdefault

Member Function Documentation

advance_to_next()

virtual bool index_range_implementationt::advance_to_next ( )

pure virtual

Implemented in value_set_index_ranget, interval_index_ranget, single_value_index_ranget, and empty_index_ranget.

current()

virtual const exprt& index_range_implementationt::current ( ) const

pure virtual

Implemented in value_set_index_ranget, interval_index_ranget, single_value_index_ranget, and empty_index_ranget.

reset()

virtual index_range_implementation_ptrt index_range_implementationt::reset ( ) const

pure virtual

Implemented in value_set_index_ranget, interval_index_ranget, constant_index_ranget, indeterminate_index_ranget, and empty_index_ranget.

---

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

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