See: Description
| Interface | Description |
|---|---|
| InfoListener | |
| ProgressDialog.ProgressDialogListener | |
| ProgressModel.Column | |
| ProgressTable.ProgressTableListener |
| Class | Description |
|---|---|
| CETree | |
| ComplexButton | |
| FileChooserPanel | |
| GeneralOptions | |
| InformationWindow |
The information window is used to present detailed information about the execution of a solver.
|
| InformationWindow.Information | |
| InnerPanel | |
| LeafPanel | |
| LeafPanel.SelectionListener | |
| OptionContentNode | |
| ProgressDialog | |
| ProgressModel |
Encapsulates the table of progress bars that is shown within the progress dialog:
For each solver and each goal there is a cell.
|
| ProgressModel.ProcessColumn | |
| ProgressModel.ProcessColumn.ProcessData | |
| ProgressModel.TitleColumn | |
| ProgressTable | |
| ProgressTable.ProgressPanel | |
| SettingsDialog | |
| SMTMenuItem | |
| SMTSettingsModel | |
| SolverListener | |
| SolverListener.ContainsModalityOrQueryVisitor |
Utility class used to check whether a term contains constructs that are not handled by the SMT translation.
|
| SolverListener.InternSMTProblem | |
| SolverOptions | |
| TablePanel | |
| TacletTranslationOptions | |
| TacletTranslationSelection | |
| TranslationOptions | |
| TreePanel |
| Enum | Description |
|---|---|
| ProgressDialog.Modus |