CBMC
Loading...
Searching...
No Matches
Public Member Functions | List of all members
value_range_implementationt Class Referenceabstract

#include <abstract_value_object.h>

+ Inheritance diagram for value_range_implementationt:
[フレーム]
[legend]

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 single_value_value_ranget, empty_value_ranget, and value_set_value_ranget.

◆  current()

virtual const abstract_object_pointert & value_range_implementationt::current ( ) const
pure virtual

Implemented in single_value_value_ranget, empty_value_ranget, and value_set_value_ranget.

◆  reset()

virtual value_range_implementation_ptrt value_range_implementationt::reset ( ) const
pure virtual

Implemented in single_value_value_ranget, empty_value_ranget, and value_set_value_ranget.

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

AltStyle によって変換されたページ (->オリジナル) /