public final class ControlPanelFactory extends Object
ControlPanel
-objects for the
different algorithms of Raven.Modifier and Type | Method and Description |
---|---|
static DecompositionControlPanel |
getDecompositionControlPanel()
Returns a new graph decomposition control panel created by this
ControlPanelFactory . |
static ControlPanel |
getEmptinessControlPanel()
Returns a new emptiness checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
getInvariantCheckingControlPanel()
Returns a new invariant checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
getLanguageInclusionControlPanel()
Returns a new language inclusion checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
getMembershipControlPanel()
Returns a new membership checking control panel created by this
ControlPanelFactory . |
static ControlPanel |
getSimulationControlPanel()
Returns a new simulation computation control panel created by this
ControlPanelFactory . |
static ControlPanel |
getUniversalityControlPanel()
Returns a new universality control panel created by this
ControlPanelFactory . |
public static DecompositionControlPanel getDecompositionControlPanel()
ControlPanelFactory
.public static ControlPanel getEmptinessControlPanel()
ControlPanelFactory
.public static ControlPanel getInvariantCheckingControlPanel()
ControlPanelFactory
.public static ControlPanel getLanguageInclusionControlPanel()
ControlPanelFactory
.public static ControlPanel getMembershipControlPanel()
ControlPanelFactory
.public static ControlPanel getSimulationControlPanel()
ControlPanelFactory
.public static ControlPanel getUniversalityControlPanel()
ControlPanelFactory
.