Package | Description |
---|---|
de.uka.ilkd.key.gui.smt |
This package contains the graphical user interface of the SMT backend.
|
Modifier and Type | Method and Description |
---|---|
java.util.LinkedList<InformationWindow.Information> |
SolverListener.InternSMTProblem.getInformation() |
Constructor and Description |
---|
InformationWindow(java.awt.Dialog parent,
SMTSolver solver,
java.util.Collection<InformationWindow.Information> information,
java.lang.String title) |
Copyright © 2003-2019 The KeY-Project.