Package org.smtlib

Class AbstractSolver.Pending

java.lang.Object

org.smtlib.AbstractSolver.Pending

All Implemented Interfaces:

INode, IResponse

Enclosing class:

AbstractSolver

public static final class AbstractSolver.Pending
extends Object
implements IResponse

The response returned for a command sent by AbstractSolver.sendPipelined(ICommand) whose actual response has not yet been read; isReady() tells when it has (see AbstractSolver.readPipelined(boolean)), and response() then gives it.

Nested Class Summary

Nested classes/interfaces inherited from interface org.smtlib.IResponse

IResponse.IAssertionsResponse, IResponse.IAssignmentResponse, IResponse.IAttributeList, IResponse.IError, IResponse.IFactory, IResponse.IPair<T1,T2>, IResponse.IProofResponse, IResponse.IUnsatAssumptionsResponse, IResponse.IUnsatCoreResponse, IResponse.IValueResponse

Method Summary

Modifier and Type	Method	Description
<T> T	accept(IVisitor<T> v)	The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }
boolean	isError()	Returns true if the response is an error response
boolean	isOK()	Returns true if the response is a SUCCESS response
boolean	isReady()
IResponse	response()	The response read for the command, or null if not yet read
String	toString()

Methods inherited from class java.lang.Object

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

Method Details

isReady

public boolean isReady()

response

public IResponse response()

The response read for the command, or null if not yet read

isOK

public boolean isOK()

Description copied from interface: IResponse

Returns true if the response is a SUCCESS response

Specified by:

isOK in interface IResponse

isError

public boolean isError()

Description copied from interface: IResponse

Returns true if the response is an error response

Specified by:

isError in interface IResponse

accept

public <T> T accept(IVisitor<T> v)
             throws IVisitor.VisitorException

Description copied from interface: INode

The accept method corresponding to IVisitor, to be implemented in each subclass as { return v.visit(this); }

Specified by:

accept in interface INode

Type Parameters:

T - the return type desired from the visit methods

Parameters:

v - the visitor class

Returns:

the value returned by the visit method

Throws:

IVisitor.VisitorException

toString

public String toString()

Overrides:

toString in class Object