cprover
|
#include <static_analysis.h>
Public Types | |
typedef goto_programt::const_targett | locationt |
typedef std::unordered_set< exprt, irep_hash > | expr_sett |
Public Member Functions | |
domain_baset () | |
virtual | ~domain_baset () |
virtual void | initialize (const namespacet &ns, locationt l) |
virtual void | transform (const namespacet &ns, locationt from, locationt to)=0 |
virtual void | output (const namespacet &ns, std::ostream &out) const |
virtual void | get_reference_set (const namespacet &ns, const exprt &expr, std::list< exprt > &dest) |
Protected Attributes | |
bool | seen |
Friends | |
class | static_analysis_baset |
Definition at line 27 of file static_analysis.h.
typedef std::unordered_set<exprt, irep_hash> domain_baset::expr_sett |
Definition at line 67 of file static_analysis.h.
Definition at line 38 of file static_analysis.h.
|
inline |
Definition at line 30 of file static_analysis.h.
|
inlinevirtual |
Definition at line 34 of file static_analysis.h.
|
inlinevirtual |
Reimplemented in value_set_domaint.
Definition at line 70 of file static_analysis.h.
|
inlinevirtual |
Reimplemented in value_set_domaint.
Definition at line 42 of file static_analysis.h.
References transform().
|
inlinevirtual |
Reimplemented in value_set_domaint.
Definition at line 61 of file static_analysis.h.
Referenced by static_analysis_baset::clear(), and static_analysis_baset::output().
|
pure virtual |
Referenced by static_analysis_baset::do_function_call(), initialize(), and static_analysis_baset::visit().
|
friend |
Definition at line 89 of file static_analysis.h.
|
protected |
Definition at line 87 of file static_analysis.h.
Referenced by static_analysis_baset::visit().