public override SharedObject duplicate() { ATermRealImpl clone = new ATermRealImpl(factory); clone.init(GetHashCode(), getAnnotations(), value); return(clone); }
public virtual ATermReal makeReal(double value, ATermList annos) { lock (protoReal) { protoReal.init(hashReal(annos, value), annos, value); return((ATermReal)build(protoReal)); } }
public override SharedObject duplicate() { ATermRealImpl clone = new ATermRealImpl(factory); clone.init(GetHashCode(), getAnnotations(), value); return clone; }