Lines Matching refs:SetTheory
1307 const SetTheory::RecVec *Regs = RegBank.getSets().expand(CSRSet);1324 SetTheory::RecSet OPSet;