private abstract static class LexPathOrdering.Weighter extends Object
Modifier | Constructor and Description |
---|---|
private |
Weighter() |
Modifier and Type | Method and Description |
---|---|
int |
compareWeights(Operator p_a,
Operator p_b)
Compare the weights of two symbols using the function
getWeight . |
protected abstract Integer |
getWeight(Operator p_op) |