public CPDLBelongs(CPDLPos originalPosition, CPDLSet originalSet)
{
this.originalPosition = originalPosition;
this.originalSet = originalSet;
}
public CPDLAtPosPred(CPDLChar originalChar, CPDLPos originalPos)
{
this.originalPos = originalPos;
this.originalChar = originalChar;
}
public CPDLPosComparisonSet(CPDLPos original)
{
this.original = original;
}
public CPDLBinaryPosPred(CPDLPos lhs, CPDLPos rhs)
{
this.lhs = lhs;
this.rhs = rhs;
}
public CPDLPredOrSuccPos(CPDLInteger repetitions, CPDLPos operand)
{
this.repetitions = repetitions;
this.operand = operand;
}
