-
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface de.uka.ilkd.key.logic.Named
name
-
-
Method Detail
-
isNeg
public boolean isNeg()
- Returns:
- true iff this element is the neg element.
-
isZero
public boolean isZero()
- Returns:
- true iff this element is the zero element.
-
isPos
public boolean isPos()
- Returns:
- true iff this element is the pos element.
-
isLeq
public boolean isLeq()
- Returns:
- true iff this element is the leq element.
-
isGeq
public boolean isGeq()
- Returns:
- true iff this element is the geq element.
-
isTop
public boolean isTop()
- Returns:
- true iff this element is the top element.
Copyright © 2003-2019 The KeY-Project.