Lines Matching full:invariant
932 * of effects that make a readToUPM->writeToPM->readToUPM cycle invariant. Otherwise, they
