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