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