private abstract static class LexPathOrdering.Weighter
extends java.lang.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 java.lang.Integer |
getWeight(Operator p_op) |
public int compareWeights(Operator p_a, Operator p_b)
getWeight
.p_a
is less than, equal, or greater than the
weight of p_b
protected abstract java.lang.Integer getWeight(Operator p_op)