public DoubleValue createDoubleValue() { return new IdentifiedDoubleValue(this, doubleID++); }
public DoubleValue createDoubleValue() { return new IdentifiedDoubleValue(this, doubleID++); }
public DoubleValue createDoubleValue() { return new IdentifiedDoubleValue(this, doubleID++); }
public DoubleValue createDoubleValue() { return new IdentifiedDoubleValue(this, doubleID++); }