Searched refs:ParallelLevels (Results 1 – 1 of 1) sorted by relevance
721 BooleanStateWithSetVector<uint8_t> ParallelLevels; member744 ParallelLevels.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()756 ParallelLevels.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()777 if (ParallelLevels != RHS.ParallelLevels) in operator ==()3633 (ParallelLevels.isValidState() in getAsStr()3634 ? std::to_string(ParallelLevels.size()) in getAsStr()4719 if (!ParallelLevels.isValidState()) in updateImpl()4832 if (CAA && CAA->ParallelLevels.isValidState()) { in updateParallelLevels()4839 ParallelLevels.indicatePessimisticFixpoint(); in updateParallelLevels()4843 ParallelLevels ^= CAA->ParallelLevels; in updateParallelLevels()[all …]