public interface TaskTreeNode
extends javax.swing.tree.MutableTreeNode
Modifier and Type | Field and Description |
---|---|
static TaskTreeNode[] |
NO_CHILDREN |
Modifier and Type | Method and Description |
---|---|
Proof[] |
allProofs() |
void |
decoupleFromEnv() |
TaskTreeNode[] |
getChildren() |
javax.swing.tree.TreeNode[] |
getPath() |
ProofEnvironment |
getProofEnv() |
ProofStatus |
getStatus() |
void |
insertNode(TaskTreeModel model,
javax.swing.tree.MutableTreeNode parent) |
Proof |
proof() |
java.lang.String |
shortDescr() |
static final TaskTreeNode[] NO_CHILDREN
ProofEnvironment getProofEnv()
java.lang.String shortDescr()
Proof proof()
Proof[] allProofs()
void insertNode(TaskTreeModel model, javax.swing.tree.MutableTreeNode parent)
javax.swing.tree.TreeNode[] getPath()
ProofStatus getStatus()
void decoupleFromEnv()
TaskTreeNode[] getChildren()