#include <value_set_domain_fivr.h>
|
void | output (const namespacet &ns, std::ostream &out) const override |
|
void | initialize (const namespacet &) override |
|
bool | transform (const namespacet &ns, const irep_idt &function_from, locationt from_l, const irep_idt &function_to, locationt to_l) override |
|
void | get_reference_set (const namespacet &ns, const exprt &expr, expr_sett &expr_set) override |
|
void | clear (void) override |
|
Public Member Functions inherited from flow_insensitive_abstract_domain_baset |
| flow_insensitive_abstract_domain_baset () |
|
virtual void | initialize (const namespacet &ns)=0 |
|
virtual bool | transform (const namespacet &ns, const irep_idt &function_from, locationt from, const irep_idt &function_to, locationt to)=0 |
|
virtual | ~flow_insensitive_abstract_domain_baset () |
|
virtual void | output (const namespacet &, std::ostream &) const |
|
virtual void | get_reference_set (const namespacet &, const exprt &, expr_sett &expr_set) |
|
virtual void | clear (void)=0 |
|
Definition at line 20 of file value_set_domain_fivr.h.
◆ clear()
void value_set_domain_fivrt::clear |
( |
void |
| ) |
|
|
inlineoverridevirtual |
◆ get_reference_set()
◆ initialize()
void value_set_domain_fivrt::initialize |
( |
const namespacet & |
| ) |
|
|
inlineoverridevirtual |
◆ output()
void value_set_domain_fivrt::output |
( |
const namespacet & |
ns, |
|
|
std::ostream & |
out |
|
) |
| const |
|
inlineoverridevirtual |
◆ transform()
◆ value_set
The documentation for this class was generated from the following file: