public String toXML() { return expr.toXML(); }
public StoreExpr(EncodedCoverageExpr e) { expr = e; expr.setStoreFlag(); }