/**
* 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());
}
}
