public virtual IList<Label> GetSampleNonDeterministicInputSequence( DFAState targetState )
{
HashSet<object> dfaStates = GetDFAPathStatesToTarget( targetState );
_statesVisitedDuringSampleSequence = new HashSet<int>();
IList<Label> labels = new List<Label>(); // may access ith element; use array
if ( _dfa == null || _dfa.StartState == null )
{
return labels;
}
GetSampleInputSequenceUsingStateSet( _dfa.StartState,
targetState,
dfaStates,
labels );
return labels;
}