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 ~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 ( )

Definition at line 24 of file value_sets.h.

◆ ~value_setst()

virtual value_setst::~value_setst ( )

Definition at line 37 of file value_sets.h.

Member Function Documentation

◆ get_values()

virtual void value_setst::get_values ( const irep_idt function_id,
goto_programt::const_targett  l,
const exprt expr,
valuest dest 
pure virtual

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