cprover
|
#include <value_set_domain.h>
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) |
![]() | |
domain_baset () | |
virtual | ~domain_baset () |
Public Attributes | |
VST | value_set |
Additional Inherited Members | |
![]() | |
typedef goto_programt::const_targett | locationt |
typedef std::unordered_set< exprt, irep_hash > | expr_sett |
![]() | |
bool | seen |
Definition at line 21 of file value_set_domain.h.
|
inlinevirtual |
Reimplemented from domain_baset.
Definition at line 55 of file value_set_domain.h.
|
inlinevirtual |
Reimplemented from domain_baset.
Definition at line 40 of file value_set_domain.h.
|
inline |
Definition at line 28 of file value_set_domain.h.
|
inlinevirtual |
Reimplemented from domain_baset.
Definition at line 33 of file value_set_domain.h.
|
virtual |
Implements domain_baset.
VST value_set_domain_templatet< VST >::value_set |
Definition at line 24 of file value_set_domain.h.