HomeSort by: relevance | last modified time | path
    Searched defs:unifier (Results 1 - 1 of 1) sorted by relevancy

  /src/external/mit/isl/dist/interface/
template_cpp.cc 2233 /* Try and extend "unifier" with a unifier for "kind1" and "kind2".
2234 * Return the resulting unifier if successful.
2237 * First apply "unifier" to "kind1" and "kind2".
2238 * Then compute a unifier for the resulting tuple kinds and
2239 * combine it with "unifier".
2242 const TupleKindPtr &kind2, const Substitution &unifier)
2244 auto k1 = apply(kind1, unifier);
2245 auto k2 = apply(kind2, unifier);
2249 return compose(unifier, u)
2319 Substitution unifier; local
2347 auto unifier = compute_unifier(general, renamed); local
    [all...]

Completed in 22 milliseconds