Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

O

openDiagnosticLine(String) - Method in class org.smtlib.SolverProcess

Adds the start of a line of standard-error text, read when pipelining, to the diagnostic output, as an unended line that the next standard-error text read finishes

option - Variable in class org.smtlib.command.C_get_option

The keyword for the option to fetch

option - Variable in class org.smtlib.command.C_set_option

The keyword for the option to set

option() - Method in class org.smtlib.command.C_get_option

The keyword for the option to fetch

option() - Method in class org.smtlib.command.C_set_option

The keyword for the option to set

option() - Method in interface org.smtlib.ICommand.Iget_option

Returns the option keyword being queried.

option() - Method in interface org.smtlib.ICommand.Iset_option

Returns the option keyword.

options - Variable in class org.smtlib.AbstractSolver

Map that keeps current values of options.

options - Variable in class org.smtlib.solvers.Solver_test

The data structure that maintains the current values of options and info items for this solver.

OR - Static variable in class org.smtlib.Utils

org.smtlib - package 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 - package 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.ext - package org.smtlib.ext

This package contains commands that are extensions to SMT-LIB.

org.smtlib.impl - package org.smtlib.impl

This package is an implementation of the interfaces defined in org.smtlib.

org.smtlib.logic - package org.smtlib.logic

This package contains implementations of classes that implement the constraints of individual logics.

org.smtlib.sexpr - package org.smtlib.sexpr

This package is a concrete implementation of a particular concrete syntax for the abstract SMT-LIB semantics.

org.smtlib.solvers - package 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.

originalString - Variable in class org.smtlib.impl.SMTExpr.Symbol

out - Variable in class org.smtlib.SMT.Configuration

If non-null, the file name (or 'stdout'/'stderr') to use for regular output.

outOfStep() - Method in class org.smtlib.AbstractSolver

Whether pipelined responses have been found out of step with their commands (#149)

outputEnded() - Method in class org.smtlib.SolverProcess

Whether reading has reached the end of standard output: the process has exited or closed it

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form