public class NodeIdentifier
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
NodeIdentifier() |
NodeIdentifier(java.util.List<java.lang.Integer> seq) |
Modifier and Type | Method and Description |
---|---|
java.util.Optional<Node> |
findNode(Node node) |
java.util.Optional<Node> |
findNode(Proof proof) |
static NodeIdentifier |
get(Goal g) |
static NodeIdentifier |
get(Node node) |
java.lang.String |
getBranchLabel() |
java.util.List<java.lang.Integer> |
getList() |
int |
getSerialNr() |
void |
setBranchLabel(java.lang.String branchLabel) |
void |
setList(java.util.List<java.lang.Integer> list) |
void |
setSerialNr(int serialNr) |
java.lang.String |
toString() |
public NodeIdentifier()
public NodeIdentifier(java.util.List<java.lang.Integer> seq)
public static NodeIdentifier get(Goal g)
public static NodeIdentifier get(Node node)
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<java.lang.Integer> getList()
public void setList(java.util.List<java.lang.Integer> list)
public int getSerialNr()
public void setSerialNr(int serialNr)
public java.lang.String getBranchLabel()
public void setBranchLabel(java.lang.String branchLabel)
Copyright © 2003-2019 The KeY-Project.