Searched refs:ExclInvs (Results 1 – 1 of 1) sorted by relevance
98 ExclInvsSet ExclInvs; member108 : ExclInvs(Q.ExclInvs), AC(Q.AC), CxtI(Q.CxtI), DT(Q.DT) { in Query()109 ExclInvs.insert(NewExcl); in Query()743 if (Q.ExclInvs.count(I)) in computeKnownBitsFromAssume()