Uses of Interface
org.smtlib.ICommand.IScript

Packages that use ICommand.IScript

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.ext	This package contains commands that are extensions to SMT-LIB.
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 ICommand.IScript in org.smtlib

Methods in org.smtlib that return ICommand.IScript

Modifier and Type	Method	Description
ICommand.IScript	IParser.parseScript()	Parses an SMT-LIB command script.
ICommand.IScript	ICommand.IFactory.script()	Creates an empty script, with no filename and no commands, ready to have commands added via add(ICommand).
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.

Methods in org.smtlib with parameters of type ICommand.IScript

Modifier and Type	Method	Description
T	IVisitor.TreeVisitor.visit(ICommand.IScript e)
T	IVisitor.visit(ICommand.IScript e)
ISort	TypeChecker.visit(ICommand.IScript e)

Uses of ICommand.IScript in org.smtlib.ext

Fields in org.smtlib.ext declared as ICommand.IScript

Modifier and Type	Field	Description
protected ICommand.IScript	C_exec.script	The command script to be run

Methods in org.smtlib.ext that return ICommand.IScript

Modifier and Type	Method	Description
ICommand.IScript	C_exec.script()	Returns a reference to the command script to be run
ICommand.IScript	Iexec.script()	Returns the script to execute.

Constructors in org.smtlib.ext with parameters of type ICommand.IScript

Modifier	Constructor	Description
	C_exec(ICommand.IScript script)	Constructs a command object for the given script

Uses of ICommand.IScript in org.smtlib.impl

Classes in org.smtlib.impl that implement ICommand.IScript

Modifier and Type	Class	Description
class	Script	This class implements the IScript interface, representing SMT-LIB command scripts

Methods in org.smtlib.impl that return ICommand.IScript

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

Uses of ICommand.IScript in org.smtlib.sexpr

Methods in org.smtlib.sexpr that return ICommand.IScript

Modifier and Type	Method	Description
ICommand.IScript	Parser.parseScript()

Methods in org.smtlib.sexpr with parameters of type ICommand.IScript

Modifier and Type	Method	Description
Void	Printer.visit(ICommand.IScript e)
Void	Printer.WithLines.visit(ICommand.IScript e)

Uses of ICommand.IScript in org.smtlib.solvers

Methods in org.smtlib.solvers with parameters of type ICommand.IScript

Modifier and Type	Method	Description
String	Solver_simplify.Translator.visit(ICommand.IScript e)