simplification_add Namespace Reference

Functions
def	simp_add_mul (expr_simp, expr)
	@expr_simp is the current expression simplifier instance (for recursive simplifications) @expr is the expression to (perhaps) simplify More...

Variables
	a = m2_expr.ExprId('a', 32)
	base_expr = a + a + a

Function Documentation

simp_add_mul()

def simplification_add.simp_add_mul	(		expr_simp,
			expr
	)

@expr_simp is the current expression simplifier instance (for recursive simplifications) @expr is the expression to (perhaps) simplify

Variable Documentation

a

simplification_add.a = m2_expr.ExprId('a', 32)

base_expr

simplification_add.base_expr = a + a + a