CBMC
simplify_exprt Member List

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

changed(resultt<> result)simplify_exprtinlinestatic
do_simplify_ifsimplify_exprt
is_bitvector_type(const typet &type)simplify_exprtinlinestatic
nssimplify_exprtprotected
simplify(exprt &expr)simplify_exprtvirtual
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_exprt(const namespacet &_ns)simplify_exprtinlineexplicit
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_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 &)simplify_exprt
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 &)simplify_exprt
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 &)simplify_exprt
simplify_popcount(const popcount_exprt &)simplify_exprt
simplify_power(const binary_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_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
unchanged(exprt expr)simplify_exprtinlinestatic
~simplify_exprt()simplify_exprtinlinevirtual