HomeSort by: relevance | last modified time | path
    Searched refs:acyclic (Results 1 - 3 of 3) sorted by relevancy

  /src/external/mit/isl/dist/
isl_transitive_closure.c 156 * If "project" is set and if "steps" can only result in acyclic paths,
715 /* Check whether "path" is acyclic, where the last coordinates of domain
727 isl_bool acyclic; local
742 acyclic = isl_set_is_empty(delta);
745 return acyclic;
2335 * In particular, check that app is acyclic and, if so,
  /src/external/mit/isl/dist/doc/
implementation.tex 1372 If $R$ is acyclic, then the inductive definition of
1387 forward relations, a special case of acyclic relations.
1410 in the acyclic case, so we only need to be careful that we find
1418 Note that if $R^+$ is acyclic and $T$ is not, then the approximation
  /src/external/bsd/ntp/dist/util/
ntp-keygen-opts.def 561 All group hosts should have acyclic certificate trails ending on the TH.

Completed in 27 milliseconds