Searched refs:NumAAs (Results 1 – 2 of 2) sorted by relevance
1720 size_t NumAAs = DG.SyntheticRoot.Deps.size(); in runTillFixpoint() local1786 ChangedAAs.append(DG.SyntheticRoot.begin() + NumAAs, in runTillFixpoint()
100 STATISTIC(NumAAs, "Number of abstract attributes created");10776 ++NumAAs; \