Searched refs:Transitive (Results 1 – 3 of 3) sorted by relevance
353 bool Transitive = true; in doFunctionalCheck() local357 Transitive = Res3 == Res1; in doFunctionalCheck()360 Transitive = Res3 == Res1; in doFunctionalCheck()363 Transitive = Res4 == -Res1; in doFunctionalCheck()366 if (!Transitive) { in doFunctionalCheck()
2111 for the Transitive Closure of Binary
15941 …title = "A Modification of {Warshall}'s Algorithm for the Transitive Closure of Binary Rela…