value_set_domain_templatet< VST > Class Template Reference
#include <value_set_domain.h>
Inheritance diagram for value_set_domain_templatet< VST >: Collaboration diagram for value_set_domain_templatet< VST >:Public Member Functions | |
| bool | merge (const value_set_domain_templatet< VST > &other, locationt) |
| virtual void | output (const namespacet &ns, std::ostream &out) const |
| virtual void | initialize (const namespacet &, locationt l) |
| virtual void | transform (const namespacet &ns, const irep_idt &function_from, locationt from_l, const irep_idt &function_to, locationt to_l) |
| virtual void | get_reference_set (const namespacet &ns, const exprt &expr, value_setst::valuest &dest) |
| Public Member Functions inherited from domain_baset | |
| domain_baset () | |
| virtual | ~domain_baset () |
Public Attributes | |
| VST | value_set |
Additional Inherited Members | |
| Public Types inherited from domain_baset | |
| typedef goto_programt::const_targett | locationt |
| typedef std::unordered_set< exprt, irep_hash > | expr_sett |
| Protected Attributes inherited from domain_baset | |
| bool | seen |
Detailed Description
template<class VST>
class value_set_domain_templatet< VST >
Definition at line 21 of file value_set_domain.h.
Member Function Documentation
◆ get_reference_set()
template<class VST>
|
inlinevirtual |
Reimplemented from domain_baset.
Definition at line 55 of file value_set_domain.h.
◆ initialize()
template<class VST>
|
inlinevirtual |
Reimplemented from domain_baset.
Definition at line 40 of file value_set_domain.h.
◆ merge()
template<class VST>
|
inline |
Definition at line 28 of file value_set_domain.h.
◆ output()
template<class VST>
|
inlinevirtual |
Reimplemented from domain_baset.
Definition at line 33 of file value_set_domain.h.
◆ transform()
template<class VST>
|
virtual |
Implements domain_baset.
Member Data Documentation
◆ value_set
template<class VST>
| VST value_set_domain_templatet< VST >::value_set |
Definition at line 24 of file value_set_domain.h.
The documentation for this class was generated from the following file:
- pointer-analysis/value_set_domain.h
