public NfsaInstance(StartState ss, NFSA parent)
{
myStartCondition = ss;
this.parent = parent;
this.pack = parent.task.ChrClasses;
if (pack)
maxS = parent.task.partition.Length; // Number of equivalence classes
else
maxS = parent.task.TargetSymCardinality; // Size of alphabet
entryState = MkState();
}
bool AddStartState( bool isX, bool isDummy, string name ) {
if (name != null)
if (startStates.ContainsKey( name ))
return false;
else {
StartState state = new StartState( isDummy, name );
startStates.Add( name, state );
if (!isX)
inclStates.Add( state );
}
return true;
}
