reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
938 ConsumedState VarState = ThenStates->getState(Test.Var); 941 ThenStates->setState(Test.Var, Test.TestsFor); 941 ThenStates->setState(Test.Var, Test.TestsFor); 942 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); 942 ElseStates->setState(Test.Var, invertConsumedUnconsumed(Test.TestsFor)); 943 } else if (VarState == invertConsumedUnconsumed(Test.TestsFor)) { 945 } else if (VarState == Test.TestsFor) {