private class Proof.ProofPruner extends 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 |
removeOpenGoals(Collection<Node> toBeRemoved) |
private Node firstLeaf
public ImmutableList<Node> prune(Node cuttingPoint)
private void removeOpenGoals(Collection<Node> toBeRemoved)
private ImmutableList<Node> cut(Node node)