public class GraphUpdatedEvent extends Object
GraphUpdatedEvent(AutomatonGraph graph)
AutomatonGraph
getGraph()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public GraphUpdatedEvent(AutomatonGraph graph)
public AutomatonGraph getGraph()
Copyright © 2017. All rights reserved.