java.lang.Object

org.smtlib.solvers.Solver_simplify.Translator

All Implemented Interfaces:: IVisitor<String>

Enclosing class:: Solver_simplify

public static class Solver_simplify.Translator extends Object implements IVisitor<String>

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.IVisitor
IVisitor.TreeVisitor<T>, IVisitor.VisitorException
Constructor Summary

Constructors

Constructor

Description

Translator(SMT.Configuration smtConfig)

Translator(SMT.Configuration smtConfig, boolean allLogic)
Method Summary

Modifier and Type

Method

Description

String

name(IExpr.ISymbol e)

The Simplify name of a symbol, as a function name or a bound variable

String

visit(ICommand e)

String

visit(ICommand.IScript e)

String

visit(IExpr.IAsIdentifier e)

String

visit(IExpr.IAttribute<?> e)

String

visit(IExpr.IAttributedExpr e)

String

visit(IExpr.IBinaryLiteral e)

String

visit(IExpr.IBinding e)

String

visit(IExpr.IConstructor e)

String

visit(IExpr.IDecimal e)

String

visit(IExpr.IDeclaration e)

String

visit(IExpr.IError e)

String

visit(IExpr.IExists e)

String

visit(IExpr.IFcnExpr e)

String

visit(IExpr.IForall e)

String

visit(IExpr.IFunctionDeclaration e)

String

visit(IExpr.IHexLiteral e)

String

visit(IExpr.IKeyword e)

String

visit(IExpr.ILambda e)

String

visit(IExpr.ILet e)

String

visit(IExpr.IMatch e)

String

visit(IExpr.IMatchCase e)

String

visit(IExpr.INumeral e)

String

visit(IExpr.IParameterizedIdentifier e)

String

visit(IExpr.IPattern e)

String

visit(IExpr.ISelector e)

String

visit(IExpr.ISortDeclaration e)

String

visit(IExpr.IStringLiteral e)

String

visit(IExpr.ISymbol e)

String

visit(ILogic s)

String

visit(IResponse e)

String

visit(IResponse.IAssertionsResponse e)

String

visit(IResponse.IAssignmentResponse e)

String

visit(IResponse.IAttributeList e)

String

visit(IResponse.IError e)

String

visit(IResponse.IProofResponse e)

String

visit(IResponse.IUnsatAssumptionsResponse e)

String

visit(IResponse.IUnsatCoreResponse e)

String

visit(IResponse.IValueResponse e)

String

visit(ISort.IAbbreviation s)

String

visit(ISort.IApplication s)

String

visit(ISort.IDatatype e)

String

visit(ISort.IFamily s)

String

visit(ISort.IFcnSort s)

String

visit(ISort.IParameter s)

String

visit(ITheory s)

String

visit(ISexpr.ISeq e)

String

visit(ISexpr.IToken<?> e)

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.smtlib.IVisitor
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

Constructor Details
- Translator
  
  public Translator(SMT.Configuration smtConfig)
- Translator
  
  public Translator(SMT.Configuration smtConfig, boolean allLogic)
Method Details
- visit
  
  public String visit(IExpr.IDecimal e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IStringLiteral e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.INumeral e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IBinaryLiteral e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IHexLiteral e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IFcnExpr e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.ISymbol e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- name
  
  public String name(IExpr.ISymbol e)
  
  The Simplify name of a symbol, as a function name or a bound variable
- visit
  
  public String visit(IExpr.IKeyword e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IError e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IParameterizedIdentifier e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IForall e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IExists e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IDeclaration e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IFunctionDeclaration e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.ISortDeclaration e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.ISelector e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IConstructor e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.ILambda e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.ILet e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IBinding e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IAttribute<?> e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IAttributedExpr e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IError e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IAsIdentifier e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ICommand.IScript e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ICommand e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISort.IFamily s) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISort.IAbbreviation s) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISort.IApplication s) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISort.IFcnSort s) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISort.IParameter s) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ILogic s) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ITheory s) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IAssertionsResponse e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IAssignmentResponse e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IProofResponse e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IValueResponse e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IUnsatCoreResponse e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IUnsatAssumptionsResponse e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IResponse.IAttributeList e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISexpr.ISeq e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISexpr.IToken<?> e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(ISort.IDatatype e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IMatch e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IMatchCase e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException
- visit
  
  public String visit(IExpr.IPattern e) throws IVisitor.VisitorException
  
  Specified by:
  
  visit in interface IVisitor<String>
  
  Throws:
  
  IVisitor.VisitorException

Class Solver_simplify.Translator

Nested Class Summary

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

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface org.smtlib.IVisitor

Constructor Details

Translator

Translator

Method Details

visit

visit

visit

visit

visit

visit

visit

name

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