public class Edge extends java.lang.Object implements java.lang.Comparable<Edge>
Modifier | Constructor and Description |
---|---|
|
Edge(Intent correctionIntent)
Creates a new instance of the correction edge.
|
protected |
Edge(Vertex sourceVertex,
Vertex targetVertex,
Intent correctionIntent)
Deprecated.
Only for testing purposes only!
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(Edge e) |
boolean |
equals(java.lang.Object obj) |
Intent |
getCorrectionIntent()
Returns the associated correction intent.
|
int |
getEdgeCost()
Returns the cost assigned to the edge and nested intent repair.
|
Repair |
getIntentRepair()
Returns the optional reference to the nested intent repair.
|
java.lang.String |
getSerializedString()
Returns the edge description string.
|
java.lang.String |
getSourceState()
Returns the automaton state of the source vertex reference.
|
int |
getSourceStratum()
Returns the stratum number of the source vertex reference.
|
Vertex |
getSourceVertex()
Returns the source vertex reference.
|
java.lang.String |
getTargetState()
Returns the automaton state of the target vertex reference.
|
int |
getTargetStratum()
Returns the stratum number of the target vertex reference.
|
Vertex |
getTargetVertex()
Returns the target vertex reference.
|
int |
hashCode() |
void |
setEdgeRepair(Repair intentRepair)
Registers the provided nested intent repair structure.
|
public Edge(Intent correctionIntent)
correctionIntent
- Associated correction intent.setEdgeRepair(cz.cuni.mff.corrector.repair.Repair)
protected Edge(Vertex sourceVertex, Vertex targetVertex, Intent correctionIntent)
sourceVertex
- Source vertex of the edge.targetVertex
- Target vertex of the edge.correctionIntent
- Associated correction intent.public Vertex getSourceVertex()
public int getSourceStratum()
public java.lang.String getSourceState()
public Vertex getTargetVertex()
public int getTargetStratum()
public java.lang.String getTargetState()
public Intent getCorrectionIntent()
public Repair getIntentRepair()
null
.public int getEdgeCost()
public void setEdgeRepair(Repair intentRepair)
intentRepair
- Fully or partially evaluated intent repair.Repair.isCompletelyEvaluated()
public java.lang.String getSerializedString()
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object