de.uka.ilkd.key.logic

Class LexPathOrdering.CompRes

java.lang.Object

de.uka.ilkd.key.logic.LexPathOrdering.CompRes

Enclosing class:

LexPathOrdering

private abstract static class LexPathOrdering.CompRes
extends java.lang.Object

Constructor Summary

Constructors

Modifier	Constructor and Description
private	CompRes()

Method Summary

Modifier and Type	Method and Description
boolean	eq()
boolean	geq()
boolean	gt()
boolean	leq()
boolean	lt()
boolean	uncomparable()

Methods inherited from class java.lang.Object

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

Constructor Detail

CompRes

private CompRes()

Method Detail

uncomparable

public boolean uncomparable()

eq

public boolean eq()

gt

public boolean gt()

lt

public boolean lt()

geq

public boolean geq()

leq

public boolean leq()