Package | Description |
---|---|
de.uka.ilkd.key.smt.communication |
This package contains the classes and interfaces to create the external SMT solver processes and
communicate with them:
ExternalProcessLauncher creates and starts the
external process and connects it to the pipe.
Pipe is responsible for sending and receiving
input/output strings to/from the external process. |
Modifier and Type | Method and Description |
---|---|
SolverCommunication.MessageType |
SolverCommunication.Message.getType() |
static SolverCommunication.MessageType |
SolverCommunication.MessageType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static SolverCommunication.MessageType[] |
SolverCommunication.MessageType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
java.lang.Iterable<SolverCommunication.Message> |
SolverCommunication.getMessages(SolverCommunication.MessageType type)
Returns a new Iterable (can not be used to change the message list of SolverCommunication)
containing all the sent messages of the given type.
|
Constructor and Description |
---|
Message(java.lang.String content,
SolverCommunication.MessageType type)
Creates a new message.
|
Copyright © 2003-2019 The KeY-Project.