Lines Matching refs:ns1
3072 NumberingSystem *ns1 = new NumberingSystem(*ns);3073 if (ns1 == NULL) {3077 delete ns1;