protected class GraphDiff.EdgeRemoved extends GraphDiff.EdgeAdded
directed, edgeId, source, target
Constructor and Description |
---|
EdgeRemoved(String edgeId,
String source,
String target,
boolean directed) |
Modifier and Type | Method and Description |
---|---|
void |
apply(String sourceId,
long timeId,
Sink g)
Apply this event on a given graph.
|
void |
reverse(String sourceId,
long timeId,
Sink g)
Apply the dual event on a given graph.
|
String |
toString() |
public EdgeRemoved(String edgeId, String source, String target, boolean directed)
public void apply(String sourceId, long timeId, Sink g)
GraphDiff.Event
apply
in class GraphDiff.EdgeAdded
g
- the graph on which the action should be appliedpublic void reverse(String sourceId, long timeId, Sink g)
GraphDiff.Event
reverse
in class GraphDiff.EdgeAdded
g
- the graph on which the dual action should be applied.public String toString()
toString
in class GraphDiff.EdgeAdded
WebARTS Library Licensed Under the GNU - General Public License. Other Libraries licensed under their respective Open Source Licenses