this.result = new CUDDBDD[INSTANCE.varNum()]; for (int n = 0; n < result.length; n++) this.result[n] = (CUDDBDD) INSTANCE.ithVar(INSTANCE.level2Var(n));  this.last = -1;
_ptr = alloc();
        private CUDDBDDPairing() {            this.result = new CUDDBDD[INSTANCE.varNum()];            for (int n = 0; n < result.length; n++)                this.result[n] =                    (CUDDBDD) INSTANCE.ithVar(INSTANCE.level2Var(n));            this.last = -1;        }