cprover
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 123 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 17 of file simplify_utils.cpp.