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 |
---|---|
java.lang.Iterable<SolverCommunication.Message> |
SolverCommunication.getMessages()
Returns all messages that were sent between KeY and the solver.
|
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.
|
java.lang.Iterable<SolverCommunication.Message> |
SolverCommunication.getOutMessages()
Returns a new Iterable (can not be used to change the message list of SolverCommunication)
containing all the output messages sent by the solver (including error messages!).
|
Copyright © 2003-2019 The KeY-Project.