simplify_expr_with_value_sett Member List

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

changed(resultt<> result)	simplify_exprt	inlinestatic
do_simplify_if	simplify_exprt
language_mode	simplify_expr_with_value_sett	protected
ns	simplify_exprt	protected
simplify(exprt &expr)	simplify_exprt	virtual
simplify_abs(const abs_exprt &)	simplify_exprt
simplify_address_of(const address_of_exprt &)	simplify_exprt
simplify_address_of_arg(const exprt &)	simplify_exprt
simplify_bitnot(const bitnot_exprt &)	simplify_exprt
simplify_bitreverse(const bitreverse_exprt &)	simplify_exprt
simplify_bitwise(const multi_ary_exprt &)	simplify_exprt
simplify_boolean(const exprt &)	simplify_exprt
simplify_bswap(const bswap_exprt &)	simplify_exprt
simplify_byte_extract(const byte_extract_exprt &)	simplify_exprt
simplify_byte_extract_preorder(const byte_extract_exprt &)	simplify_exprt
simplify_byte_update(const byte_update_exprt &)	simplify_exprt
simplify_clz(const count_leading_zeros_exprt &)	simplify_exprt
simplify_complex(const unary_exprt &)	simplify_exprt
simplify_concatenation(const concatenation_exprt &)	simplify_exprt
simplify_ctz(const count_trailing_zeros_exprt &)	simplify_exprt
simplify_dereference(const dereference_exprt &)	simplify_exprt
simplify_dereference_preorder(const dereference_exprt &)	simplify_exprt
simplify_div(const div_exprt &)	simplify_exprt
simplify_expr_with_value_sett(const value_sett &_vs, const irep_idt &_mode, const namespacet &_ns)	simplify_expr_with_value_sett	inline
simplify_exprt(const namespacet &_ns)	simplify_exprt	inlineexplicit
simplify_extractbit(const extractbit_exprt &)	simplify_exprt
simplify_extractbits(const extractbits_exprt &)	simplify_exprt
simplify_ffs(const find_first_set_exprt &)	simplify_exprt
simplify_floatbv_op(const ieee_float_op_exprt &)	simplify_exprt
simplify_floatbv_round_to_integral(const floatbv_round_to_integral_exprt &)	simplify_exprt
simplify_floatbv_typecast(const floatbv_typecast_exprt &)	simplify_exprt
simplify_function_application(const function_application_exprt &)	simplify_exprt
simplify_ieee_float_relation(const binary_relation_exprt &)	simplify_exprt
simplify_if(const if_exprt &)	simplify_exprt
simplify_if_branch(exprt &trueexpr, exprt &falseexpr, const exprt &cond)	simplify_exprt
simplify_if_cond(exprt &expr)	simplify_exprt
simplify_if_conj(exprt &expr, const exprt &cond)	simplify_exprt
simplify_if_disj(exprt &expr, const exprt &cond)	simplify_exprt
simplify_if_implies(exprt &expr, const exprt &cond, bool truth, bool &new_truth)	simplify_exprt
simplify_if_preorder(const if_exprt &expr)	simplify_exprt
simplify_if_recursive(exprt &expr, const exprt &cond, bool truth)	simplify_exprt
simplify_index(const index_exprt &)	simplify_exprt
simplify_index_preorder(const index_exprt &)	simplify_exprt
simplify_inequality(const binary_relation_exprt &) override	simplify_expr_with_value_sett	virtual
simplify_inequality_address_of(const binary_relation_exprt &)	simplify_exprt
simplify_inequality_both_constant(const binary_relation_exprt &)	simplify_exprt
simplify_inequality_no_constant(const binary_relation_exprt &)	simplify_exprt
simplify_inequality_pointer_object(const binary_relation_exprt &) override	simplify_expr_with_value_sett	virtual
simplify_inequality_rhs_is_constant(const binary_relation_exprt &)	simplify_exprt
simplify_is_dynamic_object(const unary_exprt &)	simplify_exprt
simplify_is_invalid_pointer(const unary_exprt &)	simplify_exprt
simplify_isinf(const unary_exprt &)	simplify_exprt
simplify_isnan(const unary_exprt &)	simplify_exprt
simplify_isnormal(const unary_exprt &)	simplify_exprt
simplify_lambda(const lambda_exprt &)	simplify_exprt
simplify_member(const member_exprt &)	simplify_exprt
simplify_member_preorder(const member_exprt &)	simplify_exprt
simplify_minus(const minus_exprt &)	simplify_exprt
simplify_mod(const mod_exprt &)	simplify_exprt
simplify_mult(const mult_exprt &)	simplify_exprt
simplify_node(const exprt &)	simplify_exprt
simplify_node_preorder(const exprt &)	simplify_exprt
simplify_not(const not_exprt &)	simplify_exprt
simplify_object(const exprt &)	simplify_exprt
simplify_object_size(const object_size_exprt &)	simplify_exprt
simplify_overflow_binary(const binary_overflow_exprt &)	simplify_exprt
simplify_overflow_result(const overflow_result_exprt &)	simplify_exprt
simplify_overflow_unary(const unary_overflow_exprt &)	simplify_exprt
simplify_plus(const plus_exprt &)	simplify_exprt
simplify_pointer_object(const pointer_object_exprt &)	simplify_exprt
simplify_pointer_offset(const pointer_offset_exprt &) override	simplify_expr_with_value_sett	virtual
simplify_popcount(const popcount_exprt &)	simplify_exprt
simplify_power(const power_exprt &)	simplify_exprt
simplify_prophecy_pointer_in_range(const prophecy_pointer_in_range_exprt &)	simplify_exprt
simplify_prophecy_r_or_w_ok(const prophecy_r_or_w_ok_exprt &)	simplify_exprt
simplify_quantifier_expr(const quantifier_exprt &)	simplify_exprt
simplify_rec(const exprt &)	simplify_exprt
simplify_shifts(const shift_exprt &)	simplify_exprt
simplify_sign(const sign_exprt &)	simplify_exprt
simplify_typecast(const typecast_exprt &)	simplify_exprt
simplify_typecast_preorder(const typecast_exprt &)	simplify_exprt
simplify_unary_minus(const unary_minus_exprt &)	simplify_exprt
simplify_unary_plus(const unary_plus_exprt &)	simplify_exprt
simplify_unary_pointer_predicate_preorder(const unary_exprt &)	simplify_exprt
simplify_update(const update_exprt &)	simplify_exprt
simplify_with(const with_exprt &)	simplify_exprt
simplify_zero_extend(const zero_extend_exprt &)	simplify_exprt
unchanged(exprt expr)	simplify_exprt	inlinestatic
value_set	simplify_expr_with_value_sett	protected
~simplify_exprt()	simplify_exprt	inlinevirtual