CBMC: value_setst Class Reference

CBMC

Loading...

Searching...

No Matches

Public Types | Public Member Functions | List of all members

value_setst Class Referenceabstract

#include <value_sets.h>

+ Inheritance diagram for value_setst:

Public Types

typedef std::list< exprt > valuest

Public Member Functions

virtual std::vector< exprt > get_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 36 of file value_sets.h.

Member Function Documentation

◆ get_values()

virtual std::vector< exprt > value_setst::get_values ( const irep_idt & function_id,

goto_programt::const_targett l,

const exprt & expr

)

pure virtual

Implemented in value_set_analysis_templatet< VSDT >, and value_set_analysis_fit.

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

/home/runner/work/cbmc/cbmc/src/pointer-analysis/value_sets.h

value_setst
Generated by doxygen 1.9.8