- java.lang.Object
-
- de.uka.ilkd.key.proof.delayedcut.NodeGoalPair
-
-
Method Summary
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
-
Field Detail
-
node
public final Node node
-
goal
public final Goal goal
Copyright © 2003-2019 The KeY-Project.