Uses of Interface
org.smtlib.IExpr.IStringLiteral

Packages that use IExpr.IStringLiteral

Package	Description
org.smtlib	This package contains the main classes and abstract interfaces for this SMT-LIB tool; the tool provides a stand-alone SMT-LIB-compliant command-line application, an application that responds to SMT-LIB commands over a network port, and an SMT-LIB Java API.
org.smtlib.command	This package contains implementations of the SMT-LIB commands, implementing the interfaces defined in ICommand; these implementations are independent of the concrete syntax that might be used, except that each command object has methods that can parse or print representations of the command in the standard (or potentially other) concrete syntaxes.
org.smtlib.impl	This package is an implementation of the interfaces defined in org.smtlib.
org.smtlib.sexpr	This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.
org.smtlib.solvers	This package implements various instances of org.smtlib.ISolver, which are specific solvers that wrap and interact with various off-the-shelf SMT solvers currently available.

Uses of IExpr.IStringLiteral in org.smtlib

Methods in org.smtlib that return IExpr.IStringLiteral

Modifier and Type	Method	Description
IExpr.IStringLiteral	ICommand.Iecho.arg()	Returns the string literal to be echoed.
IExpr.IStringLiteral	ICommand.IScript.filename()
IExpr.IStringLiteral	IParser.parseStringLiteral()	Parse an SMT-LIB string literal; return null and log an error response if there is no valid string literal
IExpr.IStringLiteral	IExpr.IFactory.quotedString(String v)	Creates an IStringLiteral from a string that is SMT-LIB escaped with enclosing quotes.
IExpr.IStringLiteral	IExpr.IFactory.unquotedString(String v)	Creates an IStringLiteral from a pure character string with no SMT-LIB escapes or enclosing quotes.

Methods in org.smtlib with parameters of type IExpr.IStringLiteral

Modifier and Type	Method	Description
IResponse	AbstractSolver.echo(IExpr.IStringLiteral arg)
ICommand.Iecho	ICommand.IFactory.echo(IExpr.IStringLiteral arg)	Creates an echo command object.
IResponse	ISolver.echo(IExpr.IStringLiteral arg)	Echoes the argument string back to the output channel.
ICommand.IScript	ICommand.IFactory.script(IExpr.IStringLiteral filename, List<ICommand> commands)	Creates a script object containing the given filename or the given set of commands.
T	IVisitor.TreeVisitor.visit(IExpr.IStringLiteral e)
T	IVisitor.visit(IExpr.IStringLiteral e)
ISort	TypeChecker.visit(IExpr.IStringLiteral e)

Uses of IExpr.IStringLiteral in org.smtlib.command

Fields in org.smtlib.command declared as IExpr.IStringLiteral

Modifier and Type	Field	Description
protected IExpr.IStringLiteral	C_echo.arg

Methods in org.smtlib.command that return IExpr.IStringLiteral

Modifier and Type	Method	Description
IExpr.IStringLiteral	C_echo.arg()	The string literal argument to be echoed.

Constructors in org.smtlib.command with parameters of type IExpr.IStringLiteral

Modifier	Constructor	Description
	C_echo(IExpr.IStringLiteral arg)	Constructs an instance of the command

Uses of IExpr.IStringLiteral in org.smtlib.impl

Classes in org.smtlib.impl that implement IExpr.IStringLiteral

Modifier and Type	Class	Description
static class	SMTExpr.StringLiteral	This class represents an SMT String literal expression or syntax token

Fields in org.smtlib.impl declared as IExpr.IStringLiteral

Modifier and Type	Field	Description
protected IExpr.IStringLiteral	Script.filename	The filename of the script file

Methods in org.smtlib.impl that return IExpr.IStringLiteral

Modifier and Type	Method	Description
IExpr.IStringLiteral	Script.filename()	The filename of the script file
IExpr.IStringLiteral	Factory.quotedString(String v)
IExpr.IStringLiteral	Response.Factory.stringLiteral(String value)
IExpr.IStringLiteral	Factory.unquotedString(String v)

Methods in org.smtlib.impl with parameters of type IExpr.IStringLiteral

Modifier and Type	Method	Description
ICommand.Iecho	Factory.echo(IExpr.IStringLiteral arg)
ICommand.IScript	Factory.script(IExpr.IStringLiteral filename, List<ICommand> commands)

Constructors in org.smtlib.impl with parameters of type IExpr.IStringLiteral

Modifier	Constructor	Description
	Script(IExpr.IStringLiteral filename, List<ICommand> list)	Constructs the script with the given list of commands, hijacking the list itself

Uses of IExpr.IStringLiteral in org.smtlib.sexpr

Methods in org.smtlib.sexpr with parameters of type IExpr.IStringLiteral

Modifier and Type	Method	Description
Void	Printer.visit(IExpr.IStringLiteral e)

Uses of IExpr.IStringLiteral in org.smtlib.solvers

Methods in org.smtlib.solvers with parameters of type IExpr.IStringLiteral

Modifier and Type	Method	Description
IResponse	Solver_simplify.echo(IExpr.IStringLiteral arg)
IResponse	Solver_test.echo(IExpr.IStringLiteral arg)
IResponse	Solver_yices2.echo(IExpr.IStringLiteral arg)	yices2 writes echo's text unquoted, so where it ends cannot be found (#136); the response to echo is its argument
IResponse	Solver_z3_4_3.echo(IExpr.IStringLiteral arg)	z3 4.3 writes echo's text unquoted, so where it ends cannot be found (#136); the response to echo is its argument
IResponse	Solver_z3_4_5.echo(IExpr.IStringLiteral arg)
String	Solver_simplify.Translator.visit(IExpr.IStringLiteral e)