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 |