Searched refs:statesVisitedDuringSampleSequence (Results 1 – 1 of 1) sorted by relevance
164 protected Set<Integer> statesVisitedDuringSampleSequence; field in DecisionProbe300 statesVisitedDuringSampleSequence = new HashSet<Integer>(); in getSampleNonDeterministicInputSequence()771 statesVisitedDuringSampleSequence.add(startState.stateNumber); in getSampleInputSequenceUsingStateSet()778 !statesVisitedDuringSampleSequence.contains(edgeTarget.stateNumber) ) in getSampleInputSequenceUsingStateSet()