Serialized Form
fr
ForwardReasoner fr
posl
int posl
formatBG
javax.swing.ButtonGroup formatBG
jLabel1
javax.swing.JLabel jLabel1
jLabel2
javax.swing.JLabel jLabel2
jScrollPane1
javax.swing.JScrollPane jScrollPane1
jScrollPane2
javax.swing.JScrollPane jScrollPane2
jScrollPane3
javax.swing.JScrollPane jScrollPane3
jTabbedPane1
javax.swing.JTabbedPane jTabbedPane1
jrbPOSL
javax.swing.JRadioButton jrbPOSL
jrbRML
javax.swing.JRadioButton jrbRML
jrbRML91
javax.swing.JRadioButton jrbRML91
jrbRULE
javax.swing.JCheckBox jrbRULE
jrbCHECK
javax.swing.JCheckBox jrbCHECK
jrbOLDNEW
javax.swing.JCheckBox jrbOLDNEW
kbtab
javax.swing.JPanel kbtab
outtab
javax.swing.JPanel outtab
parseKBBtn
javax.swing.JButton parseKBBtn
parseTypeBtn
javax.swing.JButton parseTypeBtn
runBtn
javax.swing.JButton runBtn
showdbgBtn
javax.swing.JButton showdbgBtn
typedeftab
javax.swing.JPanel typedeftab
inputLoopCounter
javax.swing.JTextField inputLoopCounter
dbgcon
DebugConsole dbgcon
jScrollPane1
javax.swing.JScrollPane jScrollPane1
textPane
javax.swing.JTextPane textPane
it
java.util.Iterator<E> it
term1VarName
java.lang.String term1VarName
term2VarName
java.lang.String term2VarName
t1Var
boolean t1Var
t2Var
boolean t2Var
br
BackwardReasoner br
solit
java.util.Iterator<E> solit
buttonGroup1
javax.swing.ButtonGroup buttonGroup1
buttonGroup2
javax.swing.ButtonGroup buttonGroup2
buttonGroup3
javax.swing.ButtonGroup buttonGroup3
jLabel1
javax.swing.JLabel jLabel1
jLabel2
javax.swing.JLabel jLabel2
jLabel3
javax.swing.JLabel jLabel3
jLabel4
javax.swing.JLabel jLabel4
jLabel5
javax.swing.JLabel jLabel5
jLabel6
javax.swing.JLabel jLabel6
jLabel7
javax.swing.JLabel jLabel7
jLabel8
javax.swing.JLabel jLabel8
jScrollPane1
javax.swing.JScrollPane jScrollPane1
jScrollPane2
javax.swing.JScrollPane jScrollPane2
jScrollPane3
javax.swing.JScrollPane jScrollPane3
jScrollPane4
javax.swing.JScrollPane jScrollPane4
jScrollPane5
javax.swing.JScrollPane jScrollPane5
jScrollPane6
javax.swing.JScrollPane jScrollPane6
jScrollPane7
javax.swing.JScrollPane jScrollPane7
jScrollPane8
javax.swing.JScrollPane jScrollPane8
jTabbedPane1
javax.swing.JTabbedPane jTabbedPane1
jrbPOSL
javax.swing.JRadioButton jrbPOSL
jrbRML
javax.swing.JRadioButton jrbRML
jrbRML91
javax.swing.JRadioButton jrbRML91
rdf
javax.swing.JRadioButton rdf
posl
javax.swing.JRadioButton posl
RMLQuery
javax.swing.JRadioButton RMLQuery
POSLQuery
javax.swing.JRadioButton POSLQuery
kbtab
javax.swing.JPanel kbtab
nextBtn
javax.swing.JButton nextBtn
queryBtn
javax.swing.JButton queryBtn
nextBtnT
javax.swing.JButton nextBtnT
queryBtnT
javax.swing.JButton queryBtnT
parseKBBtn
javax.swing.JButton parseKBBtn
parseTypeBtn
javax.swing.JButton parseTypeBtn
qtab
javax.swing.JPanel qtab
ttab
javax.swing.JPanel ttab
solutionTextT
javax.swing.JTextArea solutionTextT
showDbgBtn
javax.swing.JButton showDbgBtn
solTree
javax.swing.JTree solTree
tdtab
javax.swing.JPanel tdtab
varBindTbl
javax.swing.JTable varBindTbl
varBindTblT
javax.swing.JTable varBindTblT
dtcr
javax.swing.tree.DefaultTreeCellRenderer dtcr
dbgcon
DebugConsole dbgcon
tdf
TypeDefFrame tdf
jScrollPane1
javax.swing.JScrollPane jScrollPane1
jScrollPane2
javax.swing.JScrollPane jScrollPane2
jLabel1
javax.swing.JLabel jLabel1
jLabel2
javax.swing.JLabel jLabel2
jbToPosl
javax.swing.JButton jbToPosl
jbToRML
javax.swing.JButton jbToRML
jbToRML91
javax.swing.JButton jbToRML91
jbTypes
javax.swing.JButton jbTypes
jbParseTypes
javax.swing.JButton jbParseTypes
jScrollPane1
javax.swing.JScrollPane jScrollPane1