/** * Constructor. * @param graph The automaton (DA) that contains this state. */ public DA_State(DA graph, int index) { _graph = graph; _edges = new EdgeContainerExplicit_APElement<DA_State>(graph.getAPSize()); Index = index; }
public EdgeContainerExplicit_APElement<BitSet> _container; //<BitSet> /** * Constructor. * @param state the NBA_State owning this EdgeManager * @param apset the underlying APSet */ public NBA_State_EdgeManager(NBA_State state, APSet apset) { _state = state; _container = new EdgeContainerExplicit_APElement<BitSet>(apset.size()); //for (APSet::element_iterator eit=apset.all_elements_begin(); eit!=apset.all_elements_end(); ++eit) { for (int i = apset.all_elements_begin(); i != apset.all_elements_end(); i++) { _container.addEdge(new APElement(i), new BitSet()); } }