public class ProjectedNode
extends java.lang.Object
Constructor and Description |
---|
ProjectedNode(Node node,
ProjectedNode parent)
Creates the wrapper object for a proof node
|
Modifier and Type | Method and Description |
---|---|
NodeInfo |
getNodeInfo() |
ProjectedNode |
getParent() |
Node |
getProofNode() |
Sequent |
getSequent()
Return the sequent of a proof node
|
boolean |
isPseudoNode() |
boolean |
isRoot() |
static ProjectedNode |
pseudoRoot() |
public ProjectedNode(Node node, ProjectedNode parent)
node
- parent
- public Sequent getSequent()
public ProjectedNode getParent()
public boolean isRoot()
public NodeInfo getNodeInfo()
public boolean isPseudoNode()
public Node getProofNode()
public static ProjectedNode pseudoRoot()
Copyright © 2003-2019 The KeY-Project.