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