de.uni_due.inf.ti.raven.gui

Class ControlPanelFactory

java.lang.Object

de.uni_due.inf.ti.raven.gui.ControlPanelFactory

public final class ControlPanelFactory
extends Object

This class implements a factory for the creation of ControlPanel-objects for the different algorithms of Raven.

Version:

$Revision: 1.4 $

Author:

Christoph Blume

Method Summary

Methods

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getDecompositionControlPanel

public static DecompositionControlPanel getDecompositionControlPanel()

Returns a new graph decomposition control panel created by this ControlPanelFactory.

Returns:

the graph decomposition control panel

getEmptinessControlPanel

public static ControlPanel getEmptinessControlPanel()

Returns a new emptiness checking control panel created by this ControlPanelFactory.

Returns:

the emptiness checking control panel

getInvariantCheckingControlPanel

public static ControlPanel getInvariantCheckingControlPanel()

Returns a new invariant checking control panel created by this ControlPanelFactory.

Returns:

the invariant checking control panel

getLanguageInclusionControlPanel

public static ControlPanel getLanguageInclusionControlPanel()

Returns a new language inclusion checking control panel created by this ControlPanelFactory.

Returns:

the language inclusion checking control panel

getMembershipControlPanel

public static ControlPanel getMembershipControlPanel()

Returns a new membership checking control panel created by this ControlPanelFactory.

Returns:

the membership checking control panel

getSimulationControlPanel

public static ControlPanel getSimulationControlPanel()

Returns a new simulation computation control panel created by this ControlPanelFactory.

Returns:

the simulation computation control panel

getUniversalityControlPanel

public static ControlPanel getUniversalityControlPanel()

Returns a new universality control panel created by this ControlPanelFactory.

Returns:

the universality control panel