Searched refs:ParallelLevels (Results 1 – 1 of 1) sorted by relevance
625 BooleanStateWithSetVector<uint8_t> ParallelLevels; member648 ParallelLevels.indicatePessimisticFixpoint(); in indicatePessimisticFixpoint()659 ParallelLevels.indicateOptimisticFixpoint(); in indicateOptimisticFixpoint()680 if (ParallelLevels != RHS.ParallelLevels) in operator ==()3405 (ParallelLevels.isValidState() in getAsStr()3406 ? std::to_string(ParallelLevels.size()) in getAsStr()4433 if (!ParallelLevels.isValidState()) in updateImpl()4544 if (CAA.ParallelLevels.isValidState()) { in updateParallelLevels()4551 ParallelLevels.indicatePessimisticFixpoint(); in updateParallelLevels()4555 ParallelLevels ^= CAA.ParallelLevels; in updateParallelLevels()[all …]