protected static class AbstractUpdateExtractor.NodeGoal
extends java.lang.Object
AbstractUpdateExtractor#computeValueConditions(Set, Map)
.
Instances of this class store the current Node
and the Goal
s at which backward iteration on parents has started.Modifier and Type | Field and Description |
---|---|
private Node |
currentNode
The current
Node . |
private ImmutableList<Goal> |
startingGoals
The
Goal s at which backward iteration has started. |
Constructor and Description |
---|
NodeGoal(Goal goal)
Constructor.
|
NodeGoal(Node currentNode,
ImmutableList<Goal> startingGoals)
A reached child node during backward iteration.
|
Modifier and Type | Method and Description |
---|---|
Node |
getCurrentNode()
Returns the current
Node . |
Node |
getParent()
Returns the parent of
getCurrentNode() . |
int |
getSerialNr()
Returns the serial number of
getCurrentNode() . |
ImmutableList<Goal> |
getStartingGoals()
Returns the
Goal s at which backward iteration has started. |
java.lang.String |
toString() |
private final ImmutableList<Goal> startingGoals
Goal
s at which backward iteration has started.public NodeGoal(Goal goal)
goal
- The current Goal
to start backward iteration at.public NodeGoal(Node currentNode, ImmutableList<Goal> startingGoals)
public Node getParent()
getCurrentNode()
.getCurrentNode()
.public int getSerialNr()
getCurrentNode()
.getCurrentNode()
.public ImmutableList<Goal> getStartingGoals()
Goal
s at which backward iteration has started.Goal
s at which backward iteration has started.public java.lang.String toString()
toString
in class java.lang.Object