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

  /src/external/mit/isl/dist/interface/
template_cpp.h 20 struct TupleKindPtr : public std::shared_ptr<const TupleKind> {
22 TupleKindPtr() = default;
23 TupleKindPtr(Fixed);
24 TupleKindPtr(Base base) : Base(base) {}
25 TupleKindPtr(const std::string &name);
26 TupleKindPtr(const TupleKindPtr &left, const TupleKindPtr &right);
31 using Substitution = std::unordered_map<std::string, TupleKindPtr>;
45 virtual TupleKindPtr apply(const Substitution &subs
    [all...]
template_cpp.cc 72 TupleKindPtr TupleKind::apply(const Substitution &subs,
73 const TupleKindPtr &self) const
82 static TupleKindPtr apply(const TupleKindPtr tuple, const Substitution &subs)
91 TupleKindPtr TupleKind::left() const
93 return TupleKindPtr();
100 TupleKindPtr TupleKind::right() const
102 return TupleKindPtr();
116 TupleKindPtr::TupleKindPtr(Fixed) : Base(std::make_shared<TupleKind>("")
    [all...]

Completed in 24 milliseconds