private static class LexPathOrdering.LiteralWeighter extends LexPathOrdering.Weighter
Modifier and Type | Field and Description |
---|---|
private java.util.Set<java.lang.String> |
intFunctionNames |
private java.util.Set<java.lang.String> |
theoryFunctionNames |
Modifier | Constructor and Description |
---|---|
private |
LiteralWeighter() |
Modifier and Type | Method and Description |
---|---|
protected java.lang.Integer |
getWeight(Operator p_op) |
compareWeights
private final java.util.Set<java.lang.String> intFunctionNames
private final java.util.Set<java.lang.String> theoryFunctionNames
protected java.lang.Integer getWeight(Operator p_op)
getWeight
in class LexPathOrdering.Weighter