ICommand.IScript

All Superinterfaces:: INode

All Known Implementing Classes:: Script

Enclosing interface:: ICommand

public static interface ICommand.IScript extends INode

Interface to be implemented by all objects representing SMT-LIB scripts. A script may consist of a file or an explicit list of commands.

Method Summary

Modifier and Type

Method

Description

void

add(ICommand command)

Adds a command to the end of the script's command list.

List<ICommand>

commands()

IResponse

execute(ISolver solver)

IExpr.IStringLiteral

filename()

Methods inherited from interface org.smtlib.INode
accept

Method Details
- filename
  
  IExpr.IStringLiteral filename()
- commands
  
  List<ICommand> commands()
- add
  
  void add(ICommand command)
  
  Adds a command to the end of the script's command list.
- execute
  
  IResponse execute(ISolver solver)