Uses of Class
liquidjava.rj_language.opt.derivation_node.ValDerivationNode

Packages that use ValDerivationNode

Package	Description
liquidjava.diagnostics.errors
liquidjava.rj_language
liquidjava.rj_language.opt
liquidjava.rj_language.opt.derivation_node

Uses of ValDerivationNode in liquidjava.diagnostics.errors

Methods in liquidjava.diagnostics.errors that return ValDerivationNode

Modifier and Type	Method	Description
ValDerivationNode	RefinementError.getFound()

Constructors in liquidjava.diagnostics.errors with parameters of type ValDerivationNode

Modifier	Constructor	Description
	RefinementError(spoon.reflect.cu.SourcePosition position, Expression expected, ValDerivationNode found, TranslationTable translationTable)

Uses of ValDerivationNode in liquidjava.rj_language

Methods in liquidjava.rj_language that return ValDerivationNode

Modifier and Type	Method	Description
ValDerivationNode	Predicate.simplify()

Uses of ValDerivationNode in liquidjava.rj_language.opt

Methods in liquidjava.rj_language.opt that return ValDerivationNode

Modifier and Type	Method	Description
static ValDerivationNode	ConstantFolding.fold(ValDerivationNode node)	Performs constant folding on a derivation node by evaluating nodes with constant values.
static ValDerivationNode	ConstantPropagation.propagate(Expression exp)	Performs constant propagation on an expression, by substituting variables with their constant values.
static ValDerivationNode	ExpressionSimplifier.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 in liquidjava.rj_language.opt with parameters of type ValDerivationNode

Modifier and Type	Method	Description
static ValDerivationNode	ConstantFolding.fold(ValDerivationNode node)	Performs constant folding on a derivation node by evaluating nodes with constant values.

Uses of ValDerivationNode in liquidjava.rj_language.opt.derivation_node

Methods in liquidjava.rj_language.opt.derivation_node that return ValDerivationNode

Modifier and Type	Method	Description
ValDerivationNode	BinaryDerivationNode.getLeft()
ValDerivationNode	UnaryDerivationNode.getOperand()
ValDerivationNode	BinaryDerivationNode.getRight()

Constructors in liquidjava.rj_language.opt.derivation_node with parameters of type ValDerivationNode

Modifier	Constructor	Description
	BinaryDerivationNode(ValDerivationNode left, ValDerivationNode right, String op)
	UnaryDerivationNode(ValDerivationNode operand, String op)