示例#1
0
        public override SharedObject duplicate()
        {
            ATermRealImpl clone = new ATermRealImpl(factory);

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