Package | Description |
---|---|
de.uni_due.inf.ti.raven.gui |
GUI Classes.
|
Modifier and Type | Class and Description |
---|---|
class |
DecompositionControlPanel
This class implements a
ControlPanel for the invocation of the different graph
decomposition algorithms implemented in Raven. |
class |
EmptinessControlPanel
This class implements a
ControlPanel for the invocation of the different emptiness
checking algorithms implemented in Raven. |
class |
InvariantCheckingControlPanel
This class implements a
ControlPanel for the invocation of the different invariant
checking algorithms implemented in Raven. |
class |
LanguageInclusionControlPanel
This class implements a
ControlPanel for the invocation of the different language
inclusion checking algorithms implemented in Raven. |
class |
MembershipControlPanel
This class implements a
ControlPanel for the invocation of the different membership
checking algorithms implemented in Raven. |
class |
SimulationControlPanel
This class implements a
ControlPanel for the invocation of the different simulation
computation algorithms implemented in Raven. |
class |
UniversalityControlPanel
This class implements a
ControlPanel for the invocation of the different universality
checking algorithms implemented in Raven. |
Modifier and Type | Method and Description |
---|---|
static ControlPanel |
ControlPanelFactory.getEmptinessControlPanel()
Returns a new emptiness checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
ControlPanelFactory.getInvariantCheckingControlPanel()
Returns a new invariant checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
ControlPanelFactory.getLanguageInclusionControlPanel()
Returns a new language inclusion checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
ControlPanelFactory.getMembershipControlPanel()
Returns a new membership checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
ControlPanelFactory.getSimulationControlPanel()
Returns a new simulation computation control panel created by this
ControlPanelFactory . |
static ControlPanel |
ControlPanelFactory.getUniversalityControlPanel()
Returns a new universality control panel created by this
ControlPanelFactory . |