Lines Matching defs:relA

290     IntegerRelation &relA, IntegerRelation &relB,
292   assert(relA.getSpace().isCompatible(relB.getSpace()) &&
295   // Merge local vars of relA and relB without using division information,
296   // i.e. append local vars of `relB` to `relA` and insert local vars of `relA`
298   unsigned initLocals = relA.getNumLocalVars();
299   relA.insertVar(VarKind::Local, relA.getNumLocalVars(),
304   DivisionRepr divsA = relA.getLocalReprs();
311   // call, calls `merge` to effectively merge divisions in relA and relB.