public class ProofAggregateTask extends javax.swing.tree.DefaultMutableTreeNode implements TaskTreeNode
Modifier and Type | Field and Description |
---|---|
private java.lang.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,
javax.swing.tree.MutableTreeNode parentNode) |
Proof |
proof() |
java.lang.String |
shortDescr() |
java.lang.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
private static final long serialVersionUID
private TaskTreeNode[] proofs
private ProofAggregate proofList
private java.lang.String descr
public ProofAggregateTask(ProofAggregate ps)
public java.lang.String shortDescr()
shortDescr
in interface TaskTreeNode
public java.lang.String toString()
toString
in class javax.swing.tree.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, javax.swing.tree.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