public CPDLSetCardinality(CPDLSet originalSet, CPDLInteger originalN)
{
this.originalSet = originalSet;
this.originalN = originalN;
}
public CPDLSetCardinalityModule(CPDLSet originalSet, CPDLInteger originalN, CPDLInteger originalM)
{
this.originalSet = originalSet;
this.originalN = originalN;
this.originalM = originalM;
}
public CPDLPredOrSuccPos(CPDLInteger repetitions, CPDLPos operand)
{
this.repetitions = repetitions;
this.operand = operand;
}