Package | Description |
---|---|
de.uka.ilkd.key.gui.smt |
This package contains the graphical user interface of the SMT backend.
|
Constructor and Description |
---|
ProgressDialog(de.uka.ilkd.key.gui.smt.ProgressModel model,
ProgressDialog.ProgressDialogListener listener,
boolean counterexample,
int resolution,
int progressBarMax,
java.lang.String[] labelTitles,
java.lang.String... titles) |
Copyright © 2003-2019 The KeY-Project.