Beispiel #1
0
        public override SharedObject duplicate()
        {
            ATermApplImpl clone = new ATermApplImpl(factory);

            clone.init(GetHashCode(), getAnnotations(), fun, args);
            return(clone);
        }
Beispiel #2
0
		public override SharedObject duplicate() 
		{
			ATermApplImpl clone = new ATermApplImpl(factory);
			clone.init(GetHashCode(), getAnnotations(), fun, args);
			return clone;
		}