Package org.smtlib.solvers

Class Printer

java.lang.Object

org.smtlib.sexpr.Printer

org.smtlib.solvers.Printer

All Implemented Interfaces:

IPrinter, IVisitor<Void>

public class Printer
extends Printer

Nested Class Summary

Nested classes/interfaces inherited from class org.smtlib.sexpr.Printer

Printer.PrintArgs, Printer.WithLines

Nested classes/interfaces inherited from interface org.smtlib.IVisitor

IVisitor.TreeVisitor<T>, IVisitor.VisitorException

Field Summary

Fields inherited from class org.smtlib.sexpr.Printer

eol, smtConfig, w

Constructor Summary

Constructors

Constructor	Description
Printer(SMT.Configuration smtConfig, Writer w)	Creates a printer object that follows the given Configuration's rules.

Method Summary

Modifier and Type	Method	Description
Printer	newPrinter(Writer w)	Creates a new printer of the same type as the receiver, writing to the given Writer.
<T extends INode> String	toString(T expr)	Returns the argument as a String using a Printer of the same type as the receiver, but does not modify the receiver.
Void	visit(IExpr.IExists e)
Void	visit(IExpr.IForall e)
static <T extends INode> void	write(SMT.Configuration smtConfig, PrintStream w, T e)	Writes the given expression to the given stream, following the given Configuration's rules.
static <T extends INode> void	write(SMT.Configuration smtConfig, Writer w, T e)	Writes the given expression to the given writer, following the given Configuration's rules.
static <T extends INode> String	write(SMT.Configuration smtConfig, T e)	Writes the given expression and outputs as a String, following the given Configuration's rules.

Methods inherited from class org.smtlib.sexpr.Printer

append, error, exc, flush, print, printCommand, printCommand, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, writer

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Printer

public Printer(SMT.Configuration smtConfig,
 Writer w)

Creates a printer object that follows the given Configuration's rules.

Method Details

newPrinter

public Printer newPrinter(Writer w)

Description copied from interface: IPrinter

Creates a new printer of the same type as the receiver, writing to the given Writer.

Specified by:

newPrinter in interface IPrinter

Overrides:

newPrinter in class Printer

toString

public <T extends INode> String toString(T expr)

Description copied from class: Printer

Returns the argument as a String using a Printer of the same type as the receiver, but does not modify the receiver.

Specified by:

toString in interface IPrinter

Overrides:

toString in class Printer

write

public static <T extends INode> String write(SMT.Configuration smtConfig,
 T e)

Writes the given expression and outputs as a String, following the given Configuration's rules.

write

public static <T extends INode> void write(SMT.Configuration smtConfig,
 Writer w,
 T e)
                                    throws IVisitor.VisitorException

Writes the given expression to the given writer, following the given Configuration's rules.

Throws:

IVisitor.VisitorException

write

public static <T extends INode> void write(SMT.Configuration smtConfig,
 PrintStream w,
 T e)
                                    throws IVisitor.VisitorException

Writes the given expression to the given stream, following the given Configuration's rules.

Throws:

IVisitor.VisitorException

visit

public Void visit(IExpr.IForall e)
           throws IVisitor.VisitorException

Specified by:

visit in interface IVisitor<Void>

Overrides:

visit in class Printer

Throws:

IVisitor.VisitorException

visit

public Void visit(IExpr.IExists e)
           throws IVisitor.VisitorException

Specified by:

visit in interface IVisitor<Void>

Overrides:

visit in class Printer

Throws:

IVisitor.VisitorException