com.saxonica.ee.trans

Class IntEqualityPatternOptimizer

java.lang.Object

com.saxonica.ee.trans.PatternOptimizer

com.saxonica.ee.trans.IntEqualityPatternOptimizer

public class IntEqualityPatternOptimizer
extends PatternOptimizer

A PatternOptimizer is an agent responsible for optimizing a particular class of patterns. It has two parts: a meta-pattern which determines which kinds of pattern it recognizes, and an action part which extracts characteristics and preconditions whose evaluation can be shared by all the rules in a rule chain

Constructor Summary

Constructors

Constructor and Description
IntEqualityPatternOptimizer()

Method Summary

Modifier and Type	Method and Description
boolean	appliesTo(Pattern pattern)
static IntEqualityPatternOptimizer	getInstance()
void	process(RuleEE rule, Pattern pattern, java.util.Map<Precondition,java.util.List<RuleEE>> preconditions, java.util.Map<Characteristic,Characteristic> characteristics)

Methods inherited from class com.saxonica.ee.trans.PatternOptimizer

addPrecondition, allocateCharacteristic

Methods inherited from class java.lang.Object

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

Constructor Detail

IntEqualityPatternOptimizer

public IntEqualityPatternOptimizer()

Method Detail

getInstance

public static IntEqualityPatternOptimizer getInstance()

appliesTo

public boolean appliesTo(Pattern pattern)

Specified by:

appliesTo in class PatternOptimizer

process

public void process(RuleEE rule,
                    Pattern pattern,
                    java.util.Map<Precondition,java.util.List<RuleEE>> preconditions,
                    java.util.Map<Characteristic,Characteristic> characteristics)

Specified by:

process in class PatternOptimizer