Esempio n. 1
0
        public override void visitReal(ATermReal r)         // throws VisitFailure
        {
            string txt = r.getReal().ToString();

            stream.Write(txt);
            position += txt.Length;
        }
Esempio n. 2
0
 public override bool equivalent(SharedObject obj)
 {
     if (base.equivalent(obj))
     {
         ATermReal peer = (ATermReal)obj;
         return(peer.getReal() == value);
     }
     return(false);
 }
Esempio n. 3
0
		public override void visitReal(ATermReal r) // throws VisitFailure 
		{
			string txt = r.getReal().ToString();
			stream.Write(txt);
			position += txt.Length;
		}