public abstract class AbstractSolverSocket extends java.lang.Object implements PipeListener<SolverCommunication>
Modifier and Type | Field and Description |
---|---|
protected static int |
FINISH |
protected java.lang.String |
name |
protected ModelExtractor |
query |
(package private) static java.lang.String |
SAT |
(package private) static java.lang.String |
UNKNOWN |
(package private) static java.lang.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(java.lang.String name,
ModelExtractor query) |
Modifier and Type | Method and Description |
---|---|
static AbstractSolverSocket |
createSocket(SolverType type,
ModelExtractor query) |
void |
exceptionOccurred(Pipe<SolverCommunication> pipe,
java.lang.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 java.lang.String UNKNOWN
static final java.lang.String SAT
static final java.lang.String UNSAT
protected java.lang.String name
protected ModelExtractor query
public AbstractSolverSocket(java.lang.String name, ModelExtractor query)
public ModelExtractor getQuery()
public void exceptionOccurred(Pipe<SolverCommunication> pipe, java.lang.Throwable exception)
exceptionOccurred
in interface PipeListener<SolverCommunication>
public static AbstractSolverSocket createSocket(SolverType type, ModelExtractor query)
public void setQuery(ModelExtractor query)