Class ExpressionSimplifier

java.lang.Object

liquidjava.rj_language.opt.ExpressionSimplifier

public class ExpressionSimplifier
extends Object

Constructor Summary

Constructors

Constructor	Description
ExpressionSimplifier()

Method Summary

Modifier and Type	Method	Description
static ValDerivationNode	simplify(Expression exp)	Simplifies an expression by applying constant propagation, constant folding and removing redundant conjuncts Returns a derivation node representing the tree of simplifications applied

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

ExpressionSimplifier

public ExpressionSimplifier()

Method Details

simplify

public static ValDerivationNode simplify(Expression exp)

Simplifies an expression by applying constant propagation, constant folding and removing redundant conjuncts Returns a derivation node representing the tree of simplifications applied