CBMC
dep_graph_domaint Member List

This is the complete list of members for dep_graph_domaint, including all inherited members.

ai_domain_baset()ai_domain_basetinlineprotected
ai_domain_baset(const ai_domain_baset &old)ai_domain_basetinlineprotected
ai_simplify(exprt &condition, const namespacet &) constai_domain_basetinlinevirtual
ai_simplify_lhs(exprt &condition, const namespacet &ns) constai_domain_basetvirtual
control_dep_candidatesdep_graph_domaintprivate
control_dependencies(const irep_idt &function_id, goto_programt::const_targett from, goto_programt::const_targett to, dependence_grapht &dep_graph)dep_graph_domaintprivate
control_depsdep_graph_domaintprivate
data_dependencies(goto_programt::const_targett from, const irep_idt &function_to, goto_programt::const_targett to, dependence_grapht &dep_graph, const namespacet &ns)dep_graph_domaintprivate
data_depsdep_graph_domaintprivate
dep_graph_domaint(node_indext id, message_handlert &message_handler)dep_graph_domaintinline
dependence_graph_test_get_control_deps(const dep_graph_domaint &)dep_graph_domaintfriend
dependence_graph_test_get_data_deps(const dep_graph_domaint &)dep_graph_domaintfriend
depst typedefdep_graph_domaintprivate
get_node_id() constdep_graph_domaintinline
has_changeddep_graph_domaintprivate
has_valuesdep_graph_domaintprivate
is_bottom() const final overridedep_graph_domaintinlinevirtual
is_top() const final overridedep_graph_domaintinlinevirtual
locationt typedefai_domain_baset
make_bottom() final overridedep_graph_domaintinlinevirtual
make_entry() final overridedep_graph_domaintinlinevirtual
make_top() final overridedep_graph_domaintinlinevirtual
merge(const dep_graph_domaint &src, trace_ptrt from, trace_ptrt to)dep_graph_domaint
message_handlerdep_graph_domaintprivate
node_iddep_graph_domaintprivate
node_indext typedefdep_graph_domaint
output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final overridedep_graph_domaintvirtual
output_json(const ai_baset &ai, const namespacet &ns) const overridedep_graph_domaintvirtual
output_xml(const ai_baset &ai, const namespacet &ns) constai_domain_basetvirtual
populate_dep_graph(dependence_grapht &, goto_programt::const_targett) constdep_graph_domaint
to_predicate(void) constai_domain_basetinlinevirtual
trace_ptrt typedefai_domain_baset
transform(const irep_idt &function_from, trace_ptrt trace_from, const irep_idt &function_to, trace_ptrt trace_to, ai_baset &ai, const namespacet &ns) final overridedep_graph_domaintvirtual
~ai_domain_baset()ai_domain_basetinlinevirtual