Beispiel #1
0
 public ERRTerm(ERRType err)
 {
     TermType = TermTypes.ERR; val = new int[1]; val[0] = (int)err;
 }
Beispiel #2
0
 public TermAbsClass(ERRType err)
 {
     TermType = TermTypes.ERR; val = new int[1]; val[0] = (int)err;
 }