public class ProofAggregateTask extends DefaultMutableTreeNode implements TaskTreeNode
Modifier and Type | Field and Description |
---|---|
private String |
descr |
private ProofAggregate |
proofList |
private TaskTreeNode[] |
proofs |
private static long |
serialVersionUID |
allowsChildren, children, EMPTY_ENUMERATION, parent, userObject
NO_CHILDREN
Constructor and Description |
---|
ProofAggregateTask(ProofAggregate ps) |
Modifier and Type | Method and Description |
---|---|
Proof[] |
allProofs() |
void |
decoupleFromEnv() |
TaskTreeNode[] |
getChildren() |
ProofEnvironment |
getProofEnv() |
ProofAggregate |
getProofList() |
ProofStatus |
getStatus() |
void |
insertNode(TaskTreeModel model,
MutableTreeNode parentNode) |
Proof |
proof() |
String |
shortDescr() |
String |
toString() |
add, breadthFirstEnumeration, children, clone, depthFirstEnumeration, getAllowsChildren, getChildAfter, getChildAt, getChildBefore, getChildCount, getDepth, getFirstChild, getFirstLeaf, getIndex, getLastChild, getLastLeaf, getLeafCount, getLevel, getNextLeaf, getNextNode, getNextSibling, getParent, getPath, getPathToRoot, getPreviousLeaf, getPreviousNode, getPreviousSibling, getRoot, getSharedAncestor, getSiblingCount, getUserObject, getUserObjectPath, insert, isLeaf, isNodeAncestor, isNodeChild, isNodeDescendant, isNodeRelated, isNodeSibling, isRoot, pathFromAncestorEnumeration, postorderEnumeration, preorderEnumeration, remove, remove, removeAllChildren, removeFromParent, setAllowsChildren, setParent, setUserObject
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getPath
insert, remove, remove, removeFromParent, setParent, setUserObject
children, getAllowsChildren, getChildAt, getChildCount, getIndex, getParent, isLeaf
private static final long serialVersionUID
private TaskTreeNode[] proofs
private ProofAggregate proofList
private String descr
public ProofAggregateTask(ProofAggregate ps)
public String shortDescr()
shortDescr
in interface TaskTreeNode
public String toString()
toString
in class DefaultMutableTreeNode
public ProofEnvironment getProofEnv()
getProofEnv
in interface TaskTreeNode
public ProofAggregate getProofList()
public Proof proof()
proof
in interface TaskTreeNode
public Proof[] allProofs()
allProofs
in interface TaskTreeNode
public void insertNode(TaskTreeModel model, MutableTreeNode parentNode)
insertNode
in interface TaskTreeNode
public ProofStatus getStatus()
getStatus
in interface TaskTreeNode
public void decoupleFromEnv()
decoupleFromEnv
in interface TaskTreeNode
public TaskTreeNode[] getChildren()
getChildren
in interface TaskTreeNode