-
-
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
-
isFalse
public boolean isFalse()
- Returns:
- true iff this element is the false element.
-
isTrue
public boolean isTrue()
- Returns:
- true iff this element is the true element.
-
isTop
public boolean isTop()
- Returns:
- true iff this element is the top element.
Copyright © 2003-2019 The KeY-Project.