private class Proof.ProofPruner
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
ProofPruner() |
Modifier and Type | Method and Description |
---|---|
private ImmutableList<Node> |
cut(Node node) |
ImmutableList<Node> |
prune(Node cuttingPoint) |
private void |
refreshGoal(Goal goal,
Node node) |
private void |
removeClosedGoals(java.util.Collection<Node> toBeRemoved)
Removes the given collection of Nodes from the closedGoals.
|
private void |
removeOpenGoals(java.util.Collection<Node> toBeRemoved) |
private Node firstLeaf
public ImmutableList<Node> prune(Node cuttingPoint)
private void removeOpenGoals(java.util.Collection<Node> toBeRemoved)
private void removeClosedGoals(java.util.Collection<Node> toBeRemoved)
toBeRemoved
- the goals to removeprivate ImmutableList<Node> cut(Node node)