public class ProofTreeEvent
extends java.lang.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.
|
Modifier and Type | Method and Description |
---|---|
Goal |
getGoal() |
ImmutableList<Goal> |
getGoals() |
Node |
getNode() |
Proof |
getSource() |
java.lang.String |
toString() |
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)
public Node getNode()
public Proof getSource()
public Goal getGoal()
public ImmutableList<Goal> getGoals()
public java.lang.String toString()
toString
in class java.lang.Object