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