de.uka.ilkd.key.smt

Class SimplifySocket

java.lang.Object

de.uka.ilkd.key.smt.AbstractSolverSocket

de.uka.ilkd.key.smt.SimplifySocket

All Implemented Interfaces:

PipeListener<SolverCommunication>

class SimplifySocket
extends AbstractSolverSocket

Field Summary

Fields inherited from class de.uka.ilkd.key.smt.AbstractSolverSocket

FINISH, name, query, SAT, UNKNOWN, UNSAT, WAIT_FOR_DETAILS, WAIT_FOR_MODEL, WAIT_FOR_QUERY, WAIT_FOR_RESULT

Constructor Summary

Constructors

Constructor and Description
SimplifySocket(java.lang.String name, ModelExtractor query)

Method Summary

Modifier and Type	Method and Description
void	messageIncoming(Pipe<SolverCommunication> pipe, java.lang.String message, int type)

Methods inherited from class de.uka.ilkd.key.smt.AbstractSolverSocket

createSocket, exceptionOccurred, getQuery, setQuery

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SimplifySocket

public SimplifySocket(java.lang.String name,
                      ModelExtractor query)

Method Detail

messageIncoming

public void messageIncoming(Pipe<SolverCommunication> pipe,
                            java.lang.String message,
                            int type)