cprover
constants_evaluator Member List

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

adjust_expression_for_rounding_mode() constconstants_evaluatorinlineprivate
all_rounding_modesconstants_evaluatorprivatestatic
constants_evaluator(const exprt &e, const abstract_environmentt &env, const namespacet &n)constants_evaluatorinline
environmentconstants_evaluatorprivate
environment_with_rounding_mode(ieee_floatt::rounding_modet rm) constconstants_evaluatorinlineprivate
eval_constant(const exprt &op) constconstants_evaluatorinlineprivate
expressionconstants_evaluatorprivate
nsconstants_evaluatorprivate
operator()() constconstants_evaluatorinline
rounding_mode_is_not_set() constconstants_evaluatorinlineprivate
rounding_mode_symbolconstants_evaluatorprivatestatic
rounding_modes typedefconstants_evaluatorprivate
top(const typet &type) constconstants_evaluatorinlineprivate
transform() constconstants_evaluatorinlineprivate
try_transform_expr_with_all_rounding_modes() constconstants_evaluatorinlineprivate