Searched refs:ExclInvs (Results 1 – 1 of 1) sorted by relevance
95 ExclInvsSet ExclInvs; member105 : ExclInvs(Q.ExclInvs), AC(Q.AC), CxtI(Q.CxtI), DT(Q.DT) { in Query()106 ExclInvs.insert(NewExcl); in Query()690 if (Q.ExclInvs.count(I)) in computeKnownBitsFromAssume()