See: Description
Class | Description |
---|---|
CounterExampleAction | |
CounterExampleAction.MainWindowCounterExampleGenerator |
Performs the
SemanticsBlastingMacro in a Proof registered
in the MainWindow and thus visible to the user. |
CounterExampleAction.NoMainWindowCounterExampleGenerator |
Performs the
SemanticsBlastingMacro in a side proof hidden to the
user and shows the result with help of the SolverListener . |
TestGenerationAction |
Action which generates test cases for all open nodes.
|
TestgenExtension | |
TestgenOptionsPanel | |
TGInfoDialog | |
TGWorker |
KeYGuiExtension
api.Copyright © 2003-2019 The KeY-Project.