value_range_implementationt Class Reference

#include <abstract_value_object.h>

Inheritance diagram for value_range_implementationt:

Public Member Functions
virtual	~value_range_implementationt ()=default
virtual value_range_implementation_ptrt	reset () const =0
virtual const abstract_object_pointert &	current () const =0
virtual bool	advance_to_next ()=0

Detailed Description

Definition at line 133 of file abstract_value_object.h.

Constructor & Destructor Documentation

~value_range_implementationt()

virtual value_range_implementationt::~value_range_implementationt ( )

virtualdefault

Member Function Documentation

advance_to_next()

virtual bool value_range_implementationt::advance_to_next ( )

pure virtual

Implemented in value_set_value_ranget, empty_value_ranget, and single_value_value_ranget.

current()

virtual const abstract_object_pointert& value_range_implementationt::current ( ) const

pure virtual

Implemented in value_set_value_ranget, empty_value_ranget, and single_value_value_ranget.

reset()

virtual value_range_implementation_ptrt value_range_implementationt::reset ( ) const

pure virtual

Implemented in value_set_value_ranget, empty_value_ranget, and single_value_value_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