Package org.smtlib.impl

Class Response

java.lang.Object

org.smtlib.impl.Response

public abstract class Response
extends Object

This class holds subclasses that are implementations of the various IResponse interfaces. It is never itself instantiated -- only its nested classes and the constants below are used.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Response.AssertionsResponse	Implements the IResponse.IAssertionsResponse interface
static class	Response.AssignmentResponse	Implements the IResponse.IAssignmentResponse interface
static class	Response.Error	Implements the IResponse.IError interface
static class	Response.Factory	Implements the IResponse.IFactory interface
static class	Response.Pair<T1,T2>	Implements the IResponse.IPair interface
static class	Response.ProofResponse	Implements the IResponse.IProofResponse interface
static class	Response.Seq	Implementation of IAttributeList: a list of attributes returned by get-info.
static class	Response.UnsatAssumptionsResponse	Implements the IResponse.IUnsatAssumptionsResponse interface
static class	Response.UnsatCoreResponse	Implements the IResponse.IUnsatCoreResponse interface
static class	Response.ValueResponse	Implements the IResponse.IValueResponse interface

Field Summary

Fields

Modifier and Type	Field	Description
static final SMTExpr.Symbol	CONTINUED_EXECUTION
static final SMTExpr.Symbol	EMPTY
static final SMTExpr.Symbol	IMMEDIATE_EXIT
static final SMTExpr.Symbol	INCOMPLETE
static final SMTExpr.Symbol	MEMOUT
static final SMTExpr.Symbol	SAT
static final SMTExpr.Symbol	SUCCESS
static final SMTExpr.Symbol	TIMEOUT
static final SMTExpr.Symbol	UNKNOWN
static final SMTExpr.Symbol	UNSAT
static final SMTExpr.Symbol	UNSUPPORTED

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

EMPTY

public static final SMTExpr.Symbol EMPTY

SUCCESS

public static final SMTExpr.Symbol SUCCESS

UNSUPPORTED

public static final SMTExpr.Symbol UNSUPPORTED

UNKNOWN

public static final SMTExpr.Symbol UNKNOWN

SAT

public static final SMTExpr.Symbol SAT

UNSAT

public static final SMTExpr.Symbol UNSAT

IMMEDIATE_EXIT

public static final SMTExpr.Symbol IMMEDIATE_EXIT

CONTINUED_EXECUTION

public static final SMTExpr.Symbol CONTINUED_EXECUTION

MEMOUT

public static final SMTExpr.Symbol MEMOUT

TIMEOUT

public static final SMTExpr.Symbol TIMEOUT

INCOMPLETE

public static final SMTExpr.Symbol INCOMPLETE