Import/VlppParser.cpp
// map old state to new state and track all states that are not visited yet
map old state to new state and track all states that are not visited yet
map old state to new state and track all states that are not visited yet
State* GetMappedState(Ptr<Automaton> newAutomaton, State* oldState, List<State*>& scanningStates, Dictionary<State*, State*>& oldNewStateMap)
			{
				State* newState=0;
				vint mapIndex=oldNewStateMap.Keys().IndexOf(oldState);
				if(mapIndex==-1)
				{
					newState=newAutomaton->CopyState(oldState);
					oldNewStateMap.Add(oldState, newState);
				}
				else
				{
					newState=oldNewStateMap.Values().Get(mapIndex);
				}
				if(!scanningStates.Contains(oldState))
				{
					scanningStates.Add(oldState);
				}
				return newState;
			}
State * GetMappedState ( Ptr < Automaton > newAutomaton , State * oldState , List < State * > & scanningStates , Dictionary < State * , State * > & oldNewStateMap ) { State * newState = 0 ; vint mapIndex = oldNewStateMap . Keys ( ) . IndexOf ( oldState ) ; if ( mapIndex == -1 ) { newState = newAutomaton -> CopyState ( oldState ) ; oldNewStateMap . Add ( oldState , newState ) ; } else { newState = oldNewStateMap . Values ( ) . Get ( mapIndex ) ; } if ( ! scanningStates . Contains ( oldState ) ) { scanningStates . Add ( oldState ) ; } return newState ; }
map old state to new state and track all states that are not visited yet
map old state to new state and track all states that are not visited yet