public class ComparisonADJ extends BinaryExpressionADJ
ci, expr
Constructor and Description |
---|
ComparisonADJ(Expression e) |
Modifier and Type | Method and Description |
---|---|
Set<Expression> |
getPreconditions(PatternOptimizationEE patternOptimization)
Find any necessary preconditions for the satisfaction of this expression
in either GeneralComparison or ValueComparison
as a set of boolean expressions to be evaluated on the context node
|
interpolateVariables, optimizeForContextType, processRewrites, unify, unifyingBindings, updated
applyAxis, copyLocationInfo, evaluateAgainstBoolean, export, getOperandPreconditions, getOperandPreconditions, getPreconditions, getRetainedStaticContext, important, interpolateVariablesOperands, isCallOn, optimizeForName, optimizeForType, optimizeOperandsForContextType, sameClass, unifyOperandBindings, unifyOperands
getExpressionAdjunct, getNodeTestAdjunct, getPatternAdjunct, index
public ComparisonADJ(Expression e)
public Set<Expression> getPreconditions(PatternOptimizationEE patternOptimization)
getPreconditions
in class BinaryExpressionADJ
Copyright (c) 2004-2014 Saxonica Limited. All rights reserved.