#include "expr.h"
#include "optional.h"
#include <string>

Include dependency graph for simplify_utils.h:

This graph shows which files directly or indirectly include this file:

Functions
bool	sort_operands (exprt::operandst &operands)
	sort operands of an expression according to ordering defined by operator< More...

bool	join_operands (exprt &expr)

bool	sort_and_join (exprt &expr)

optionalt< exprt >	bits2expr (const std::string &bits, const typet &type, bool little_endian, const namespacet &ns)

optionalt< std::string >	expr2bits (const exprt &, bool little_endian, const namespacet &ns)

optionalt< std::reference_wrapper< const array_exprt > >	try_get_string_data_array (const exprt &content, const namespacet &ns)
	Get char sequence from content field of a refined string expression. More...

Function Documentation

◆ bits2expr()

optionalt<exprt> bits2expr	(	const std::string &	bits,
		const typet &	type,
		bool	little_endian,
		const namespacet &	ns
	)

Definition at line 194 of file simplify_utils.cpp.

◆ expr2bits()

optionalt<std::string> expr2bits	(	const exprt &	,
		bool	little_endian,
		const namespacet &	ns
	)

Definition at line 409 of file simplify_utils.cpp.

◆ join_operands()

bool join_operands ( exprt & expr )

Definition at line 189 of file simplify_utils.cpp.

◆ sort_and_join()

bool sort_and_join ( exprt & expr )

Definition at line 184 of file simplify_utils.cpp.

◆ sort_operands()

bool sort_operands ( exprt::operandst & 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()

optionalt<std::reference_wrapper<const array_exprt> > try_get_string_data_array	(	const exprt &	content,
		const namespacet &	ns
	)

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 484 of file simplify_utils.cpp.