| bits2expr(const std::string &bits, const typet &type, bool little_endian) | simplify_exprt | |
| 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(exprt &expr) | simplify_exprt | |
| simplify_address_of(exprt &expr) | simplify_exprt | |
| simplify_address_of_arg(exprt &expr) | simplify_exprt | |
| simplify_bitnot(exprt &expr) | simplify_exprt | |
| simplify_bitwise(exprt &expr) | simplify_exprt | |
| simplify_boolean(exprt &expr) | simplify_exprt | |
| simplify_bswap(bswap_exprt &expr) | simplify_exprt | |
| simplify_byte_extract(byte_extract_exprt &expr) | simplify_exprt | |
| simplify_byte_update(byte_update_exprt &expr) | simplify_exprt | |
| simplify_concatenation(exprt &expr) | simplify_exprt | |
| simplify_dereference(exprt &expr) | simplify_exprt | |
| simplify_div(exprt &expr) | simplify_exprt | |
| simplify_dynamic_object(exprt &expr) | simplify_exprt | |
| simplify_dynamic_size(exprt &expr) | simplify_exprt | |
| simplify_exprt(const namespacet &_ns) | simplify_exprt | inlineexplicit |
| simplify_extractbit(exprt &expr) | simplify_exprt | |
| simplify_extractbits(extractbits_exprt &expr) | simplify_exprt | |
| simplify_floatbv_op(exprt &expr) | simplify_exprt | |
| simplify_floatbv_typecast(exprt &expr) | simplify_exprt | |
| simplify_good_pointer(exprt &expr) | simplify_exprt | |
| simplify_ieee_float_relation(exprt &expr) | simplify_exprt | |
| simplify_if(if_exprt &expr) | 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(exprt &expr) | simplify_exprt | |
| simplify_inequality(exprt &expr) | simplify_exprt | |
| simplify_inequality_address_of(exprt &expr) | simplify_exprt | |
| simplify_inequality_constant(exprt &expr) | simplify_exprt | |
| simplify_inequality_not_constant(exprt &expr) | simplify_exprt | |
| simplify_inequality_pointer_object(exprt &expr) | simplify_exprt | |
| simplify_invalid_pointer(exprt &expr) | simplify_exprt | |
| simplify_isinf(exprt &expr) | simplify_exprt | |
| simplify_isnan(exprt &expr) | simplify_exprt | |
| simplify_isnormal(exprt &expr) | simplify_exprt | |
| simplify_lambda(exprt &expr) | simplify_exprt | |
| simplify_member(exprt &expr) | simplify_exprt | |
| simplify_minus(exprt &expr) | simplify_exprt | |
| simplify_mod(exprt &expr) | simplify_exprt | |
| simplify_mult(exprt &expr) | simplify_exprt | |
| simplify_node(exprt &expr) | simplify_exprt | |
| simplify_node_preorder(exprt &expr) | simplify_exprt | |
| simplify_not(exprt &expr) | simplify_exprt | |
| simplify_object(exprt &expr) | simplify_exprt | |
| simplify_object_size(exprt &expr) | simplify_exprt | |
| simplify_plus(exprt &expr) | simplify_exprt | |
| simplify_pointer_object(exprt &expr) | simplify_exprt | |
| simplify_pointer_offset(exprt &expr) | simplify_exprt | |
| simplify_popcount(popcount_exprt &expr) | simplify_exprt | |
| simplify_power(exprt &expr) | simplify_exprt | |
| simplify_rec(exprt &expr) | simplify_exprt | |
| simplify_same_object(exprt &expr) | simplify_exprt | |
| simplify_shifts(exprt &expr) | simplify_exprt | |
| simplify_sign(exprt &expr) | simplify_exprt | |
| simplify_typecast(exprt &expr) | simplify_exprt | |
| simplify_unary_minus(exprt &expr) | simplify_exprt | |
| simplify_unary_plus(exprt &expr) | simplify_exprt | |
| simplify_update(exprt &expr) | simplify_exprt | |
| simplify_with(exprt &expr) | simplify_exprt | |
| value_listt typedef | simplify_exprt | |
| ~simplify_exprt() | simplify_exprt | inlinevirtual |
1.8.15