Searched defs:transition0 (Results 1 – 3 of 3) sorted by relevance
218 Transition transition0 = s.transition[0]; in _FIRST() local314 Transition transition0 = s.transition[0]; in _detectConfoundingPredicates() local410 Transition transition0 = s.transition[0]; in _getPredicates() local
577 Transition transition0 = ruleInvocationState.transition[0]; in computeAltToProblemMaps() local
635 Transition transition0 = p.transition[0]; in closure() local