de.uka.ilkd.key.smt

Class CVC3Socket

java.lang.Object

de.uka.ilkd.key.smt.AbstractSolverSocket

de.uka.ilkd.key.smt.CVC3Socket

All Implemented Interfaces:

PipeListener<SolverCommunication>

class CVC3Socket
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
CVC3Socket(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

CVC3Socket

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

Method Detail

messageIncoming

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