private static class LexPathOrdering.FunctionWeighter extends LexPathOrdering.Weighter
Modifier | Constructor and Description |
---|---|
private |
FunctionWeighter() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Integer |
getWeight(Operator p_op) |
compareWeights
protected java.lang.Integer getWeight(Operator p_op)
getWeight
in class LexPathOrdering.Weighter