Serialized Form
serialVersionUID: 1L
serialVersionUID: -1884751676781509811L
consoleMessages
KahinaTextModel consoleMessages
consoleLines
Map<K,V> consoleLines
warnThresholdByBreakpoint
Map<K,V> warnThresholdByBreakpoint
matchCountByBreakpoint
Map<K,V> matchCountByBreakpoint
selectedStepID
int selectedStepID
nextStepID
int nextStepID
control
KahinaController control
serialVersionUID: 7289160962407655124L
|
Package org.kahina.core.data |
serialVersionUID: -262730875988653793L
|
Package org.kahina.core.data.breakpoint |
serialVersionUID: -6754119800163857876L
name
String name
active
boolean active
signalColor
Color signalColor
pattern
TreePattern pattern
type
int type
treeBreakpoints
List<E> treeBreakpoints
|
Package org.kahina.core.data.breakpoint.patterns |
desiredType
String desiredType
badString
String badString
serialVersionUID: -6187900905267803870L
type
int type
rel
int rel
intValue
int intValue
stringValue
String stringValue
regexValue
Pattern regexValue
leftArg
TreeNodePattern leftArg
rightArg
TreeNodePattern rightArg
serialVersionUID: -3784645758172474513L
root
TreePatternNode root
serialVersionUID: 8431727196172467206L
pattern
TreeNodePattern pattern
parent
TreePatternNode parent
children
List<E> children
|
Package org.kahina.core.data.chart |
serialVersionUID: -5878453631395737334L
nextEdgeID
int nextEdgeID
serialVersionUID: 8981755950162448512L
leftBound
int leftBound
rightBound
int rightBound
leftmostCovered
int leftmostCovered
rightmostCovered
int rightmostCovered
segmentCaptions
HashMap<K,V> segmentCaptions
leftBounds
HashMap<K,V> leftBounds
rightBounds
HashMap<K,V> rightBounds
edgeCaptions
HashMap<K,V> edgeCaptions
status
HashMap<K,V> status
motherEdges
HashMap<K,V> motherEdges
daughterEdges
HashMap<K,V> daughterEdges
|
Package org.kahina.core.data.dag |
serialVersionUID: -5409083393589686558L
colorPaths
List<E> colorPaths
serialVersionUID: 4477263548864006864L
serialVersionUID: -7505557494606184493L
roots
Set<E> roots
incomingEdges
Map<K,V> incomingEdges
outgoingEdges
Map<K,V> outgoingEdges
nodeCaptions
Map<K,V> nodeCaptions
status
Map<K,V> status
collapsed
Set<E> collapsed
edgeLabels
Map<K,V> edgeLabels
startNodes
Map<K,V> startNodes
endNodes
Map<K,V> endNodes
nextNodeID
int nextNodeID
nextEdgeID
int nextEdgeID
|
Package org.kahina.core.data.graph |
adjacents
Map<K,V> adjacents
vertexLabels
Map<K,V> vertexLabels
vertexStatus
Map<K,V> vertexStatus
edgeLabels
Map<K,V> edgeLabels
edgeStatus
Map<K,V> edgeStatus
nextID
int nextID
|
Package org.kahina.core.data.project |
appID
String appID
openedFiles
List<E> openedFiles
testSet
TestSet testSet
perspective
KahinaPerspective perspective
breakpoints
KahinaBreakpointProfile breakpoints
|
Package org.kahina.core.data.source |
serialVersionUID: 2916702640971956581L
absolutePath
String absolutePath
lineNumber
int lineNumber
serialVersionUID: -7203132120383015898L
absolutePathName
String absolutePathName
serialVersionUID: 6178519108143817440L
models
Map<K,V> models
|
Package org.kahina.core.data.text |
serialVersionUID: -7344672902839311198L
text
KahinaTextModel text
line
int line
step
int step
serialVersionUID: -5142487008379123698L
lines
List<E> lines
serialVersionUID: 210634361438935557L
text
KahinaText text
serialVersionUID: -7564505921829272199L
text
String text
beginIndex
int beginIndex
endIndex
int endIndex
caretIndex
int caretIndex
|
Package org.kahina.core.data.tree |
serialVersionUID: -4016640936973844302L
serialVersionUID: -721535790620674355L
serialVersionUID: -7193259910680733711L
decider
LayerDecider decider
primaryModel
KahinaTree primaryModel
referenceNode
int referenceNode
rootID
int rootID
serialVersionUID: -2918960685520857350L
parents
Map<K,V> parents
children
Map<K,V> children
nodeCaptions
Map<K,V> nodeCaptions
edgeLabels
Map<K,V> edgeLabels
status
Map<K,V> status
collapsed
Set<E> collapsed
layers
Map<K,V> layers
nextID
int nextID
childAddListeners
List<E> childAddListeners
serialVersionUID: 4289330877894493409L
serialVersionUID: 1124996875665227253L
|
Package org.kahina.core.edit.breakpoint |
control
KahinaController control
nodeConstPanel
SingleNodeConstraintPanel nodeConstPanel
xCoord
Map<K,V> xCoord
yCoord
Map<K,V> yCoord
xDim
int xDim
yDim
int yDim
markedPattern
TreeNodePattern markedPattern
nodeSelectionMode
int nodeSelectionMode
andOperationButton
JButton andOperationButton
orOperationButton
JButton orOperationButton
negOperationButton
JButton negOperationButton
implOperationButton
JButton implOperationButton
hintLabel
JLabel hintLabel
serialVersionUID: -857783947658715855L
control
KahinaController control
editTabs
JTabbedPane editTabs
nodeConstraintPanel
NodeConstraintPanel nodeConstraintPanel
treeFragmentPanel
TreeFragmentPanel treeFragmentPanel
nameLabel
JLabel nameLabel
nameField
JTextField nameField
suggestNameButton
JButton suggestNameButton
colorLabel
JLabel colorLabel
signalColor
JButton signalColor
showAutomatonButton
JButton showAutomatonButton
breakpoint
KahinaBreakpoint breakpoint
serialVersionUID: -3957158061733630627L
options
List<E> options
control
KahinaController control
constrOptions
NodeConstraintOptions constrOptions
constPanel
SingleNodeConstraintPanel constPanel
boolOpsPanel
BooleanOperationsPanel boolOpsPanel
hintPanel
BreakpointEditorHintPanel hintPanel
selectionMode
int selectionMode
addChildOperationButton
JButton addChildOperationButton
setParentOperationButton
JButton setParentOperationButton
removeOperationButton
JButton removeOperationButton
control
KahinaController control
constrOptions
NodeConstraintOptions constrOptions
elementaryConstraintNumber
int elementaryConstraintNumber
basePatterns
List<E> basePatterns
virtualRootPattern
TreeNodePattern virtualRootPattern
parentPatterns
Map<K,V> parentPatterns
elConstPanel
JPanel elConstPanel
boolPanel
BooleanConnectorPanel boolPanel
typeComboBoxes
List<E> typeComboBoxes
relComboBoxes
List<E> relComboBoxes
valComboBoxes
List<E> valComboBoxes
valKeyListeners
List<E> valKeyListeners
addButtons
List<E> addButtons
remButtons
List<E> remButtons
hintPanel
BreakpointEditorHintPanel hintPanel
synchronizationMode
boolean synchronizationMode
isSynchronized
boolean isSynchronized
fragment
TreeFragmentPanel fragment
x
HashMap<K,V> x
y
HashMap<K,V> y
subtreeWidths
HashMap<K,V> subtreeWidths
control
KahinaController control
constrOptions
NodeConstraintOptions constrOptions
rootConstPanel
SingleNodeConstraintPanel rootConstPanel
children
HashMap<K,V> children
parents
HashMap<K,V> parents
treePanel
TreeEditorPanel treePanel
boolOpsPanel
BooleanOperationsPanel boolOpsPanel
nodeOpsPanel
NodeOperationsPanel nodeOpsPanel
hintPanel
BreakpointEditorHintPanel hintPanel
selectionMode
int selectionMode
markedTreeNode
SingleNodeConstraintPanel markedTreeNode
|
Package org.kahina.core.edit.source |
serialVersionUID: 2807203309357135993L
saveButton
JButton saveButton
textArea
StandaloneTextArea textArea
buffer
JEditBuffer buffer
file
File file
dirty
boolean dirty
serialVersionUID: 7289857419713715346L
tabbedPane
JTabbedPane tabbedPane
panelByFile
Map<K,V> panelByFile
|
Package org.kahina.core.gui |
serialVersionUID: -809546592680882505L
buttons
List<E> buttons
serialVersionUID: 5212055650892082890L
progressBar
JProgressBar progressBar
cancelButton
JButton cancelButton
canceled
boolean canceled
serialVersionUID: -3140345218228195395L
control
KahinaController control
title
String title
windowID
int windowID
|
Package org.kahina.core.gui.breakpoint |
serialVersionUID: 7163623733563539175L
control
KahinaController control
serialVersionUID: -2695961972605190759L
control
KahinaController control
newBreakpointButton
JButton newBreakpointButton
activateBreakpointButton
JButton activateBreakpointButton
deactivateBreakpointButton
JButton deactivateBreakpointButton
removeBreakpointButton
JButton removeBreakpointButton
breakpointListPanel
JPanel breakpointListPanel
breakpointList
JList breakpointList
editPanel
KahinaBreakpointEditorPanel editPanel
breakpoints
List<E> breakpoints
compiledBreakpoints
List<E> compiledBreakpoints
curID
int curID
breakpointType
int breakpointType
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
serialVersionUID: 5249202782237918220L
model
KahinaTree model
breakpoints
List<E> breakpoints
view
KahinaTreeView view
mainPanel
JPanel mainPanel
treeGenPanel
TreeGenerationPanel treeGenPanel
nodeOpPanel
NodeOperationsPanel nodeOpPanel
hintPanel
BreakpointEditorHintPanel hintPanel
viewPanel
KahinaTreeViewPanel viewPanel
growthProcess
Thread growthProcess
growthMode
boolean growthMode
serialVersionUID: -3420993187702603445L
thresholdedEditPanel
ThresholdedBreakpointEditPanel thresholdedEditPanel
state
LogicProgrammingState state
serialVersionUID: -5038545439301530295L
thresholdSpinner
JSpinner thresholdSpinner
thresholdLabel1
JLabel thresholdLabel1
thresholdLabel2
JLabel thresholdLabel2
state
KahinaState state
addRandomNodeButton
JButton addRandomNodeButton
randomTreeGrowthButton
JButton randomTreeGrowthButton
stopTreeGrowthButton
JButton stopTreeGrowthButton
discardTreeButton
JButton discardTreeButton
|
Package org.kahina.core.gui.menus |
serialVersionUID: -1290849167486564257L
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
serialVersionUID: -8825991093423631389L
guiControl
KahinaController guiControl
serialVersionUID: -8816851369583949953L
manager
KahinaWindowManager manager
lastPerspectiveFile
File lastPerspectiveFile
w
KahinaWindow w
guiControl
KahinaController guiControl
newProjectItem
JMenuItem newProjectItem
loadProjectItem
JMenuItem loadProjectItem
saveProjectItem
JMenuItem saveProjectItem
closeProjectItem
JMenuItem closeProjectItem
|
Package org.kahina.core.gui.profiler |
serialVersionUID: -7484775954027995992L
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
|
Package org.kahina.core.gui.windows |
serialVersionUID: -103050187301305920L
v
KahinaView<T extends KahinaObject> v
serialVersionUID: 6198599746412653039L
serialVersionUID: 7735328776548607273L
leftWindow
KahinaWindow leftWindow
rightWindow
KahinaWindow rightWindow
leftPanel
JPanel leftPanel
rightPanel
JPanel rightPanel
splitPane
JSplitPane splitPane
serialVersionUID: -3092025976121299649L
listModel
DefaultListModel listModel
list
JList list
displayPane
JPanel displayPane
windows
List<E> windows
selectedWindow
int selectedWindow
serialVersionUID: 4400677323996243739L
menuBar
JMenuBar menuBar
subwindow
KahinaWindow subwindow
serialVersionUID: -3402208749341396369L
tabbedPane
JTabbedPane tabbedPane
windows
List<E> windows
serialVersionUID: -4836711113431179305L
upperWindow
KahinaWindow upperWindow
lowerWindow
KahinaWindow lowerWindow
topPanel
JPanel topPanel
bottomPanel
JPanel bottomPanel
splitPane
JSplitPane splitPane
resizeWeight
double resizeWeight
serialVersionUID: 6613805267152521669L
wm
KahinaWindowManager wm
mainPanel
KahinaTransferablePanel mainPanel
windowID
int windowID
cloned
boolean cloned
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
|
Package org.kahina.core.profiler |
serialVersionUID: -8785694535266108407L
name
String name
category
String category
hashCode
int hashCode
|
Package org.kahina.core.test |
serialVersionUID: 2227151963480031811L
|
Package org.kahina.core.visual |
serialVersionUID: -5117530919344443714L
serialVersionUID: 5677332450070203832L
view
KahinaView<T extends KahinaObject> view
progressBar
KahinaProgressBar progressBar
progressBarParent
JComponent progressBarParent
|
Package org.kahina.core.visual.chart |
serialVersionUID: 3314767645836373938L
v
KahinaChartView v
serialVersionUID: -1083038134731774917L
image
BufferedImage image
|
Package org.kahina.core.visual.dag |
view
ColoredPathDAGView view
serialVersionUID: 9048500561913489861L
v
KahinaDAGView v
serialVersionUID: 6701252380309408342L
image
BufferedImage image
|
Package org.kahina.core.visual.graph |
serialVersionUID: -6792818227134710399L
v
KahinaGraphView v
serialVersionUID: -3000401362714094415L
image
BufferedImage image
taskManager
KahinaGraphViewTaskManager taskManager
|
Package org.kahina.core.visual.project |
|
Package org.kahina.core.visual.source |
serialVersionUID: 7794798458761136862L
editPanel
KahinaMultifileJEditPanel editPanel
|
Package org.kahina.core.visual.text |
serialVersionUID: -615641085387993443L
list
JList list
listScrollPane
JScrollPane listScrollPane
displayContext
int displayContext
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
|
Package org.kahina.core.visual.tree |
serialVersionUID: -1304882362038211887L
panels
KahinaTreeViewPanel[] panels
orientation
KahinaLayeredTreeViewPanel.Orientation orientation
serialVersionUID: 331637404881122724L
view
KahinaListTreeViewPanel view
layer
int layer
serialVersionUID: -2816651065876855228L
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
panels
JPanel[] panels
lists
JList[] lists
listModels
ListModel[] listModels
splitPanes
List<E> splitPanes
listIndexByNodeIDByLayer
List<E> listIndexByNodeIDByLayer
lastMouseEvent
MouseEvent lastMouseEvent
oldReferenceNodeByLayer
int[] oldReferenceNodeByLayer
serialVersionUID: 9048500561913489861L
v
KahinaTreeView v
serialVersionUID: 6701252380309408342L
image
BufferedImage image
|
Package org.kahina.logic.sat.data |
|
Package org.kahina.logic.sat.data.cnf |
numClauses
int numClauses
numVars
int numVars
clauses
List<E> clauses
occurrenceMap
List<E>[] occurrenceMap
numGroups
int numGroups
clauseToGroup
int[] clauseToGroup
groupToClauses
List<E>[] groupToClauses
groupOccurrenceMap
List<E>[] groupOccurrenceMap
|
Package org.kahina.logic.sat.data.free |
formula
BooleanFormula formula
|
Package org.kahina.logic.sat.visual.cnf |
|
Package org.kahina.logic.sat.visual.free |
view
FormulaTreeView view
serialVersionUID: -2604998343572966299L
stepTree
KahinaTree stepTree
secondaryStepTree
KahinaTree secondaryStepTree
anchorsByTarget
Map<K,V> anchorsByTarget
targetByAnchor
Map<K,V> targetByAnchor
hiddenSteps
Set<E> hiddenSteps
primaryBreakpoints
List<E> primaryBreakpoints
secondaryBreakpoints
List<E> secondaryBreakpoints
primaryWarnPoints
List<E> primaryWarnPoints
secondaryWarnPoints
List<E> secondaryWarnPoints
skipPoints
List<E> skipPoints
creepPoints
List<E> creepPoints
failPoints
List<E> failPoints
profile
LogicProgrammingProfile profile
serialVersionUID: -7522398040719763248L
goalDesc
String goalDesc
externalID
int externalID
codeLocation
KahinaSourceCodeLocation codeLocation
redone
int redone
|
Package org.kahina.lp.data.breakpoint |
|
Package org.kahina.lp.data.text |
serialVersionUID: -2368235915459798532L
port
int port
extID
int extID
|
Package org.kahina.lp.gui |
serialVersionUID: -8044329699904664157L
|
Package org.kahina.lp.gui.profiler |
serialVersionUID: 7993923998704688262L
|
Package org.kahina.lp.profiler |
serialVersionUID: 4869556554829662187L
callsByEntry
Map<K,V> callsByEntry
failsByEntry
Map<K,V> failsByEntry
exceptionsByEntry
Map<K,V> exceptionsByEntry
exitsByEntry
Map<K,V> exitsByEntry
redosByEntry
Map<K,V> redosByEntry
|
Package org.kahina.lp.visual.source |
serialVersionUID: -5265391588326013752L
|
Package org.kahina.parse.data.chart |
serialVersionUID: 7159555646116398244L
|
Package org.kahina.parse.data.project |
|
Package org.kahina.parse.visual.chart |
serialVersionUID: 4358324550444966379L
|
Package org.kahina.parse.visual.project |
serialVersionUID: -1889662532862461246L
|
Package org.kahina.prolog.editor |
serialVersionUID: -783118503897150009L
serialVersionUID: 2236124422015782405L
serialVersionUID: -119683692028732745L
goal
QTypeGoal goal
|
Package org.kahina.qtype.data.bindings |
serialVersionUID: 1626803422982352323L
in
TraleSLDFS in
out
TraleSLDFS out
|
Package org.kahina.qtype.data.project |
grammarFile
File grammarFile
|
Package org.kahina.qtype.data.tree |
serialVersionUID: -3668167056515761575L
layerByNode
Map<K,V> layerByNode
- Cache. Never gets invalidated because decisions are never revised as long
as no nodes are removed (and no nodes are ever removed).
|
Package org.kahina.qtype.gui |
serialVersionUID: -8044329699904664157L
serialVersionUID: 5337584282998019751L
guiControl
KahinaController guiControl
serialVersionUID: -1290849167486564257L
|
Package org.kahina.qtype.visual.bindings |
serialVersionUID: 6523823660347470157L
util
VisualizationUtility util
innerPanel
JPanel innerPanel
|
Package org.kahina.sicstus |
serialVersionUID: -119683692028732745L
bindings
SICStusPrologVariableBindingSet bindings
|
Package org.kahina.sicstus.data.bindings |
serialVersionUID: -4543111507445440926L
variableNames
SortedSet<E> variableNames
inValues
Map<K,V> inValues
outValues
Map<K,V> outValues
|
Package org.kahina.sicstus.visual.bindings |
serialVersionUID: 1373740134949605494L
tableModel
SICStusPrologVariableBindingTableModel tableModel
table
JTable table
serialVersionUID: 2591048016192505705L
data
String[][] data
columnNames
String[] columnNames
serialVersionUID: -119683692028732745L
inBindings
SWIPrologVariableBindingSet inBindings
outBindings
SWIPrologVariableBindingSet outBindings
|
Package org.kahina.swi.data.bindings |
serialVersionUID: 9032602517905562761L
keys
String[] keys
values
String[] values
|
Package org.kahina.swi.data.tree |
serialVersionUID: 4552616211113705690L
limit
int limit
|
Package org.kahina.swi.visual.bindings |
serialVersionUID: 1373740134949605494L
tableModel
SWIPrologVariableBindingTableModel tableModel
table
JTable table
serialVersionUID: 2591048016192505705L
data
String[][] data
columnNames
String[] columnNames
|
Package org.kahina.tralesld |
serialVersionUID: -6388044339949017641L
chart
KahinaChart chart
signature
TraleSLDSignature signature
trale
AuxiliaryTraleInstance trale
edgeToNode
HashMap<K,V> edgeToNode
nodeToEdge
HashMap<K,V> nodeToEdge
serialVersionUID: -43108052730328464L
startFeatStruct
TraleSLDFS startFeatStruct
endFeatStruct
TraleSLDFS endFeatStruct
startBindings
TraleSLDVariableBindingSet startBindings
endBindings
TraleSLDVariableBindingSet endBindings
|
Package org.kahina.tralesld.data.fs |
serialVersionUID: -4364052716085296822L
serialVersionUID: -4488083322946006628L
children
List<E> children
serialVersionUID: 8146983630905086694L
string
String string
serialVersionUID: -1606728351152682772L
varName
String varName
tag
String tag
type
String type
fs
TraleSLDFS fs
serialVersionUID: -2345044311794474844L
bindings
TreeMap<K,V> bindings
|
Package org.kahina.tralesld.data.project |
signatureFile
File signatureFile
theoryFiles
List<E> theoryFiles
|
Package org.kahina.tralesld.data.signature |
serialVersionUID: 7411049956894696227L
types
List<E> types
features
List<E> features
subtypes
Map<K,V> subtypes
supertypes
Map<K,V> supertypes
paths
Map<K,V> paths
featIntroType
Map<K,V> featIntroType
typeRestr
Map<K,V> typeRestr
usage
Map<K,V> usage
|
Package org.kahina.tralesld.data.tree |
serialVersionUID: 4552616211113705690L
limit
int limit
|
Package org.kahina.tralesld.data.workbench |
obj
HashMap<K,V> obj
signatureFile
String signatureFile
theoryFile
String theoryFile
signature
TraleSLDSignature signature
|
Package org.kahina.tralesld.gui |
serialVersionUID: -8044329699904664157L
serialVersionUID: -1290849167486564257L
serialVersionUID: 1091733910119223896L
|
Package org.kahina.tralesld.visual.fs |
serialVersionUID: -7070400847889372946L
blockPanel
GraleJEditorBlockPanel blockPanel
sig
TraleSLDSignature sig
grisuString
String grisuString
data
gralej.parsers.IDataPackage data
contextPath
List<E> contextPath
contextBlock
gralej.blocks.Block contextBlock
contextStructure
gralej.om.IEntity contextStructure
contextStructureType
String contextStructureType
contextAttrBlock
gralej.blocks.Block contextAttrBlock
contextAttrModel
gralej.om.IFeatureValuePair contextAttrModel
contextAttr
String contextAttr
contextParentBlock
gralej.blocks.Block contextParentBlock
contextParentStructure
gralej.om.IEntity contextParentStructure
contextParentStructureType
String contextParentStructureType
contextListIndex
int contextListIndex
bufferedStructure
String bufferedStructure
identityMode
boolean identityMode
cachedPath
List<E> cachedPath
trale
AuxiliaryTraleInstance trale
editingMode
int editingMode
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
serialVersionUID: -8507986910087886388L
innerPanel
JPanel innerPanel
util
VisualizationUtility util
serialVersionUID: 8545282386910165013L
table
JTable table
innerPanel
JPanel innerPanel
tableModel
TraleSLDVariableBindingTableModel tableModel
util
VisualizationUtility util
serialVersionUID: 3379369094266283475L
variableNames
String[] variableNames
types
String[] types
grisuMessages
String[] grisuMessages
|
Package org.kahina.tralesld.visual.signature |
serialVersionUID: 4258442224074530109L
htmlPane
JEditorPane htmlPane
serialVersionUID: 5154672597479209987L
htmlPane
JTextPane htmlPane
serialVersionUID: 6789098188340983733L
htmlPane
JEditorPane htmlPane
|
Package org.kahina.tralesld.visual.workbench |
serialVersionUID: 8913866572343111847L
msgLabel
JLabel msgLabel
signatureFileLabel
JLabel signatureFileLabel
theoryFileLabel
JLabel theoryFileLabel
exportSelectionItem
JMenuItem exportSelectionItem
loadSignatureItem
JMenuItem loadSignatureItem
compileTheoryItem
JMenuItem compileTheoryItem
discardTheoryItem
JMenuItem discardTheoryItem
reloadSignatureItem
JMenuItem reloadSignatureItem
recompileTheoryItem
JMenuItem recompileTheoryItem
fsMenu
JMenu fsMenu
newTypeInstanceMenu
JMenu newTypeInstanceMenu
newLexiconInstanceMenu
JMenu newLexiconInstanceMenu
exportFSItem
JMenuItem exportFSItem
theoryMGSItem
JMenuItem theoryMGSItem
sigMGUItem
JMenuItem sigMGUItem
theMGUItem
JMenuItem theMGUItem
editModeMenu
JMenu editModeMenu
freeModeItem
JMenuItem freeModeItem
tfModeItem
JMenuItem tfModeItem
ttfModeItem
JMenuItem ttfModeItem
list
JList list
editor
TraleSLDFeatureStructureEditor editor
bufferedStructure
String bufferedStructure
lastDisplayID
String lastDisplayID
kahina
KahinaInstance<S extends KahinaState,G extends KahinaGUI,B extends KahinaBridge> kahina
|
Package org.kahina.tulipa |
dag
KahinaDAG dag
grammar
TulipaGrammar grammar
serialVersionUID: 3677954377223379901L
itemDesc
String itemDesc
externalID
int externalID
|
Package org.kahina.tulipa.data.grammar |
serialVersionUID: 8954717071257944662L
rcgClauses
HashMap<K,V> rcgClauses
|
Package org.kahina.tulipa.visual.grammar |
serialVersionUID: -5222437359574027115L
grammar
TulipaGrammar grammar
serialVersionUID: 8545282386910165013L
clauseList
JList clauseList
innerPanel
JPanel innerPanel
clauseListModel
TulipaClauseListModel clauseListModel