Home | History | Annotate | Download | only in ref

Lines Matching refs:dtmp

124       DTMNodeProxy dtmp = (DTMNodeProxy) node;
126       // return (dtmp.node == this.node);
128       return (dtmp.node == this.node) && (dtmp.dtm == this.dtm);
149       // DTMNodeProxy dtmp = (DTMNodeProxy)node;
150       // return (dtmp.node == this.node);