Modifier and Type | Class and Description |
---|---|
(package private) class |
GoalList.GoalListModel.GoalListProofTreeListener |
Modifier and Type | Field and Description |
---|---|
private boolean |
attentive
is used to indicate if the model has to be updated
|
private java.util.List<Goal> |
goals |
private Proof |
proof
the proof the model belongs to
|
private ProofTreeListener |
proofTreeListener
listens to the proof
|
private static long |
serialVersionUID |
Constructor and Description |
---|
GoalListModel() |
Modifier and Type | Method and Description |
---|---|
void |
add(ImmutableList<Goal> g) |
void |
clear() |
Goal |
getElementAt(int i) |
int |
getSize() |
boolean |
isAttentive()
returns true if the model respond to changes in the proof immediately
|
void |
remove(Goal g) |
private void |
setAttentive(boolean b)
Sets whether this object should respond to changes in the the proof
immediately.
|
private void |
setProof(Proof p)
the proof this view belongs to has changed
|
private static final long serialVersionUID
private final ProofTreeListener proofTreeListener
private Proof proof
private java.util.List<Goal> goals
private boolean attentive
private void setProof(Proof p)
public boolean isAttentive()
private void setAttentive(boolean b)
public void add(ImmutableList<Goal> g)
public void remove(Goal g)
public void clear()
public int getSize()
public Goal getElementAt(int i)