/**
* Merges all the transitions in this state into another
* state.
*
* @param state the state to merge into
*/
public void MergeInto(NFAState state)
{
for (int i = 0; i < incoming.Length; i++)
{
state.AddIn(incoming[i]);
incoming[i].state = state;
}
incoming = null;
for (int i = 0; i < outgoing.Length; i++)
{
state.AddOut(outgoing[i]);
}
outgoing = null;
}
/**
* Merges all the transitions in this state into another
* state.
*
* @param state the state to merge into
*/
public void MergeInto(NFAState state)
{
for (int i = 0; i < incoming.Length; i++) {
state.AddIn(incoming[i]);
incoming[i].state = state;
}
incoming = null;
for (int i = 0; i < outgoing.Length; i++) {
state.AddOut(outgoing[i]);
}
outgoing = null;
}
/**
* Creates a new state transition.
*
* @param state the target state
*/
public NFATransition(NFAState state)
{
state = state;
state.AddIn(this);
}
