Searched refs:TupleKindPtr (Results 1 – 2 of 2) sorted by relevance
20 struct TupleKindPtr : public std::shared_ptr<const TupleKind> { struct22 TupleKindPtr() = default; argument23 TupleKindPtr(Fixed);24 TupleKindPtr(Base base) : Base(base) {} in TupleKindPtr() argument25 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,46 const TupleKindPtr &self) const;47 virtual TupleKindPtr left() const;[all …]
72 TupleKindPtr TupleKind::apply(const Substitution &subs, in apply()73 const TupleKindPtr &self) const in apply()82 static TupleKindPtr apply(const TupleKindPtr tuple, const Substitution &subs) in apply()91 TupleKindPtr TupleKind::left() const in left()93 return TupleKindPtr(); in left()100 TupleKindPtr TupleKind::right() const in right()102 return TupleKindPtr(); in right()116 TupleKindPtr::TupleKindPtr(Fixed) : Base(std::make_shared<TupleKind>("")) in TupleKindPtr() function in TupleKindPtr122 static TupleKindPtr Ctx{Fixed()};123 static TupleKindPtr Integer{Fixed()};[all …]