private abstract static class LexPathOrdering.Weighter extends Object
private
LexPathOrdering.Weighter()
int
compareWeights(Operator p_a, Operator p_b)
getWeight
protected abstract Integer
getWeight(Operator p_op)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
private LexPathOrdering.Weighter()
public int compareWeights(Operator p_a, Operator p_b)
p_a
p_b
protected abstract Integer getWeight(Operator p_op)