class Z3Socket extends AbstractSolverSocket
FINISH, name, query, SAT, UNKNOWN, UNSAT, WAIT_FOR_DETAILS, WAIT_FOR_MODEL, WAIT_FOR_QUERY, WAIT_FOR_RESULT
Constructor and Description |
---|
Z3Socket(String name,
ModelExtractor query) |
Modifier and Type | Method and Description |
---|---|
void |
exceptionOccurred(Pipe<SolverCommunication> pipe,
Throwable exception) |
void |
messageIncoming(Pipe<SolverCommunication> pipe,
String message,
int type) |
createSocket, getQuery, setQuery
public Z3Socket(String name, ModelExtractor query)
public void messageIncoming(Pipe<SolverCommunication> pipe, String message, int type)
public void exceptionOccurred(Pipe<SolverCommunication> pipe, Throwable exception)
exceptionOccurred
in interface PipeListener<SolverCommunication>
exceptionOccurred
in class AbstractSolverSocket