// org.dmd.dmg.generators.BaseDMWGenerator.formatMV(BaseDMWGenerator.java:2292)
 public void remTsString() {
   ((PrimitiveTSDMO) core).remTsString();
 }
 // org.dmd.dmg.generators.BaseDMWGenerator.formatMV(BaseDMWGenerator.java:2271)
 public void delTsString(Object value) throws DmcValueException {
   ((PrimitiveTSDMO) core).delTsString(value);
 }
 // org.dmd.dmg.generators.BaseDMWGenerator.formatMV(BaseDMWGenerator.java:2280)
 public void delTsString(String value) {
   ((PrimitiveTSDMO) core).delTsString(value);
 }
 // org.dmd.dmg.generators.BaseDMWGenerator.formatMV(BaseDMWGenerator.java:2143)
 public void addTsString(String value) {
   ((PrimitiveTSDMO) core).addTsString(value);
 }