Lines Matching defs:Mutation
96 const std::pair<unsigned, LLT> &Mutation) {
106 return Q.Types[Mutation.first] != Mutation.second;
114 std::pair<unsigned, LLT> Mutation) {
121 if (!Mutation.second.isValid())
124 const unsigned TypeIdx = Mutation.first;
126 const LLT NewTy = Mutation.second;
197 std::pair<unsigned, LLT> Mutation = Rule.determineMutation(Query);
199 << Mutation.first << ", " << Mutation.second << "\n");
200 assert(mutationIsSane(Rule, Query, Mutation) &&
202 assert(hasNoSimpleLoops(Rule, Query, Mutation) && "Simple loop detected");
203 return {Rule.getAction(), Mutation.first, Mutation.second};