public class ProofTreeEvent extends Object
Modifier and Type | Field and Description |
---|---|
private Goal |
goal |
private ImmutableList<Goal> |
goals |
private Node |
node |
private Proof |
source |
Constructor and Description |
---|
ProofTreeEvent(Proof source)
Create ProofTreeEvent for an event that happens at
no particular node.
|
ProofTreeEvent(Proof source,
Goal goal)
Create ProofTreeEvent for the event that happened to the
given goal
|
ProofTreeEvent(Proof source,
ImmutableList<Goal> goals)
Create ProofTreeEvent for the event that affects the goals
given in the list.
|
ProofTreeEvent(Proof source,
Node node)
Create ProofTreeEvent for an event that happens at
the specified node.
|
private Proof source
private Node node
private Goal goal
private ImmutableList<Goal> goals
public ProofTreeEvent(Proof source, Node node)
public ProofTreeEvent(Proof source)
public ProofTreeEvent(Proof source, Goal goal)
public ProofTreeEvent(Proof source, ImmutableList<Goal> goals)