Beispiel #1
0
 public virtual ATermAppl makeAppl(AFun fun, ATerm[] args, ATermList annos)
 {
     lock (protoAppl)
     {
         protoAppl.initHashCode(annos, fun, args);
         return((ATermAppl)build(protoAppl));
     }
 }