bits2expr(const std::string &bits, const typet &type, bool little_endian) | simplify_exprt | |
changed(resultt<> result) | simplify_exprt | inlinestatic |
do_simplify_if | simplify_exprt | |
eliminate_common_addends(exprt &op0, exprt &op1) | simplify_exprt | |
expr2bits(const exprt &, bool little_endian) | simplify_exprt | |
get_values(const exprt &expr, value_listt &value_list) | simplify_exprt | |
is_bitvector_type(const typet &type) | simplify_exprt | inlinestatic |
ns | simplify_exprt | protected |
objects_equal(const exprt &a, const exprt &b) | simplify_exprt | static |
objects_equal_address_of(const exprt &a, const exprt &b) | simplify_exprt | static |
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_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_update(const byte_update_exprt &) | simplify_exprt | |
simplify_complex(const unary_exprt &) | simplify_exprt | |
simplify_concatenation(const concatenation_exprt &) | simplify_exprt | |
simplify_dereference(const dereference_exprt &) | simplify_exprt | |
simplify_div(const div_exprt &) | simplify_exprt | |
simplify_dynamic_size(const unary_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_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_good_pointer(const unary_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(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_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 exprt &) | simplify_exprt | |
simplify_member(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(exprt) | simplify_exprt | |
simplify_node_preorder(exprt &expr) | simplify_exprt | |
simplify_not(const not_exprt &) | simplify_exprt | |
simplify_object(const exprt &) | simplify_exprt | |
simplify_object_size(const unary_exprt &) | simplify_exprt | |
simplify_plus(const plus_exprt &) | simplify_exprt | |
simplify_pointer_object(const unary_exprt &) | simplify_exprt | |
simplify_pointer_offset(const unary_exprt &) | simplify_exprt | |
simplify_popcount(const popcount_exprt &) | simplify_exprt | |
simplify_power(const binary_exprt &) | simplify_exprt | |
simplify_rec(const exprt &) | simplify_exprt | |
simplify_same_object(const unary_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_unary_minus(const unary_minus_exprt &) | simplify_exprt | |
simplify_unary_plus(const unary_plus_exprt &) | simplify_exprt | |
simplify_update(const update_exprt &) | simplify_exprt | |
simplify_with(const with_exprt &) | simplify_exprt | |
unchanged(exprt expr) | simplify_exprt | inlinestatic |
value_listt typedef | simplify_exprt | |
~simplify_exprt() | simplify_exprt | inlinevirtual |