Home
last modified time | relevance | path

Searched refs:transitive (Results 1 – 25 of 49) sorted by relevance

12

/netbsd-src/external/mit/isl/dist/doc/
H A Dimplementation.tex844 \label{eq:transitive:power}
857 then the transitive closure $R^+$ of $R$ is the union
864 Alternatively, the transitive closure may be defined
867 \label{eq:transitive:inductive}
872 Since the transitive closure of a polyhedral relation
875 of the transitive closure.
880 to be as close as possible to the actual transitive closure
884 For computing an approximation of the transitive closure of $R$,
897 The transitive closure is then
931 \label{eq:transitive:approx}
[all …]
H A Dreading.tex29 \item The transitive closure operation is described
H A Disl.bib339 and to improve the computation of transitive closure overapproximations
/netbsd-src/external/gpl2/gmake/dist/tests/scripts/functions/
H A Dcall36 # Implement transitive closure using $(call ...)
/netbsd-src/sys/external/mit/xen-include-public/dist/xen/include/public/
H A Dgrant_table.h276 } transitive; member
/netbsd-src/crypto/external/bsd/heimdal/dist/doc/
H A Dwin2k.texi96 By default the trust will be non-transitive. This means that only users
98 to transitive by using the @command{netdom.exe} tool. @command{netdom.exe}
/netbsd-src/external/mit/isl/dist/
H A DChangeLog263 - improved transitive closure
/netbsd-src/external/gpl3/gcc/dist/gcc/d/dmd/
H A Dtypesem.d858 mtype.transitive(); in typeSemantic()
888 mtype.transitive(); in typeSemantic()
1073 mtype.transitive(); in typeSemantic()
1121 mtype.transitive(); in typeSemantic()
1146 mtype.transitive(); in typeSemantic()
2001 mtype.transitive(); in typeSemantic()
H A Dmtype.h385 void transitive();
/netbsd-src/external/apache2/llvm/dist/clang/docs/analyzer/developer-docs/
H A DRegionStore.rst101 have changed as well.) The algorithm that traverses this transitive closure of
/netbsd-src/external/gpl3/gcc.old/dist/gcc/d/dmd/
H A Dmtype.c2888 void TypeNext::transitive() in transitive() function
4207 transitive(); in semantic()
4443 transitive(); in semantic()
4775 transitive(); in semantic()
4959 { transitive(); in semantic()
5110 transitive(); in semantic()
9184 transitive(); in semantic()
H A Dmtype.h384 void transitive();
/netbsd-src/external/apache2/llvm/dist/llvm/docs/
H A DNewPassManager.rst327 // Check transitive dependencies.
H A DMemorySSA.rst376 Second, some alias analysis results are not transitive (IE A noalias B,
H A DMergeFunctions.rst497 version. But, unfortunately, it is not transitive. And this is the only case
/netbsd-src/share/misc/
H A Dstyle64 * Avoid relying on transitive inclusions.
/netbsd-src/external/gpl3/gcc.old/dist/gcc/doc/
H A Dpoly-int.texi262 All ``maybe'' relations except @code{maybe_ne} are transitive, so for example:
315 All ``known'' relations except @code{known_ne} are transitive.
H A Dlto.texi310 transitive closure operation over the summary information of all
/netbsd-src/external/gpl3/gcc/dist/gcc/doc/
H A Dpoly-int.texi262 All ``maybe'' relations except @code{maybe_ne} are transitive, so for example:
315 All ``known'' relations except @code{known_ne} are transitive.
H A Dlto.texi309 transitive closure operation over the summary information of all
H A Dpasses.texi386 by performing a transitive closure over the call graph. It is located in
/netbsd-src/external/apache2/llvm/dist/llvm/cmake/modules/
H A DAddLLVM.cmake1119 # transitive link dependencies. Do this by starting with the set of direct
1159 # transitive link against only the libraries whose symbols
/netbsd-src/external/gpl2/gmake/dist/tests/
H A DChangeLog571 * scripts/functions/call: New test: transitive closure
/netbsd-src/external/apache2/llvm/dist/clang/docs/
H A DModules.rst816 ``export *`` provides the same transitive-inclusion behavior
820 compatibility for programs that rely on transitive inclusion (i.e.,
/netbsd-src/external/gpl2/gettext/dist/gettext-tools/po/
H A DChangeLog.01027 AIX 3.x's make does not know implicit, transitive rules. Reported

12