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() function25 TupleKindPtr(const std::string &name);26 TupleKindPtr(const TupleKindPtr &left, const TupleKindPtr &right);45 virtual TupleKindPtr apply(const Substitution &subs,46 const TupleKindPtr &self) const;47 virtual TupleKindPtr left() const;48 virtual TupleKindPtr right() const;[all …]
82 static TupleKindPtr apply(const TupleKindPtr tuple, const Substitution &subs) in apply()93 return TupleKindPtr(); in left()102 return TupleKindPtr(); in right()116 TupleKindPtr::TupleKindPtr(Fixed) : Base(std::make_shared<TupleKind>("")) in TupleKindPtr() function in TupleKindPtr169 TupleKindPtr::TupleKindPtr(const std::string &name) : in TupleKindPtr() function in TupleKindPtr177 Pair(const TupleKindPtr &tuple1, const TupleKindPtr &tuple2) : in Pair()187 const TupleKindPtr tuple1;188 const TupleKindPtr tuple2;235 TupleKindPtr Pair::apply(const Substitution &subs, const TupleKindPtr &self) in apply()258 TupleKindPtr::TupleKindPtr(const TupleKindPtr &left, const TupleKindPtr &right) in TupleKindPtr() function in TupleKindPtr[all …]