Searched refs:labelDFATarget (Results 1 – 1 of 1) sorted by relevance
850 DFAState labelDFATarget = dfa.newState(); in reach() local889 NFAConfiguration newC = labelDFATarget.addNFAConfiguration( in reach()896 if ( labelDFATarget.nfaConfigurations.size()==0 ) { in reach()898 dfa.setState(labelDFATarget.stateNumber, null); in reach()899 labelDFATarget = null; in reach()901 return labelDFATarget; in reach()