public string insert(DTPat p) { throw new NotImplementedException(); }
public void addInstr(DTPat p) { throw new NotImplementedException(); }
public string update(DTPat p) { throw new NotImplementedException(); }
public Pat DTPatToPat(DTPat p) { throw new NotImplementedException(); }