public CPDLSubsetPred(CPDLSet set1, CPDLSet set2)
{
this.set1 = set1;
this.set2 = set2;
}
public CPDLSetCardinalityModule(CPDLSet originalSet, CPDLInteger originalN, CPDLInteger originalM)
{
this.originalSet = originalSet;
this.originalN = originalN;
this.originalM = originalM;
}
public CPDLSetCardinality(CPDLSet originalSet, CPDLInteger originalN)
{
this.originalSet = originalSet;
this.originalN = originalN;
}
public CPDLBelongs(CPDLPos originalPosition, CPDLSet originalSet)
{
this.originalPosition = originalPosition;
this.originalSet = originalSet;
}
public CPDLAtSetPred(CPDLChar originalChar, CPDLSet originalSet)
{
this.originalChar = originalChar;
this.originalSet = originalSet;
}
public CPDLSetOperatorSet(CPDLSet lhs, CPDLSet rhs)
{
this.lhs = lhs;
this.rhs = rhs;
}