cprover
simplify_exprt Member List

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

bits2expr(const std::string &bits, const typet &type, bool little_endian)simplify_exprt
do_simplify_ifsimplify_exprt
eliminate_common_addends(exprt &op0, exprt &op1)simplify_exprt
expr2bits(const exprt &expr, bool little_endian)simplify_exprt
get_values(const exprt &expr, value_listt &value_list)simplify_exprt
is_bitvector_type(const typet &type)simplify_exprtinlinestatic
local_replace_mapsimplify_exprtprotected
nssimplify_exprtprotected
objects_equal(const exprt &a, const exprt &b)simplify_exprtstatic
objects_equal_address_of(const exprt &a, const exprt &b)simplify_exprtstatic
simplify(exprt &expr)simplify_exprtvirtual
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(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_exprtinlineexplicit
simplify_extractbit(exprt &expr)simplify_exprt
simplify_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(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 typedefsimplify_exprt
~simplify_exprt()simplify_exprtinlinevirtual