cprover
simplify_utils.cpp File Reference
#include "simplify_utils.h"
#include "as_const.h"
#include <algorithm>
+ Include dependency graph for simplify_utils.cpp:

Go to the source code of this file.

Classes

struct  saj_tablet
 produce canonical ordering for associative and commutative binary operators More...
 

Functions

bool sort_operands (exprt::operandst &operands)
 sort operands of an expression according to ordering defined by operator< More...
 
static bool sort_and_join (const struct saj_tablet &saj_entry, const irep_idt &type_id)
 
static const struct saj_tabletsort_and_join (const irep_idt &id, const irep_idt &type_id)
 
bool sort_and_join (exprt &expr)
 

Variables

struct saj_tablet saj_table []
 

Function Documentation

◆ sort_and_join() [1/3]

static const struct saj_tablet& sort_and_join ( const irep_idt id,
const irep_idt type_id 
)
static

Definition at line 109 of file simplify_utils.cpp.

◆ sort_and_join() [2/3]

static bool sort_and_join ( const struct saj_tablet saj_entry,
const irep_idt type_id 
)
static

Definition at line 98 of file simplify_utils.cpp.

◆ sort_and_join() [3/3]

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.

Variable Documentation

◆ saj_table

struct saj_tablet saj_table[]