de.uka.ilkd.key.logic

Class LexPathOrdering.LiteralWeighter

java.lang.Object

de.uka.ilkd.key.logic.LexPathOrdering.Weighter

de.uka.ilkd.key.logic.LexPathOrdering.LiteralWeighter

Enclosing class:

LexPathOrdering

private static class LexPathOrdering.LiteralWeighter
extends LexPathOrdering.Weighter

Explicit ordering of literals (symbols assigned a weight by this class are regarded as smaller than all other symbols)

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<java.lang.String>	intFunctionNames
private java.util.Set<java.lang.String>	theoryFunctionNames

Constructor Summary

Constructors

Modifier	Constructor and Description
private	LiteralWeighter()

Method Summary

Modifier and Type	Method and Description
protected java.lang.Integer	getWeight(Operator p_op)

Methods inherited from class de.uka.ilkd.key.logic.LexPathOrdering.Weighter

compareWeights

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

intFunctionNames

private final java.util.Set<java.lang.String> intFunctionNames

theoryFunctionNames

private final java.util.Set<java.lang.String> theoryFunctionNames

Constructor Detail

LiteralWeighter

private LiteralWeighter()

Method Detail

getWeight

protected java.lang.Integer getWeight(Operator p_op)

Specified by:

getWeight in class LexPathOrdering.Weighter