CBMC: Member List

abstract_state variable_sensitivity_domaint private

ai_domain_baset() ai_domain_baset inlineprotected

ai_domain_baset(const ai_domain_baset &old) ai_domain_baset inlineprotected

ai_simplify(exprt &condition, const namespacet &ns) const override variable_sensitivity_domaint virtual

ai_simplify_lhs(exprt &condition, const namespacet &ns) const ai_domain_baset virtual

assume(exprt expr, namespacet ns) variable_sensitivity_domaint private

eval(const exprt &expr, const namespacet &ns) const variable_sensitivity_domaint inlinevirtual

flow_sensitivity variable_sensitivity_domaint private

ignore_function_call_transform(const irep_idt &function_id) const variable_sensitivity_domaint private

is_bottom() const override variable_sensitivity_domaint virtual

is_top() const override variable_sensitivity_domaint virtual

locationt typedef ai_domain_baset

make_bottom() override variable_sensitivity_domaint virtual

make_entry() ai_domain_baset inlinevirtual

make_top() override variable_sensitivity_domaint virtual

merge(const variable_sensitivity_domaint &b, trace_ptrt from, trace_ptrt to) variable_sensitivity_domaint virtual

merge_three_way_function_return(const ai_domain_baset &function_start, const ai_domain_baset &function_end, const namespacet &ns) variable_sensitivity_domaint virtual

output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const override variable_sensitivity_domaint virtual

output_json(const ai_baset &ai, const namespacet &ns) const ai_domain_baset virtual

output_xml(const ai_baset &ai, const namespacet &ns) const ai_domain_baset virtual

to_predicate() const override variable_sensitivity_domaint virtual

to_predicate(const exprt &expr, const namespacet &ns) const variable_sensitivity_domaint

to_predicate(const exprt::operandst &exprs, const namespacet &ns) const variable_sensitivity_domaint

trace_ptrt typedef ai_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) override variable_sensitivity_domaint virtual

transform_function_call(locationt from, locationt to, ai_baset &ai, const namespacet &ns) variable_sensitivity_domaint private

variable_sensitivity_domaint(variable_sensitivity_object_factory_ptrt _object_factory, const vsd_configt &_configuration) variable_sensitivity_domaint inlineexplicit

~ai_domain_baset() ai_domain_baset inlinevirtual