/** Return a List<Label> indicating an input sequence that can be matched * from the start state of the DFA to the targetState (which is known * to have a problem). */ public List<Label> getSampleNonDeterministicInputSequence(DFAState targetState) { Set<DFAState> dfaStates = getDFAPathStatesToTarget(targetState); statesVisitedDuringSampleSequence = new HashSet<Integer>(); List<Label> labels = new ArrayList<Label>(); // may access ith element; use array if ( dfa==null || dfa.startState==null ) { return labels; } getSampleInputSequenceUsingStateSet(dfa.startState, targetState, dfaStates, labels); return labels; }
/** Return a List<Label> indicating an input sequence that can be matched * from the start state of the DFA to the targetState (which is known * to have a problem). */ public List<Label> getSampleNonDeterministicInputSequence(DFAState targetState) { Set<DFAState> dfaStates = getDFAPathStatesToTarget(targetState); statesVisitedDuringSampleSequence = new HashSet<Integer>(); List<Label> labels = new ArrayList<Label>(); // may access ith element; use array if ( dfa==null || dfa.startState==null ) { return labels; } getSampleInputSequenceUsingStateSet(dfa.startState, targetState, dfaStates, labels); return labels; }
/** Return a List<Label> indicating an input sequence that can be matched * from the start state of the DFA to the targetState (which is known * to have a problem). */ public List<Label> getSampleNonDeterministicInputSequence(DFAState targetState) { Set dfaStates = getDFAPathStatesToTarget(targetState); statesVisitedDuringSampleSequence = new HashSet<Integer>(); List<Label> labels = new ArrayList<Label>(); // may access ith element; use array if ( dfa==null || dfa.startState==null ) { return labels; } getSampleInputSequenceUsingStateSet(dfa.startState, targetState, dfaStates, labels); return labels; }
/** Return a List<Label> indicating an input sequence that can be matched * from the start state of the DFA to the targetState (which is known * to have a problem). */ public List<Label> getSampleNonDeterministicInputSequence(DFAState targetState) { Set dfaStates = getDFAPathStatesToTarget(targetState); statesVisitedDuringSampleSequence = new HashSet<Integer>(); List<Label> labels = new ArrayList<Label>(); // may access ith element; use array if ( dfa==null || dfa.startState==null ) { return labels; } getSampleInputSequenceUsingStateSet(dfa.startState, targetState, dfaStates, labels); return labels; }