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