private static final class ExecutionVariableExtractor.ParentDefinition extends Object
private Node
goalNode
Node
private Term
parent
ParentDefinition(Term parent, Node goalNode)
boolean
equals(Object obj)
int
hashCode()
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
private final Term parent
private final Node goalNode
public ParentDefinition(Term parent, Node goalNode)
public boolean equals(Object obj)
equals
Object
public int hashCode()
hashCode