Package org.smtlib.solvers

Class Solver_z3_4_3.Translator

java.lang.Object

org.smtlib.sexpr.Printer

org.smtlib.solvers.Solver_z3_4_3.Translator

All Implemented Interfaces:

IPrinter, IVisitor<Void>

Enclosing class:

Solver_z3_4_3

public class Solver_z3_4_3.Translator
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
Translator(Writer w)

Method Summary

Modifier and Type	Method	Description
protected <T extends IExpr> void	leftassoc(String fcnname, int length, Iterator<T> iter)
Void	visit(IExpr.IFcnExpr e)

Methods inherited from class org.smtlib.sexpr.Printer

append, error, exc, flush, newPrinter, print, printCommand, printCommand, toString, 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, visit, write, write, write, writer

Methods inherited from class java.lang.Object

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

Constructor Details

Translator

public Translator(Writer w)

Method Details

visit

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

Specified by:

visit in interface IVisitor<Void>

Overrides:

visit in class Printer

Throws:

IVisitor.VisitorException

leftassoc

protected <T extends IExpr> void leftassoc(String fcnname,
 int length,
 Iterator<T> iter)
                                    throws IVisitor.VisitorException

Throws:

IVisitor.VisitorException