private static final class ExecutionVariableExtractor.ParentDefinition
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Node |
goalNode
The
Node on which this result is based on. |
private Term |
parent
The parent.
|
Constructor and Description |
---|
ParentDefinition(Term parent,
Node goalNode)
Constructor.
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
private final Term parent