cprover
|
#include <simplify_expr_class.h>
Public Types | |
typedef std::set< mp_integer > | value_listt |
Static Public Member Functions | |
static tvt | objects_equal (const exprt &a, const exprt &b) |
static tvt | objects_equal_address_of (const exprt &a, const exprt &b) |
static bool | is_bitvector_type (const typet &type) |
Public Attributes | |
bool | do_simplify_if |
Protected Attributes | |
const namespacet & | ns |
Definition at line 43 of file simplify_expr_class.h.
typedef std::set<mp_integer> simplify_exprt::value_listt |
Definition at line 141 of file simplify_expr_class.h.
|
inlineexplicit |
Definition at line 46 of file simplify_expr_class.h.
|
inlinevirtual |
Definition at line 59 of file simplify_expr_class.h.
exprt simplify_exprt::bits2expr | ( | const std::string & | bits, |
const typet & | type, | ||
bool | little_endian | ||
) |
Definition at line 1431 of file simplify_expr.cpp.
Definition at line 1492 of file simplify_expr_int.cpp.
Definition at line 1547 of file simplify_expr.cpp.
bool simplify_exprt::get_values | ( | const exprt & | expr, |
value_listt & | value_list | ||
) |
Definition at line 1182 of file simplify_expr.cpp.
|
inlinestatic |
Definition at line 144 of file simplify_expr_class.h.
Definition at line 600 of file simplify_expr_pointer.cpp.
Definition at line 624 of file simplify_expr_pointer.cpp.
|
virtual |
Definition at line 2306 of file simplify_expr.cpp.
bool simplify_exprt::simplify_abs | ( | exprt & | expr | ) |
Definition at line 62 of file simplify_expr.cpp.
bool simplify_exprt::simplify_address_of | ( | exprt & | expr | ) |
Definition at line 173 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_address_of_arg | ( | exprt & | expr | ) |
Definition at line 52 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_bitnot | ( | exprt & | expr | ) |
Definition at line 1266 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_bitwise | ( | exprt & | expr | ) |
Definition at line 649 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_boolean | ( | exprt & | expr | ) |
Definition at line 19 of file simplify_expr_boolean.cpp.
bool simplify_exprt::simplify_bswap | ( | bswap_exprt & | expr | ) |
Definition at line 29 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_byte_extract | ( | byte_extract_exprt & | expr | ) |
Definition at line 1619 of file simplify_expr.cpp.
bool simplify_exprt::simplify_byte_update | ( | byte_update_exprt & | expr | ) |
Definition at line 1795 of file simplify_expr.cpp.
bool simplify_exprt::simplify_concatenation | ( | exprt & | expr | ) |
Definition at line 869 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_dereference | ( | exprt & | expr | ) |
Definition at line 737 of file simplify_expr.cpp.
bool simplify_exprt::simplify_div | ( | exprt & | expr | ) |
Definition at line 268 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_dynamic_object | ( | exprt & | expr | ) |
Definition at line 515 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_dynamic_size | ( | exprt & | expr | ) |
bool simplify_exprt::simplify_extractbit | ( | exprt & | expr | ) |
Definition at line 835 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_extractbits | ( | extractbits_exprt & | expr | ) |
Simplifies extracting of bits from a constant.
Definition at line 1102 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_floatbv_op | ( | exprt & | expr | ) |
Definition at line 283 of file simplify_expr_floatbv.cpp.
bool simplify_exprt::simplify_floatbv_typecast | ( | exprt & | expr | ) |
Definition at line 141 of file simplify_expr_floatbv.cpp.
bool simplify_exprt::simplify_good_pointer | ( | exprt & | expr | ) |
Definition at line 694 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_ieee_float_relation | ( | exprt & | expr | ) |
Definition at line 354 of file simplify_expr_floatbv.cpp.
bool simplify_exprt::simplify_if | ( | if_exprt & | expr | ) |
Definition at line 1078 of file simplify_expr.cpp.
Definition at line 925 of file simplify_expr.cpp.
bool simplify_exprt::simplify_if_cond | ( | exprt & | expr | ) |
Definition at line 957 of file simplify_expr.cpp.
Definition at line 883 of file simplify_expr.cpp.
Definition at line 904 of file simplify_expr.cpp.
bool simplify_exprt::simplify_if_implies | ( | exprt & | expr, |
const exprt & | cond, | ||
bool | truth, | ||
bool & | new_truth | ||
) |
Definition at line 795 of file simplify_expr.cpp.
bool simplify_exprt::simplify_if_preorder | ( | if_exprt & | expr | ) |
Definition at line 993 of file simplify_expr.cpp.
Definition at line 851 of file simplify_expr.cpp.
bool simplify_exprt::simplify_index | ( | exprt & | expr | ) |
Definition at line 17 of file simplify_expr_array.cpp.
bool simplify_exprt::simplify_inequality | ( | exprt & | expr | ) |
simplifies inequalities !=, <=, <, >=, >, and also ==
Definition at line 1305 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_inequality_address_of | ( | exprt & | expr | ) |
Definition at line 413 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_inequality_constant | ( | exprt & | expr | ) |
Definition at line 1669 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_inequality_not_constant | ( | exprt & | expr | ) |
Definition at line 1540 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_inequality_pointer_object | ( | exprt & | expr | ) |
Definition at line 454 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_invalid_pointer | ( | exprt & | expr | ) |
Definition at line 571 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_isinf | ( | exprt & | expr | ) |
Definition at line 19 of file simplify_expr_floatbv.cpp.
bool simplify_exprt::simplify_isnan | ( | exprt & | expr | ) |
Definition at line 37 of file simplify_expr_floatbv.cpp.
bool simplify_exprt::simplify_isnormal | ( | exprt & | expr | ) |
Definition at line 52 of file simplify_expr_floatbv.cpp.
bool simplify_exprt::simplify_lambda | ( | exprt & | expr | ) |
Definition at line 1208 of file simplify_expr.cpp.
bool simplify_exprt::simplify_member | ( | exprt & | expr | ) |
Definition at line 19 of file simplify_expr_struct.cpp.
bool simplify_exprt::simplify_minus | ( | exprt & | expr | ) |
Definition at line 592 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_mod | ( | exprt & | expr | ) |
Definition at line 388 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_mult | ( | exprt & | expr | ) |
Definition at line 160 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_node | ( | exprt & | expr | ) |
Definition at line 2113 of file simplify_expr.cpp.
bool simplify_exprt::simplify_node_preorder | ( | exprt & | expr | ) |
Definition at line 2088 of file simplify_expr.cpp.
bool simplify_exprt::simplify_not | ( | exprt & | expr | ) |
Definition at line 159 of file simplify_expr_boolean.cpp.
bool simplify_exprt::simplify_object | ( | exprt & | expr | ) |
Definition at line 1341 of file simplify_expr.cpp.
bool simplify_exprt::simplify_object_size | ( | exprt & | expr | ) |
Definition at line 648 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_plus | ( | exprt & | expr | ) |
Definition at line 437 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_pointer_object | ( | exprt & | expr | ) |
Definition at line 487 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_pointer_offset | ( | exprt & | expr | ) |
Definition at line 211 of file simplify_expr_pointer.cpp.
bool simplify_exprt::simplify_popcount | ( | popcount_exprt & | expr | ) |
Definition at line 132 of file simplify_expr.cpp.
bool simplify_exprt::simplify_power | ( | exprt & | expr | ) |
Definition at line 1079 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_rec | ( | exprt & | expr | ) |
Definition at line 2245 of file simplify_expr.cpp.
bool simplify_exprt::simplify_same_object | ( | exprt & | expr | ) |
bool simplify_exprt::simplify_shifts | ( | exprt & | expr | ) |
Definition at line 967 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_sign | ( | exprt & | expr | ) |
Definition at line 102 of file simplify_expr.cpp.
bool simplify_exprt::simplify_typecast | ( | exprt & | expr | ) |
Definition at line 160 of file simplify_expr.cpp.
bool simplify_exprt::simplify_unary_minus | ( | exprt & | expr | ) |
Definition at line 1189 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_unary_plus | ( | exprt & | expr | ) |
Definition at line 1179 of file simplify_expr_int.cpp.
bool simplify_exprt::simplify_update | ( | exprt & | expr | ) |
Definition at line 1288 of file simplify_expr.cpp.
bool simplify_exprt::simplify_with | ( | exprt & | expr | ) |
Definition at line 1215 of file simplify_expr.cpp.
bool simplify_exprt::do_simplify_if |
Definition at line 63 of file simplify_expr_class.h.
|
protected |
Definition at line 158 of file simplify_expr_class.h.