protected virtual HashSet<object> GetDFAPathStatesToTarget( DFAState targetState )
{
HashSet<object> dfaStates = new HashSet<object>();
_stateReachable = new Dictionary<int, Reachable>();
if ( _dfa == null || _dfa.StartState == null )
{
return dfaStates;
}
bool reaches = ReachesState( _dfa.StartState, targetState, dfaStates );
return dfaStates;
}