public abstract class AbstractSolverSocket extends Object implements PipeListener<SolverCommunication>
Modifier and Type | Field and Description |
---|---|
protected static int |
FINISH |
protected String |
name |
protected ModelExtractor |
query |
(package private) static String |
SAT |
(package private) static String |
UNKNOWN |
(package private) static String |
UNSAT |
protected static int |
WAIT_FOR_DETAILS |
protected static int |
WAIT_FOR_MODEL |
protected static int |
WAIT_FOR_QUERY |
protected static int |
WAIT_FOR_RESULT |
Constructor and Description |
---|
AbstractSolverSocket(String name,
ModelExtractor query) |
Modifier and Type | Method and Description |
---|---|
static AbstractSolverSocket |
createSocket(SolverType type,
ModelExtractor query) |
void |
exceptionOccurred(Pipe<SolverCommunication> pipe,
Throwable exception) |
ModelExtractor |
getQuery() |
void |
setQuery(ModelExtractor query) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
messageIncoming
protected static final int WAIT_FOR_RESULT
protected static final int WAIT_FOR_DETAILS
protected static final int WAIT_FOR_QUERY
protected static final int WAIT_FOR_MODEL
protected static final int FINISH
static final String UNKNOWN
static final String SAT
static final String UNSAT
protected String name
protected ModelExtractor query
public AbstractSolverSocket(String name, ModelExtractor query)
public ModelExtractor getQuery()
public void exceptionOccurred(Pipe<SolverCommunication> pipe, Throwable exception)
exceptionOccurred
in interface PipeListener<SolverCommunication>
public static AbstractSolverSocket createSocket(SolverType type, ModelExtractor query)
public void setQuery(ModelExtractor query)