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 |