CBMC: Member List

CBMC
Loading...
Searching...
No Matches
simplify_exprt Member List

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

changed(resultt<> result) simplify_exprt inlinestatic
do_simplify_if simplify_exprt
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_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 &) simplify_exprt 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 &) simplify_exprt 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 &) simplify_exprt 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
~simplify_exprt() simplify_exprt inlinevirtual

AltStyle によって変換されたページ (->オリジナル) /