Loading...
Searching...
No Matches
simplify_utils.h File Reference
#include "expr.h"
#include <string>
+ Include dependency graph for simplify_utils.h:
+ This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
sort operands of an expression according to ordering defined by operator<
Get char sequence from content field of a refined string expression.
Function Documentation
◆ bits2expr()
std::optional<
exprt > bits2expr
(
const std::string &
bits,
)
◆ expr2bits()
std::optional< std::string > expr2bits
(
const exprt &
expr,
)
◆ join_operands()
◆ sort_and_join()
◆ sort_operands()
sort operands of an expression according to ordering defined by operator<
- parameters: operand list
- Returns
- modifies operand list returns true iff nothing was changed
Definition at line 28 of file simplify_utils.cpp.
◆ try_get_string_data_array()
Get char sequence from content field of a refined string expression.
If content is of the form &id[e], where id is an array-typed symbol expression (and e is any expression), return the value of the symbol id (as given by the value field of the symbol in the namespace ns); otherwise return an empty optional.
- Parameters
-
content content field of a refined string expression
ns namespace
- Returns
- array expression representing the char sequence which forms the content of the refined string expression, empty optional if the content cannot be determined
Definition at line 489 of file simplify_utils.cpp.
