public class GraphUpdatedEvent extends Object
GraphEventEmitter, encapsulating a graph.| Constructor and Description |
|---|
GraphUpdatedEvent(AutomatonGraph graph,
javax.measure.Quantity<javax.measure.quantity.Time> elapsedTime)
Creates a new GraphUpdatedEvent.
|
| Modifier and Type | Method and Description |
|---|---|
javax.measure.Quantity<javax.measure.quantity.Time> |
getElapsedTime() |
AutomatonGraph |
getGraph()
Returns the encapsulated graph.
|
public GraphUpdatedEvent(AutomatonGraph graph, javax.measure.Quantity<javax.measure.quantity.Time> elapsedTime)
graph - The graph.elapsedTime - The time at which the update was emitted.public AutomatonGraph getGraph()
public javax.measure.Quantity<javax.measure.quantity.Time> getElapsedTime()
Copyright © 2019. All rights reserved.