de.uka.ilkd.key.logic

Class LexPathOrdering.FunctionWeighter

java.lang.Object

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

de.uka.ilkd.key.logic.LexPathOrdering.FunctionWeighter

Enclosing class:

LexPathOrdering

private static class LexPathOrdering.FunctionWeighter
extends LexPathOrdering.Weighter

Explicit ordering for different kinds of function symbols; symbols like C:: or C. should be smaller than other symbols

Constructor Summary

Constructors

Modifier	Constructor and Description
private	FunctionWeighter()

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

Constructor Detail

FunctionWeighter

private FunctionWeighter()

Method Detail

getWeight

protected java.lang.Integer getWeight(Operator p_op)

Specified by:

getWeight in class LexPathOrdering.Weighter