simplify_utils.h File Reference

#include "expr.h"

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.

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

Function Documentation

sort_and_join()

bool sort_and_join

(

exprt &

expr

)

Definition at line 122 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 16 of file simplify_utils.cpp.