public CPDLAtSetPred(CPDLChar originalChar, CPDLSet originalSet)
 {
     this.originalChar = originalChar;
     this.originalSet = originalSet;
 }
 public CPDLAtPosPred(CPDLChar originalChar, CPDLPos originalPos)
 {
     this.originalPos = originalPos;
     this.originalChar = originalChar;
 }