private static final class ExecutionVariableExtractor.ParentDefinition extends 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 |
---|
ExecutionVariableExtractor.ParentDefinition(Term parent,
Node goalNode)
Constructor.
|
private final Term parent