Searched refs:ParallelLevels (Results 1 – 1 of 1) sorted by relevance
734 BooleanStateWithSetVector<uint8_t> ParallelLevels; member757 ParallelLevels.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()769 ParallelLevels.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()790 if (ParallelLevels != RHS.ParallelLevels) in operator ==()3636 (ParallelLevels.isValidState() in getAsStr()3637 ? std::to_string(ParallelLevels.size()) in getAsStr()4721 if (!ParallelLevels.isValidState()) in updateImpl()4834 if (CAA && CAA->ParallelLevels.isValidState()) { in updateParallelLevels()4841 ParallelLevels.indicatePessimisticFixpoint(); in updateParallelLevels()4845 ParallelLevels ^= CAA->ParallelLevels; in updateParallelLevels()[all …]