Beispiel #1
0
 public CPDLSetCardinality(CPDLSet originalSet, CPDLInteger originalN)
 {
     this.originalSet = originalSet;
     this.originalN = originalN;
 }
Beispiel #2
0
 public CPDLSetCardinalityModule(CPDLSet originalSet, CPDLInteger originalN, CPDLInteger originalM)
 {
     this.originalSet = originalSet;
     this.originalN = originalN;
     this.originalM = originalM;
 }
Beispiel #3
0
 public CPDLPredOrSuccPos(CPDLInteger repetitions, CPDLPos operand)
 {
     this.repetitions = repetitions;
     this.operand = operand;
 }