cprover
value_setst Class Referenceabstract

#include <value_sets.h>

+ Inheritance diagram for value_setst:

Public Types

typedef std::list< exprtvaluest
 

Public Member Functions

 value_setst ()
 
virtual void get_values (const irep_idt &function_id, goto_programt::const_targett l, const exprt &expr, valuest &dest)=0
 
virtual std::vector< exprtget_values (const irep_idt &function_id, goto_programt::const_targett l, const exprt &expr)=0
 
virtual ~value_setst ()
 

Detailed Description

Definition at line 21 of file value_sets.h.

Member Typedef Documentation

◆ valuest

typedef std::list<exprt> value_setst::valuest

Definition at line 28 of file value_sets.h.

Constructor & Destructor Documentation

◆ value_setst()

value_setst::value_setst ( )
inline

Definition at line 24 of file value_sets.h.

◆ ~value_setst()

virtual value_setst::~value_setst ( )
inlinevirtual

Definition at line 44 of file value_sets.h.

Member Function Documentation

◆ get_values() [1/2]

virtual void value_setst::get_values ( const irep_idt function_id,
goto_programt::const_targett  l,
const exprt expr,
valuest dest 
)
pure virtual
Deprecated:
SINCE(2019, 05, 22, "use vector returning version instead")

Implemented in value_set_analysis_fivrnst, value_set_analysis_fivrt, value_set_analysis_templatet< VSDT >, and value_set_analysis_fit.

◆ get_values() [2/2]

virtual std::vector<exprt> value_setst::get_values ( const irep_idt function_id,
goto_programt::const_targett  l,
const exprt expr 
)
pure virtual

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