Lines Matching full:transformation
163 /// This transformation requires natural loop information & requires that
504 // Assuming before transformation, the loop is following:
555 // the transformation. It is lots easier to prove a countable loop dead
