Replacement       525 src/Associativity.cpp     typedef AssociativeOp::Replacement Replacement;
Replacement       539 src/Associativity.cpp                               {Replacement("x", f_call_0)},
Replacement       540 src/Associativity.cpp                               {Replacement("y", y)},
Replacement       548 src/Associativity.cpp                               {Replacement("x", f_call_0)},
Replacement       549 src/Associativity.cpp                               {Replacement("y", y)},
Replacement       557 src/Associativity.cpp                               {Replacement("x", f_call_0)},
Replacement       558 src/Associativity.cpp                               {Replacement("y", y)},
Replacement       566 src/Associativity.cpp                               {Replacement("x", f_call_0)},
Replacement       567 src/Associativity.cpp                               {Replacement("y", y)},
Replacement       584 src/Associativity.cpp                               {Replacement("x", f_call_0)},
Replacement       585 src/Associativity.cpp                               {Replacement("y", y)},
Replacement       593 src/Associativity.cpp                               {Replacement("x", f_call_0)},
Replacement       594 src/Associativity.cpp                               {Replacement("y", y)},
Replacement       622 src/Associativity.cpp                           {Replacement("x", f_call_0)},
Replacement       623 src/Associativity.cpp                           {Replacement("y", y + Cast::make(Int(16), z))},
Replacement       631 src/Associativity.cpp                           {Replacement("x", f_call_0)},
Replacement       632 src/Associativity.cpp                           {Replacement("y", y + z)},
Replacement       640 src/Associativity.cpp                           {Replacement("x", f_call_0)},
Replacement       641 src/Associativity.cpp                           {Replacement("y", y)},
Replacement       649 src/Associativity.cpp                           {Replacement("", Expr()), Replacement("", Expr()), Replacement("x2", f_call_2)},
Replacement       650 src/Associativity.cpp                           {Replacement("y0", 2), Replacement("y1", 3), Replacement("y2", z)},
Replacement       661 src/Associativity.cpp                           {Replacement("x0", f_call_0), Replacement("x1", f_call_1), Replacement("x2", f_call_2)},
Replacement       662 src/Associativity.cpp                           {Replacement("y0", g_call_0), Replacement("y1", g_call_0*2), Replacement("y2", z)},
Replacement       673 src/Associativity.cpp                           {Replacement("x", f_call_0)},
Replacement       674 src/Associativity.cpp                           {Replacement("y", max(g_call_0, -3))},
Replacement       682 src/Associativity.cpp                           {Replacement("", Expr())},
Replacement       683 src/Associativity.cpp                           {Replacement("y", min(g_call_0, 4))},
Replacement       694 src/Associativity.cpp                           {Replacement("x", f_call_0)},
Replacement       695 src/Associativity.cpp                           {Replacement("y", g_call_0 + 2)},
Replacement       706 src/Associativity.cpp                           {Replacement("x0", f_call_0), Replacement("x1", f_call_1)},
Replacement       707 src/Associativity.cpp                           {Replacement("y0", g_call_0), Replacement("y1", g_call_1)},
Replacement       718 src/Associativity.cpp                           {Replacement("x0", f_call_0), Replacement("x1", f_call_1)},
Replacement       719 src/Associativity.cpp                           {Replacement("y0", g_call_0), Replacement("y1", rx)},
Replacement       727 src/Associativity.cpp                           {Replacement("x", f_call_0)},
Replacement       728 src/Associativity.cpp                           {Replacement("y", xs[0])},
Replacement       755 src/Associativity.cpp                               {Replacement("x0", f_xy_call_0), Replacement("", Expr()), Replacement("x2", f_xy_call_2), Replacement("x3", f_xy_call_3)},
Replacement       756 src/Associativity.cpp                               {Replacement("y0", g_xy_call_0), Replacement("y1", rx + ry), Replacement("y2", rx), Replacement("y3", ry)},
Replacement        58 src/Associativity.h         Replacement() {}
Replacement        59 src/Associativity.h         Replacement(const std::string &var, Expr expr) : var(var), expr(expr) {}
Replacement        61 src/Associativity.h         bool operator==(const Replacement &other) const {
Replacement        64 src/Associativity.h         bool operator!=(const Replacement &other) const {
Replacement        71 src/Associativity.h     std::vector<Replacement> xs;
Replacement        72 src/Associativity.h     std::vector<Replacement> ys;
Replacement        77 src/Associativity.h     AssociativeOp(const AssociativePattern &p, const std::vector<Replacement> &xs,
Replacement        78 src/Associativity.h                   const std::vector<Replacement> &ys, bool is_associative)