ComputationEvent.EventType type
String name
int maximum
int value
String name
String label
int arity
private void writeObject(ObjectOutputStream out) throws IOException
out
.IOException
- thrown if an I/O error occurredObjectOutputStream.writeObject(Object)
Automaton.Type type
String encodingName
Signature signature
int maximumInterface
int innerInterface
int outerInterface
int lengthEncoding
int startVariable
private void writeObject(ObjectOutputStream out) throws IOException
IOException
- thrown if if I/O errors occur while writing to the underlying
OutputStream
int dominationNumber
int dominationBitLength
private void readObject(ObjectInputStream s) throws ClassNotFoundException, IOException
ClassNotFoundException
IOException
private void writeObject(ObjectOutputStream s) throws IOException
IOException
List<E> listeners
ControlPanel.WorkerThread workerThread
int nodeCount
JList<E> innerInterfaceNodesList
JList<E> outerInterfaceNodesList
de.uni_due.inf.ti.raven.gui.CospanCreationDialog.RemoveNodeAction removeNodeAction
de.uni_due.inf.ti.raven.gui.CospanCreationDialog.RemoveEdgeAction removeEdgeAction
GraphView graphView
DecompositionView decompositionView
CospanView cospanView
GraphView graphViewRight
DecompositionView decompositionViewRight
CospanView cospanViewRight
JRadioButton graphButton
JRadioButton decompositionButton
JRadioButton cospanButton
Repository repo
List<E> dataClassList
GuiMessages messages
JList<E> decompositionOperations
JTextField nameTextField
DataComboBox signatureBox
JList<E> selectionList
DefaultListModel<E> selectedListModel
JLabel sigLabel
JLabel innerInterfaceLabel
JFormattedTextField innerInterfaceSizeField
DataComboBox automatonBox
JRadioButton forwardButton
JRadioButton backwardButton
JTextField typeField
EncodingView encodingView
int nodeCount
de.uni_due.inf.ti.raven.gui.GraphCreationDialog.RemoveNodeAction removeNodeAction
de.uni_due.inf.ti.raven.gui.GraphCreationDialog.RemoveEdgeAction removeEdgeAction
GuiMessages messages
Repository repository
JTextField automatonNameField
JTextField typeField
JTextField numberOfStatesField
JTextField numberOfInitialStatesField
JTextField numberOfFinalStatesField
JTextField maximumInterfaceField
JTextField innerInterfaceField
JTextField outerInterfaceField
CospanView stateInformationView
JComboBox<E> invariantCheckingAlgorithmBox
DataComboBox automatonBox
DataComboBox leftHandSideBox
DataComboBox rightHandSideBox
JRadioButton forwardButton
JRadioButton backwardButton
JRadioButton computeCE
JRadioButton doNotComputeCE
JLabel dataNameLabel
JTextField dataNameField
JFileChooser chooser
JTextArea textarea
JTextField consoleInput
JPanel infoPanel
DefaultTableModel repositoryTableModel
JPanel automatonInformationPanel
InformationPanel<T extends Data> colorabilityInformationPanel
InformationPanel<T extends Data> dominatingSetInformationPanel
InformationPanel<T extends Data> edgeCountingInformationPanel
InformationPanel<T extends Data> linkInformationPanel
InformationPanel<T extends Data> maximumEdgeInformationPanel
InformationPanel<T extends Data> maximumVertexInformationPanel
InformationPanel<T extends Data> minimumEdgeInformationPanel
InformationPanel<T extends Data> minimumVertexInformationPanel
InformationPanel<T extends Data> noIsolatedNodesInformationPanel
InformationPanel<T extends Data> pathInformationPanel
InformationPanel<T extends Data> productInformationPanel
InformationPanel<T extends Data> subgraphInformationPanel
InformationPanel<T extends Data> unionInformationPanel
InformationPanel<T extends Data> vertexCountingInformationPanel
InformationPanel<T extends Data> vertexCoverInformationPanel
InformationPanel<T extends Data> decompositionInformationPanel
InformationPanel<T extends Data> cospanInformationPanel
InformationPanel<T extends Data> treeDecompositionInformationPanel
InformationPanel<T extends Data> pathDecompositionInformationPanel
InformationPanel<T extends Data> graphInformationPanel
InformationPanel<T extends Data> signatureInformationPanel
InformationPanel<T extends Data> bddInformationPanel
Logger logger
DataComboBox automatonBox
DataComboBox inputBox
Graph graph
JTextField nameField
JTextField labelField
JList<E> availableNodesList
JList<E> incidentNodesList
JProgressBar bar
JLabel label
boolean isDataChooserVisible
JFileChooser chooser
JLabel dataNameLabel
DataComboBox dataComboBox
JTextField nameField
JPopupMenu popup
JTextField nameField
JComboBox<E> simulationAlgorithmBox
DataComboBox automatonBox
JComboBox<E> techniqueBox
ControlPanel decompositionPanel
ControlPanel emptinessPanel
ControlPanel invariantCheckingPanel
ControlPanel languageInclusionPanel
ControlPanel membershipPanel
ControlPanel simulationPanel
ControlPanel universalityPanel
JButton startButton
JButton stopButton
JComboBox<E> universalityAlgorithmBox
DataComboBox automatonBox
JRadioButton forwardButton
JRadioButton backwardButton
JRadioButton computeCE
JRadioButton doNotComputeCE
MainWindow owner
Window owner
Window owner
Window owner
Window owner
Window owner
MainWindow owner
Logger logger
Window owner
MainWindow owner
Window owner
Window owner
Window owner
Window owner
JTable table
RavenPrinter printer
Window owner
RavenPrinter printer
Window owner
MainWindow owner
Window owner
Window owner
Window owner
Window owner
Window owner
Window owner
Map<K,V> panelMap
JTextField automatonNameField
JComboBox<E> automatonTypeBox
JPanel propertiesPanel
RavenProgressBarPanel progressPanel
DataComboBox alphabetBox
JFormattedTextField maximumInterfaceField
JFormattedTextField innerInterfaceField
JFormattedTextField outerInterfaceField
com.jgoodies.forms.builder.DefaultFormBuilder builder
Repository repo
GuiMessages messages
JTextField automatonNameField
JTextField typeField
JTextField numberOfStatesField
JTextField numberOfInitialStatesField
JTextField numberOfFinalStatesField
JTextField maximumInterfaceField
JTextField innerInterfaceField
JTextField outerInterfaceField
JTextField encodingField
JTextField numberOfBDDNodesField
JButton showEncodingButton
JList<E> alphabetList
JButton showBDDButton
Logger logger
List<E> listeners
VisualGraph visualGraph
JFormattedTextField numberOfColorsField
JFormattedTextField maximumDominatingSetSizeField
JFormattedTextField remainderEdgeField
JFormattedTextField divisorEdgeField
JList<E> availableOperationsList
JList<E> edgeLabelSet
JFormattedTextField maximumEdgeField
JFormattedTextField maximumVertexField
JFormattedTextField minimumEdgeField
JFormattedTextField minimumVertexField
DataComboBox firstAutomatonBox
DataComboBox secondAutomatonBox
DataComboBox subgraphBox
DataComboBox firstAutomatonBox
DataComboBox secondAutomatonBox
JFormattedTextField remainderField
JFormattedTextField divisorField
JFormattedTextField maximumVertexCoverSizeField
Component parent
Logger logger
VisualGraph visualGraph
BufferedImage OPAQUE_SAVE_IMAGE
BufferedImage TRANSPARENT_SAVE_IMAGE
Rectangle SAVE_IMAGE_RECTANGLE
BufferedImage OPAQUE_MAXIMIZE_VIEW_IMAGE
BufferedImage TRANSPARENT_MAXIMIZE_VIEW_IMAGE
Rectangle MAXIMIZE_VIEW_IMAGE_RECTANGLE
VisualGraph visualGraph
Cospan cospan
boolean isSaveButtonVisible
boolean isMaximizeViewButtonVisible
BufferedImage visibleSaveImage
BufferedImage visibleMaximizeViewImage
de.uni_due.inf.ti.raven.gui.graphs.CospanView.SVGSaveDialog dialog
Logger logger
VisualGraph visualGraph
int counter
int lastLetter
mxCell group
Object[] previousNodes
Component parent
Logger logger
BufferedImage OPAQUE_SAVE_IMAGE
BufferedImage TRANSPARENT_SAVE_IMAGE
Rectangle SAVE_IMAGE_RECTANGLE
BufferedImage OPAQUE_MAXIMIZE_VIEW_IMAGE
BufferedImage TRANSPARENT_MAXIMIZE_VIEW_IMAGE
Rectangle MAXIMIZE_VIEW_IMAGE_RECTANGLE
Graph graph
VisualGraph visualGraph
boolean isSaveButtonVisible
boolean isMaximizeViewButtonVisible
BufferedImage visibleSaveImage
BufferedImage visibleMaximizeViewImage
de.uni_due.inf.ti.raven.gui.graphs.GraphView.SVGSaveDialog dialog