Here are the member functions of LoopPeelingChanger, in order of decreasing generality. The code is explained in the comments.