/// <inheritdoc />
protected override void WriteRealTerm(IRealTerm term, TextWriter writer)
{
// CONTRACT: Inherited from TermTextWriter
writer.Write(term.Value.ToString(CultureInfo.InvariantCulture));
this.WriteAnnotations(term.Annotations, writer);
}
/// <inheritdoc />
protected override void WriteRealTerm(IRealTerm term, TextWriter writer)
{
#region Contract
if (term == null)
{
throw new ArgumentNullException(nameof(term));
}
if (writer == null)
{
throw new ArgumentNullException(nameof(writer));
}
#endregion
writer.Write(term.Value.ToString(CultureInfo.InvariantCulture));
this.WriteAnnotations(term.Annotations, writer);
}
/// <summary> /// Writes a floating-point number term to the specified writer. /// </summary> /// <param name="term">The term to write.</param> /// <param name="writer">The text writer to write to.</param> protected abstract void WriteRealTerm(IRealTerm term, TextWriter writer);
protected override void WriteRealTerm(IRealTerm term, TextWriter writer)
{
Contract.Requires(term != null);
Contract.Requires(writer != null);
}
/// <summary> /// Writes a floating-point number term to the specified writer. /// </summary> /// <param name="term">The term to write.</param> /// <param name="writer">The text writer to write to.</param> protected abstract void WriteRealTerm(IRealTerm term, TextWriter writer);
public void VisitReal(IRealTerm term)
{
Contract.Requires<ArgumentNullException>(term != null);
}
