public interface GoalListener
Modifier and Type | Method and Description |
---|---|
void |
automaticStateChanged(Goal source,
boolean oldAutomatic,
boolean newAutomatic)
Informs the listener that the automatic state
Goal.isAutomatic() has changed. |
void |
goalReplaced(Goal source,
Node parent,
ImmutableList<Goal> newGoals)
Informs the listener that the given goal
source
has been replaced by the goals newGoals (note that
source may be an element of
newGoals ). |
void |
sequentChanged(Goal source,
SequentChangeInfo sci)
informs the listener about a change that occured to the sequent of goal
|
void sequentChanged(Goal source, SequentChangeInfo sci)
void goalReplaced(Goal source, Node parent, ImmutableList<Goal> newGoals)
source
has been replaced by the goals newGoals
(note that
source
may be an element of
newGoals
). The nodes of newGoals
are
children of the node parent
void automaticStateChanged(Goal source, boolean oldAutomatic, boolean newAutomatic)
Goal.isAutomatic()
has changed.source
- The changed Goal
.oldAutomatic
- The old state.newAutomatic
- The new state.