public override CPDLPos GetCPDL()
{
PDLPredecessor posUnary = this;
int repetitions = 1;
while (posUnary.pos is PDLPredecessor)
{
posUnary = posUnary.pos as PDLPredecessor;
repetitions += 1;
}
CPDLInteger repetitionsChoice = new CPDLInteger(repetitions);
CPDLPos pos = posUnary.pos.GetCPDL();
return(new CPDLPredOrSuccPos(repetitionsChoice, pos));
}
public override CPDLSet GetCPDL()
{
CPDLPos pos = this.pos.GetCPDL();
return(new CPDLPosComparisonSet(pos));
}
