/** * Constructor. * @param graph The automaton (NBA) that contains this state. */ public NBA_State(NBA graph, int index) { _graph = graph; _isFinal = false; _edge_manager = new NBA_State_EdgeManager(this, graph.getAPSet()); Index = index; }