示例#1
0
        public static void remove(Procedure p, QuantifiedTypeCollector qtc)
        {
            var tqr = new TypeQuantificationRemover(p, qtc);

            tqr.removeTypeQuantification();
        }
示例#2
0
 public TypeQuantificationRemover(Procedure p, QuantifiedTypeCollector qtc)
 {
     this.qtc  = qtc;
     procedure = p;
 }