Searched refs:Transitive (Results 1 – 1 of 1) sorted by relevance
374 bool Transitive = true; in doFunctionalCheck() local378 Transitive = Res3 == Res1; in doFunctionalCheck()381 Transitive = Res3 == Res1; in doFunctionalCheck()384 Transitive = Res4 == -Res1; in doFunctionalCheck()387 if (!Transitive) { in doFunctionalCheck()