public class NodeIdentifier
extends java.lang.Object
implements java.io.Serializable
Modifier and Type | Field and Description |
---|---|
private java.lang.String |
branchLabel |
private java.util.List<java.lang.Integer> |
list |
private int |
serialNr |
private static long |
serialVersionUID |
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() |
private static final long serialVersionUID
private java.util.List<java.lang.Integer> list
private java.lang.String branchLabel
private int serialNr
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)