cprover
value_set_evaluator Member List

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

environmentvalue_set_evaluatorprivate
evaluate_combination(abstract_object_sett &results, const std::vector< value_ranget > &value_ranges, std::vector< abstract_object_pointert > &combination) constvalue_set_evaluatorinlineprivate
evaluate_conditional(const std::vector< value_ranget > &ops)value_set_evaluatorinlineprivatestatic
evaluate_each_combination(const std::vector< value_ranget > &value_ranges) constvalue_set_evaluatorinlineprivate
expressionvalue_set_evaluatorprivate
is_constant_value(const abstract_object_pointert &v)value_set_evaluatorinlineprivatestatic
make_interval(const abstract_object_sett &values)value_set_evaluatorinlineprivatestatic
make_value_set(const abstract_object_sett &values)value_set_evaluatorinlineprivatestatic
maybe_extract_single_value(const abstract_object_pointert &maybe_singleton)value_set_evaluatorinlineprivatestatic
nsvalue_set_evaluatorprivate
operandsvalue_set_evaluatorprivate
operands_as_ranges() constvalue_set_evaluatorinlineprivate
operator()() constvalue_set_evaluatorinline
resolve_values(const abstract_object_sett &new_values)value_set_evaluatorinlineprivatestatic
rewrite_expression(const std::vector< abstract_object_pointert > &ops) constvalue_set_evaluatorinlineprivate
transform() constvalue_set_evaluatorinlineprivate
unwrap_and_extract_values(const abstract_object_sett &values)value_set_evaluatorinlineprivatestatic
value_set_evaluator(const exprt &e, const std::vector< abstract_object_pointert > &ops, const abstract_environmentt &env, const namespacet &n)value_set_evaluatorinline