Serialized Form

Package at.ac.tuwien.dbai.alternation.compiler

Class at.ac.tuwien.dbai.alternation.compiler.alternating_machineParser.STAttrMap extends java.util.HashMap implements Serializable

Package at.ac.tuwien.dbai.alternation.gui

Class at.ac.tuwien.dbai.alternation.gui.InfoPanel extends java.awt.Dialog implements Serializable

serialVersionUID: 1L

Serialized Fields

father

MainFrame<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> father

Class at.ac.tuwien.dbai.alternation.gui.MainFrame extends java.awt.Frame implements Serializable

serialVersionUID: 1L

Serialized Fields

computationTree

ComputationTree<GWorktape extends InterfaceWorktape> computationTree

format

Format<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> format

gbl

java.awt.GridBagLayout gbl

gbc

java.awt.GridBagConstraints gbc

menu

java.awt.MenuBar menu

file

java.awt.Menu file

view

java.awt.Menu view

menuFormat

java.awt.Menu menuFormat

help

java.awt.Menu help

exit

java.awt.MenuItem exit

treeView

java.awt.MenuItem treeView

listView

java.awt.MenuItem listView

treeFormat

java.awt.MenuItem treeFormat

minimize

java.awt.MenuItem minimize

maximize

java.awt.MenuItem maximize

positiveWays

java.awt.MenuItem positiveWays

info

java.awt.MenuItem info

treeLabel

java.awt.Label treeLabel

treeNameLabel

java.awt.Label treeNameLabel

treeNumberOfNodesLabel

java.awt.Label treeNumberOfNodesLabel

nodeLabel

java.awt.Label nodeLabel

nodeQuantifierLabel

java.awt.Label nodeQuantifierLabel

nodeDeepLabel

java.awt.Label nodeDeepLabel

worktapeLabel

java.awt.Label worktapeLabel

nodeQuantifierTextField

java.awt.TextField nodeQuantifierTextField

nodeDeepTextField

java.awt.TextField nodeDeepTextField

treeNameTextField

java.awt.TextField treeNameTextField

treeNumberOfNodesTextField

java.awt.TextField treeNumberOfNodesTextField

worktapeText

java.awt.TextArea worktapeText

worktapeGraph

java.awt.Canvas worktapeGraph

scrollPane

java.awt.ScrollPane scrollPane

space

MyCanvas<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> space

deep

int deep

Class at.ac.tuwien.dbai.alternation.gui.MaximizePanel extends java.awt.Dialog implements Serializable

serialVersionUID: 1L

Serialized Fields

mainframe

MainFrame<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> mainframe

info

java.awt.Label info

maxDeepLabel

java.awt.Label maxDeepLabel

maxDeepTextField

at.ac.tuwien.dbai.alternation.gui.MaximizePanel.MyTextField maxDeepTextField

OKButton

at.ac.tuwien.dbai.alternation.gui.MaximizePanel.MyButton OKButton

cancelButton

at.ac.tuwien.dbai.alternation.gui.MaximizePanel.MyButton cancelButton

Class at.ac.tuwien.dbai.alternation.gui.MyCanvas extends java.awt.Canvas implements Serializable

serialVersionUID: 1L

Serialized Fields

mainframe

MainFrame<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> mainframe

computationTree

ComputationTree<GWorktape extends InterfaceWorktape> computationTree

format

Format<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> format

root

Node<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> root

defaultDeep

int defaultDeep

scrollbarWidth

int scrollbarWidth

scrollbarHeight

int scrollbarHeight

minWidth

int minWidth

minHeight

int minHeight

markedNode

Node<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> markedNode

enteredNode

Node<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> enteredNode

Package at.ac.tuwien.dbai.alternation.gui.list

Class at.ac.tuwien.dbai.alternation.gui.list.MyCanvasList extends MyCanvas<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> implements Serializable

serialVersionUID: 1L

Serialized Fields

necessaryHeight

int necessaryHeight

necessaryWidth

int necessaryWidth

rejectColorDark

java.awt.Color rejectColorDark

acceptColorDark

java.awt.Color acceptColorDark

rejectColorLight

java.awt.Color rejectColorLight

acceptColorLight

java.awt.Color acceptColorLight

Package at.ac.tuwien.dbai.alternation.gui.tree

Class at.ac.tuwien.dbai.alternation.gui.tree.MyCanvasTree extends MyCanvas<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> implements Serializable

serialVersionUID: 1L

Serialized Fields

necessaryWidth

int necessaryWidth

necessaryHeight

int necessaryHeight

rejectColor

java.awt.Color rejectColor

acceptColor

java.awt.Color acceptColor

Class at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel extends java.awt.Dialog implements Serializable

serialVersionUID: 1L

Serialized Fields

mainframe

MainFrame<GInputtape,GWorktape extends InterfaceWorktape<GInputtape>> mainframe

nodeWidthLabel

java.awt.Label nodeWidthLabel

nodeHeightLabel

java.awt.Label nodeHeightLabel

lineHeightLabel

java.awt.Label lineHeightLabel

freeSpaceLabel

java.awt.Label freeSpaceLabel

nodewidthTextField

at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel.MyTextField nodewidthTextField

nodeheightTextField

at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel.MyTextField nodeheightTextField

lineLengthTextField

at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel.MyTextField lineLengthTextField

freeSpaceTextField

at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel.MyTextField freeSpaceTextField

OKButton

at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel.MyButton OKButton

cancelButton

at.ac.tuwien.dbai.alternation.gui.tree.TreeFormatPanel.MyButton cancelButton

Package at.ac.tuwien.dbai.alternation.runtime

Class at.ac.tuwien.dbai.alternation.runtime.ComputationTree extends java.util.HashMap<ComputationNode<GWorktape extends InterfaceWorktape>,java.lang.Boolean> implements Serializable

serialVersionUID: 56155764518742618L

Serialized Fields

stateIdToName

java.util.Map<K,V> stateIdToName

nameToStateId

java.util.Map<K,V> nameToStateId

name

java.lang.String name

root

ComputationNode<GWorktape extends InterfaceWorktape> root

nodes

java.util.Map<K,V> nodes

edges

java.util.Map<K,V> edges

Class at.ac.tuwien.dbai.alternation.runtime.ComputationTreeCyclic extends ComputationTree<GWorktape extends InterfaceWorktape> implements Serializable

Serialized Fields

nullEdges

java.util.Map<K,V> nullEdges