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; }