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

  /src/external/mit/isl/dist/interface/
template_cpp.h 16 struct TupleKind;
18 /* A shared pointer to a TupleKind.
20 struct TupleKindPtr : public std::shared_ptr<const TupleKind> {
21 using Base = std::shared_ptr<const TupleKind>;
40 struct TupleKind {
41 TupleKind(const std::string &name) : name(name) {}
template_cpp.cc 51 std::string TupleKind::to_string() const
60 std::vector<std::string> TupleKind::params() const
72 TupleKindPtr TupleKind::apply(const Substitution &subs,
91 TupleKindPtr TupleKind::left() const
100 TupleKindPtr TupleKind::right() const
116 TupleKindPtr::TupleKindPtr(Fixed) : Base(std::make_shared<TupleKind>(""))
148 struct ProperTupleKind : public TupleKind {
149 ProperTupleKind(const std::string &name) : TupleKind(name) {}
176 struct Pair : public TupleKind {
178 TupleKind(""), tuple1(tuple1), tuple2(tuple2) {
    [all...]

Completed in 30 milliseconds