SolverCommunication (KeY API Documentation)

```
public class SolverCommunication
extends java.lang.Object
```
Stores the communication between KeY and an external solver: Contains a list that stores the messages that has been sent from the solver to KeY and vice versa. Further, it also contains the final result of the solver.

Nested Classes
Modifier and Type	Class and Description
`static class`	`SolverCommunication.Message`
`static class`	`SolverCommunication.MessageType` The message type depends on the channel which was used for sending the message.

Fields
Modifier and Type	Field and Description
`static SolverCommunication`	`EMPTY`
`private java.util.List<java.lang.Throwable>`	`exceptions`
`private SMTSolverResult`	`finalResult`
`private java.util.List<java.lang.String>`	`messages`
`private boolean`	`resultHasBeenSet`
`private int`	`state`

Constructors
Constructor and Description
`SolverCommunication()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`(package private) void`	`addException(java.lang.Throwable e)`
`(package private) void`	`addMessage(java.lang.String message)`
`boolean`	`exceptionHasOccurred()`
`java.lang.Iterable<java.lang.Throwable>`	`getExceptions()` Call this method only if you are sure that there are no other threads accessing it.
`SMTSolverResult`	`getFinalResult()`
`java.lang.Iterable<java.lang.String>`	`getMessages()` Returns all messages that were sent between KeY and the solver.
`int`	`getState()` Returns the current state of the communication.
`boolean`	`resultHasBeenSet()`
`(package private) void`	`setFinalResult(SMTSolverResult finalResult)`
`(package private) void`	`setState(int state)`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

public static SolverCommunication EMPTY

private final java.util.List<java.lang.String> messages

private java.util.List<java.lang.Throwable> exceptions

Class SolverCommunication