Searched refs:Transitive (Results 1 – 9 of 9) sorted by relevance
373 bool Transitive = true; in doSanityCheck() local377 Transitive = Res3 == Res1; in doSanityCheck()380 Transitive = Res3 == Res1; in doSanityCheck()383 Transitive = Res4 == -Res1; in doSanityCheck()386 if (!Transitive) { in doSanityCheck()
6 title = {Transitive Closure of Infinite Graphs and Its Applications},27 title = {Computing the Transitive Closure of a Union of Affine Integer Tuple Relations},406 title = {Transitive Closures of Affine Integer Tuple Relations and Their Overapproximations},
835 \section{Transitive Closure}855 \begin{definition}[Transitive Closure of a Relation]
6792 =item * Transitive closure
2111 for the Transitive Closure of Binary
15941 …title = "A Modification of {Warshall}'s Algorithm for the Transitive Closure of Binary Rela…
1271 msgid "/Select/Transitive"
1347 msgid "/Select/Transitive"
81998 manually to just the direct forward dependencies. Transitive forward