public class SolverCommunication
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
SolverCommunication.Message
Represents a single message sent from or to the solver.
|
static class |
SolverCommunication.MessageType
The message type depends on the channel which was used for sending the message.
|
Constructor and Description |
---|
SolverCommunication() |
Modifier and Type | Method and Description |
---|---|
SMTSolverResult |
getFinalResult() |
java.lang.Iterable<SolverCommunication.Message> |
getMessages()
Returns all messages that were sent between KeY and the solver.
|
java.lang.Iterable<SolverCommunication.Message> |
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> |
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!).
|
int |
getState() |
public java.lang.Iterable<SolverCommunication.Message> getMessages()
public java.lang.Iterable<SolverCommunication.Message> getMessages(SolverCommunication.MessageType type)
type
- the type to filter the messages forpublic java.lang.Iterable<SolverCommunication.Message> getOutMessages()
public SMTSolverResult getFinalResult()
public int getState()
Copyright © 2003-2019 The KeY-Project.