Public Member Functions | |
| void | actionPerformed (ActionEvent e) |
| void | focusGained (FocusEvent e) |
| void | focusLost (FocusEvent e) |
| void | itemStateChanged (ItemEvent e) |
| void | windowActivated (WindowEvent e) |
| void | windowClosed (WindowEvent e) |
| void | windowClosing (WindowEvent e) |
| void | windowDeactivated (WindowEvent e) |
| void | windowDeiconified (WindowEvent e) |
| void | windowIconified (WindowEvent e) |
| void | windowOpened (WindowEvent e) |
Static Public Member Functions | |
| static void | main (final String[] args) |
Protected Member Functions | |
| void | addCommentChars (JTextArea textArea) |
| void | addCommentChars () |
| boolean | checkConsistency (LSentence allRules) throws ParseError, IllegalUserInput |
| void | composeConflictSetsAsStrings (ArrayList conflictsAsAss, ArrayList result) |
| void | composeDiagnosesAsStrings (ArrayList minHittingSetsAsAss, ArrayList result) |
| ArrayList | composeMinDEsResult (DiagnosisProblem diagProblem, ArrayList minDEs, boolean useProb) |
| ArrayList | composeRepairCandidateResult (RepairCandidates rcs) |
| ArrayList | computeDiagEnv (boolean mergeDEs, boolean discardOrderPerms) throws ParseError, IllegalUserInput |
| boolean | computeMinHS (LSentence allRules, ArrayList diagnoses, ArrayList conflictSets) throws ParseError, IllegalUserInput |
| boolean | computeMoreHS (ArrayList diagnoses, ArrayList conflictSets) throws ParseError, IllegalUserInput |
| void | displayResult (String result, String title) |
| void | displayResults (ArrayList resultLines, String title) |
| void | doSearch (boolean fromCursor) |
| void | generatePropNegationAxioms (JTextArea propTextArea, LogicParser parser, LSentence allRules) throws ParseError, IllegalUserInput |
| String | getNegPrefix () throws IllegalUserInput |
| boolean | isCommentLine (String line) |
| void | onComputeMinHSClick () throws IllegalUserInput, ParseError |
| void | onComputeMoreHSClick () throws IllegalUserInput, ParseError |
| void | parseFDG (DiagnosisProblem diagProblem, boolean useProb) throws ParseError |
| void | parseLogSentences (JTextArea textArea, LogicParser parser, LSentence allRules) throws ParseError |
| LSentence | parseOBS () throws ParseError, IllegalUserInput |
| LSentence | parseSD () throws ParseError, IllegalUserInput |
| LSentence | parseSDD () throws ParseError, IllegalUserInput |
| void | printConflictSet (ArrayList conflict) |
| void | printConflictSets (ArrayList conflictSets) |
| String | readAssAB () |
| String | readAssDF () |
| String | readAssNAB () |
| int | readExplSize () throws IllegalUserInput |
| int | readMaxDFChain () throws IllegalUserInput |
| int | readNumExpl () throws IllegalUserInput |
| void | removeCommentChars (JTextArea textArea) |
| void | removeCommentChars () |
| void | searchFirst () |
| void | searchNext () |
Package Functions | |
| void | fillResultPanel (JPanel resultsPanel) |
Private Member Functions | |
| void | createMenu () |
| void | extractLastDir (File file) |
| void | fillActionsPanel (JPanel actionsPanel) |
| void | fillDepFaultPanel (JPanel depFaultPanel) |
| void | fillFrame () |
| void | fillSettingsPanel (JPanel settingsPanel) |
| GuiHittingSets (JFrame frame, String[] args) | |
| void | parseCmdLine (String[] args) |
| void | readFdgFile () throws IOException |
| void | readFile (JTextArea textArea, File file) throws IOException |
| void | readObsFile () throws IOException |
| void | readPropFile () throws IOException |
| void | readSddFile () throws IOException |
| void | readSdFile () throws IOException |
| void | readSettings () throws IOException |
| void | reloadAll () throws IOException |
| void | saveAll () throws IOException |
| void | saveFdg () throws IOException |
| void | saveFdgAs () throws IOException |
| void | saveObs () throws IOException |
| void | saveObsAs () throws IOException |
| void | saveProp () throws IOException |
| void | savePropAs () throws IOException |
| void | saveSd () throws IOException |
| void | saveSdAs () throws IOException |
| void | saveSdd () throws IOException |
| void | saveSddAs () throws IOException |
| void | saveText (JTextArea textArea, File file) throws IOException |
| void | setTextAreaAttributes (JTextArea textArea) |
| File | showFileOpenDialog (String title) |
| File | showFileSaveAsDialog (String title) |
| void | updateMenuStatus () |
| void | writeSettings () throws IOException |
Static Private Member Functions | |
| static final void | createAndShowGUI (final String[] args) |
Private Attributes | |
| JLabel | abLabel |
| JTextField | assABText |
| JTextField | assDFText |
| JTextField | assNABText |
| JCheckBox | betaEnvCB |
| JButton | checkConsBtn |
| JButton | clearObsBtn |
| JButton | clearPropBtn |
| JButton | clearSdBtn |
| JButton | commentBtn |
| JMenuItem | commentMenu |
| JButton | computeMinDiagEnvBtn |
| JButton | computeMinHSBtn |
| JButton | computeMoreBtn |
| JCheckBox | depFaultsCB |
| JLabel | dfLabel |
| JPanel | dfSettingsPanel |
| JCheckBox | discardOrderPermsCB |
| JSpinner | explSizeSpinner |
| File | fdgFile |
| JTextArea | fdgText |
| Object | focusedComponent |
| JFrame | frame |
| MinHittingSets | hs = null |
| MinHittingSetsFM | hsFM = null |
| File | lastDir |
| JSpinner | maxDFChainSpinner |
| boolean | mergeDEs = true |
| JCheckBox | mergeDEsCB |
| JLabel | nabLabel |
| JTextField | negPrefixText |
| JTextField | numExplText |
| File | obsFile |
| JTextArea | obsText |
| JMenuItem | openFdgMenu |
| JMenuItem | openObsMenu |
| JMenuItem | openPropMenu |
| JMenuItem | openSddMenu |
| JMenuItem | openSdMenu |
| File | propFile |
| JTextArea | propText |
| JMenuItem | reloadAllMenu |
| JMenuItem | reloadFdgMenu |
| JMenuItem | reloadObsMenu |
| JMenuItem | reloadPropMenu |
| JMenuItem | reloadSddMenu |
| JMenuItem | reloadSdMenu |
| JTextArea | results1Text |
| JTextArea | results2Text |
| TitledBorder | resultsBorder |
| JPanel | resultsPanel |
| JMenuItem | saveAllMenu |
| JMenuItem | saveFdgAsMenu |
| JMenuItem | saveFdgMenu |
| JMenuItem | saveObsAsMenu |
| JMenuItem | saveObsMenu |
| JMenuItem | savePropAsMenu |
| JMenuItem | savePropMenu |
| JMenuItem | saveSdAsMenu |
| JMenuItem | saveSddAsMenu |
| JMenuItem | saveSddMenu |
| JMenuItem | saveSdMenu |
| File | sddFile |
| JTextArea | sddText |
| File | sdFile |
| JTextArea | sdText |
| JButton | searchFirstBtn |
| JButton | searchNextBtn |
| JLabel | searchResultLabel |
| JTextField | searchText |
| boolean | supportDepFaults = false |
| JTabbedPane | tabbedPane |
| JButton | uncommentBtn |
| JMenuItem | uncommentMenu |
| JCheckBox | useFaultModelsCB |
| JCheckBox | useProbabilitiesCB |
Static Private Attributes | |
| static final String | ASS_IF = "IF" |
| static final char | AUTO_COMMENT_PREFIX = '#' |
| static final String | CMD_MERGE_DES = "merge_des" |
| static final String | CMD_SUPPORT_DEP_FAULTS = "-df" |
| static final String[] | COMMENT_PREFIXES = {"#", "*"} |
| static final String | FDG_EDGE_STR = "=>" |
| static final String | FILE_SETTINGS = ".GuiHittingSets" |
| static final String | OPT_NO = "no" |
| static final String | OPT_YES = "yes" |
| static final String | PR_FDG_FILE = "fdg_file" |
| static final String | PR_OBS_FILE = "observations_file" |
| static final String | PR_PROP_FILE = "proposition_file" |
| static final String | PR_SD_FILE = "system_description_file" |
| static final String | PR_SDD_FILE = "system_dep_description_file" |
| static final String | RELOAD_FDG_MENU_TEXT = "Reload FDG" |
| static final String | RELOAD_OBS_MENU_TEXT = "Reload Observations" |
| static final String | RELOAD_PROP_MENU_TEXT = "Reload Propositions" |
| static final String | RELOAD_SD_MENU_TEXT = "Reload System Description" |
| static final String | RELOAD_SDD_MENU_TEXT = "Reload System Dep. Description" |
| static final String | SAVE_FDG_MENU_TEXT = "Save FDG" |
| static final String | SAVE_OBS_MENU_TEXT = "Save Observations" |
| static final String | SAVE_PROP_MENU_TEXT = "Save Propositions" |
| static final String | SAVE_SD_MENU_TEXT = "Save System Description" |
| static final String | SAVE_SDD_MENU_TEXT = "Save System Dep. Description" |
| static final int | TAB_FDG = 1 |
| static final int | TAB_LOG_MODEL = 0 |
| static final String | TITLE_RESULTS = "Results: " |
Definition at line 19 of file GuiHittingSets.java.
| dfengine.GuiHittingSets.GuiHittingSets | ( | JFrame | frame, |
| String[] | args | ||
| ) | [inline, private] |
Definition at line 197 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.actionPerformed | ( | ActionEvent | e | ) | [inline] |
Definition at line 1647 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.addCommentChars | ( | JTextArea | textArea | ) | [inline, protected] |
Definition at line 1799 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.addCommentChars | ( | ) | [inline, protected] |
Definition at line 1847 of file GuiHittingSets.java.
| boolean dfengine.GuiHittingSets.checkConsistency | ( | LSentence | allRules | ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1201 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.composeConflictSetsAsStrings | ( | ArrayList | conflictsAsAss, |
| ArrayList | result | ||
| ) | [inline, protected] |
Definition at line 1409 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.composeDiagnosesAsStrings | ( | ArrayList | minHittingSetsAsAss, |
| ArrayList | result | ||
| ) | [inline, protected] |
Definition at line 1387 of file GuiHittingSets.java.
| ArrayList dfengine.GuiHittingSets.composeMinDEsResult | ( | DiagnosisProblem | diagProblem, |
| ArrayList | minDEs, | ||
| boolean | useProb | ||
| ) | [inline, protected] |
Definition at line 1583 of file GuiHittingSets.java.
| ArrayList dfengine.GuiHittingSets.composeRepairCandidateResult | ( | RepairCandidates | rcs | ) | [inline, protected] |
Definition at line 1571 of file GuiHittingSets.java.
| ArrayList dfengine.GuiHittingSets.computeDiagEnv | ( | boolean | mergeDEs, |
| boolean | discardOrderPerms | ||
| ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1487 of file GuiHittingSets.java.
| boolean dfengine.GuiHittingSets.computeMinHS | ( | LSentence | allRules, |
| ArrayList | diagnoses, | ||
| ArrayList | conflictSets | ||
| ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1286 of file GuiHittingSets.java.
| boolean dfengine.GuiHittingSets.computeMoreHS | ( | ArrayList | diagnoses, |
| ArrayList | conflictSets | ||
| ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1348 of file GuiHittingSets.java.
| static final void dfengine.GuiHittingSets.createAndShowGUI | ( | final String[] | args | ) | [inline, static, private] |
Definition at line 160 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.createMenu | ( | ) | [inline, private] |
Definition at line 272 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.displayResult | ( | String | result, |
| String | title | ||
| ) | [inline, protected] |
Definition at line 1863 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.displayResults | ( | ArrayList | resultLines, |
| String | title | ||
| ) | [inline, protected] |
Definition at line 1870 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.doSearch | ( | boolean | fromCursor | ) | [inline, protected] |
Definition at line 1758 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.extractLastDir | ( | File | file | ) | [inline, private] |
Definition at line 745 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.fillActionsPanel | ( | JPanel | actionsPanel | ) | [inline, private] |
Definition at line 884 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.fillDepFaultPanel | ( | JPanel | depFaultPanel | ) | [inline, private] |
Definition at line 947 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.fillFrame | ( | ) | [inline, private] |
Definition at line 986 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.fillResultPanel | ( | JPanel | resultsPanel | ) | [inline, package] |
Definition at line 1127 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.fillSettingsPanel | ( | JPanel | settingsPanel | ) | [inline, private] |
Definition at line 749 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.focusGained | ( | FocusEvent | e | ) | [inline] |
Definition at line 1818 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.focusLost | ( | FocusEvent | e | ) | [inline] |
Definition at line 1822 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.generatePropNegationAxioms | ( | JTextArea | propTextArea, |
| LogicParser | parser, | ||
| LSentence | allRules | ||
| ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1958 of file GuiHittingSets.java.
| String dfengine.GuiHittingSets.getNegPrefix | ( | ) | throws IllegalUserInput [inline, protected] |
Definition at line 1980 of file GuiHittingSets.java.
| boolean dfengine.GuiHittingSets.isCommentLine | ( | String | line | ) | [inline, protected] |
Definition at line 1951 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.itemStateChanged | ( | ItemEvent | e | ) | [inline] |
Definition at line 1892 of file GuiHittingSets.java.
| static void dfengine.GuiHittingSets.main | ( | final String[] | args | ) | [inline, static] |
Definition at line 150 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.onComputeMinHSClick | ( | ) | throws IllegalUserInput, ParseError [inline, protected] |
Definition at line 1616 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.onComputeMoreHSClick | ( | ) | throws IllegalUserInput, ParseError [inline, protected] |
Definition at line 1636 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.parseCmdLine | ( | String[] | args | ) | [inline, private] |
Definition at line 204 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.parseFDG | ( | DiagnosisProblem | diagProblem, |
| boolean | useProb | ||
| ) | throws ParseError [inline, protected] |
Definition at line 1430 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.parseLogSentences | ( | JTextArea | textArea, |
| LogicParser | parser, | ||
| LSentence | allRules | ||
| ) | throws ParseError [inline, protected] |
Definition at line 1991 of file GuiHittingSets.java.
| LSentence dfengine.GuiHittingSets.parseOBS | ( | ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1162 of file GuiHittingSets.java.
| LSentence dfengine.GuiHittingSets.parseSD | ( | ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1151 of file GuiHittingSets.java.
| LSentence dfengine.GuiHittingSets.parseSDD | ( | ) | throws ParseError, IllegalUserInput [inline, protected] |
Definition at line 1171 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.printConflictSet | ( | ArrayList | conflict | ) | [inline, protected] |
Definition at line 1239 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.printConflictSets | ( | ArrayList | conflictSets | ) | [inline, protected] |
Definition at line 1746 of file GuiHittingSets.java.
| String dfengine.GuiHittingSets.readAssAB | ( | ) | [inline, protected] |
Definition at line 1180 of file GuiHittingSets.java.
| String dfengine.GuiHittingSets.readAssDF | ( | ) | [inline, protected] |
Definition at line 1194 of file GuiHittingSets.java.
| String dfengine.GuiHittingSets.readAssNAB | ( | ) | [inline, protected] |
Definition at line 1187 of file GuiHittingSets.java.
| int dfengine.GuiHittingSets.readExplSize | ( | ) | throws IllegalUserInput [inline, protected] |
Definition at line 1253 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.readFdgFile | ( | ) | throws IOException [inline, private] |
Definition at line 727 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.readFile | ( | JTextArea | textArea, |
| File | file | ||
| ) | throws IOException [inline, private] |
Definition at line 550 of file GuiHittingSets.java.
| int dfengine.GuiHittingSets.readMaxDFChain | ( | ) | throws IllegalUserInput [inline, protected] |
Definition at line 1258 of file GuiHittingSets.java.
| int dfengine.GuiHittingSets.readNumExpl | ( | ) | throws IllegalUserInput [inline, protected] |
Definition at line 1263 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.readObsFile | ( | ) | throws IOException [inline, private] |
Definition at line 718 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.readPropFile | ( | ) | throws IOException [inline, private] |
Definition at line 700 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.readSddFile | ( | ) | throws IOException [inline, private] |
Definition at line 736 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.readSdFile | ( | ) | throws IOException [inline, private] |
Definition at line 709 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.readSettings | ( | ) | throws IOException [inline, private] |
Definition at line 453 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.reloadAll | ( | ) | throws IOException [inline, private] |
Definition at line 692 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.removeCommentChars | ( | JTextArea | textArea | ) | [inline, protected] |
Definition at line 1825 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.removeCommentChars | ( | ) | [inline, protected] |
Definition at line 1855 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveAll | ( | ) | throws IOException [inline, private] |
Definition at line 684 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveFdg | ( | ) | throws IOException [inline, private] |
Definition at line 676 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveFdgAs | ( | ) | throws IOException [inline, private] |
Definition at line 646 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveObs | ( | ) | throws IOException [inline, private] |
Definition at line 672 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveObsAs | ( | ) | throws IOException [inline, private] |
Definition at line 637 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveProp | ( | ) | throws IOException [inline, private] |
Definition at line 664 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.savePropAs | ( | ) | throws IOException [inline, private] |
Definition at line 619 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveSd | ( | ) | throws IOException [inline, private] |
Definition at line 668 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveSdAs | ( | ) | throws IOException [inline, private] |
Definition at line 628 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveSdd | ( | ) | throws IOException [inline, private] |
Definition at line 680 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveSddAs | ( | ) | throws IOException [inline, private] |
Definition at line 655 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.saveText | ( | JTextArea | textArea, |
| File | file | ||
| ) | throws IOException [inline, private] |
Definition at line 540 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.searchFirst | ( | ) | [inline, protected] |
Definition at line 1791 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.searchNext | ( | ) | [inline, protected] |
Definition at line 1795 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.setTextAreaAttributes | ( | JTextArea | textArea | ) | [inline, private] |
Definition at line 216 of file GuiHittingSets.java.
| File dfengine.GuiHittingSets.showFileOpenDialog | ( | String | title | ) | [inline, private] |
Definition at line 604 of file GuiHittingSets.java.
| File dfengine.GuiHittingSets.showFileSaveAsDialog | ( | String | title | ) | [inline, private] |
Definition at line 575 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.updateMenuStatus | ( | ) | [inline, private] |
Definition at line 221 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.windowActivated | ( | WindowEvent | e | ) | [inline] |
Definition at line 2038 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.windowClosed | ( | WindowEvent | e | ) | [inline] |
Definition at line 2026 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.windowClosing | ( | WindowEvent | e | ) | [inline] |
Definition at line 2009 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.windowDeactivated | ( | WindowEvent | e | ) | [inline] |
Definition at line 2041 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.windowDeiconified | ( | WindowEvent | e | ) | [inline] |
Definition at line 2035 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.windowIconified | ( | WindowEvent | e | ) | [inline] |
Definition at line 2032 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.windowOpened | ( | WindowEvent | e | ) | [inline] |
Definition at line 2029 of file GuiHittingSets.java.
| void dfengine.GuiHittingSets.writeSettings | ( | ) | throws IOException [inline, private] |
Definition at line 519 of file GuiHittingSets.java.
JLabel dfengine.GuiHittingSets.abLabel [private] |
Definition at line 27 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.ASS_IF = "IF" [static, private] |
Definition at line 116 of file GuiHittingSets.java.
JTextField dfengine.GuiHittingSets.assABText [private] |
Definition at line 38 of file GuiHittingSets.java.
JTextField dfengine.GuiHittingSets.assDFText [private] |
Definition at line 40 of file GuiHittingSets.java.
JTextField dfengine.GuiHittingSets.assNABText [private] |
Definition at line 39 of file GuiHittingSets.java.
final char dfengine.GuiHittingSets.AUTO_COMMENT_PREFIX = '#' [static, private] |
Definition at line 112 of file GuiHittingSets.java.
JCheckBox dfengine.GuiHittingSets.betaEnvCB [private] |
Definition at line 63 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.checkConsBtn [private] |
Definition at line 42 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.clearObsBtn [private] |
Definition at line 53 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.clearPropBtn [private] |
Definition at line 51 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.clearSdBtn [private] |
Definition at line 52 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.CMD_MERGE_DES = "merge_des" [static, private] |
Definition at line 145 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.CMD_SUPPORT_DEP_FAULTS = "-df" [static, private] |
Definition at line 144 of file GuiHittingSets.java.
final String [] dfengine.GuiHittingSets.COMMENT_PREFIXES = {"#", "*"} [static, private] |
Definition at line 111 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.commentBtn [private] |
Definition at line 54 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.commentMenu [private] |
Definition at line 92 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.computeMinDiagEnvBtn [private] |
Definition at line 45 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.computeMinHSBtn [private] |
Definition at line 43 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.computeMoreBtn [private] |
Definition at line 44 of file GuiHittingSets.java.
JCheckBox dfengine.GuiHittingSets.depFaultsCB [private] |
Definition at line 36 of file GuiHittingSets.java.
JLabel dfengine.GuiHittingSets.dfLabel [private] |
Definition at line 29 of file GuiHittingSets.java.
JPanel dfengine.GuiHittingSets.dfSettingsPanel [private] |
Definition at line 62 of file GuiHittingSets.java.
JCheckBox dfengine.GuiHittingSets.discardOrderPermsCB [private] |
Definition at line 65 of file GuiHittingSets.java.
JSpinner dfengine.GuiHittingSets.explSizeSpinner [private] |
Definition at line 33 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.FDG_EDGE_STR = "=>" [static, private] |
Definition at line 114 of file GuiHittingSets.java.
File dfengine.GuiHittingSets.fdgFile [private] |
Definition at line 99 of file GuiHittingSets.java.
JTextArea dfengine.GuiHittingSets.fdgText [private] |
Definition at line 60 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.FILE_SETTINGS = ".GuiHittingSets" [static, private] |
Definition at line 141 of file GuiHittingSets.java.
Object dfengine.GuiHittingSets.focusedComponent [private] |
Definition at line 104 of file GuiHittingSets.java.
JFrame dfengine.GuiHittingSets.frame [private] |
Definition at line 23 of file GuiHittingSets.java.
MinHittingSets dfengine.GuiHittingSets.hs = null [private] |
Definition at line 109 of file GuiHittingSets.java.
MinHittingSetsFM dfengine.GuiHittingSets.hsFM = null [private] |
Definition at line 108 of file GuiHittingSets.java.
File dfengine.GuiHittingSets.lastDir [private] |
Definition at line 95 of file GuiHittingSets.java.
JSpinner dfengine.GuiHittingSets.maxDFChainSpinner [private] |
Definition at line 66 of file GuiHittingSets.java.
boolean dfengine.GuiHittingSets.mergeDEs = true [private] |
Definition at line 106 of file GuiHittingSets.java.
JCheckBox dfengine.GuiHittingSets.mergeDEsCB [private] |
Definition at line 64 of file GuiHittingSets.java.
JLabel dfengine.GuiHittingSets.nabLabel [private] |
Definition at line 28 of file GuiHittingSets.java.
JTextField dfengine.GuiHittingSets.negPrefixText [private] |
Definition at line 41 of file GuiHittingSets.java.
JTextField dfengine.GuiHittingSets.numExplText [private] |
Definition at line 34 of file GuiHittingSets.java.
File dfengine.GuiHittingSets.obsFile [private] |
Definition at line 98 of file GuiHittingSets.java.
JTextArea dfengine.GuiHittingSets.obsText [private] |
Definition at line 32 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.openFdgMenu [private] |
Definition at line 84 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.openObsMenu [private] |
Definition at line 83 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.openPropMenu [private] |
Definition at line 81 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.openSddMenu [private] |
Definition at line 85 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.openSdMenu [private] |
Definition at line 82 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.OPT_NO = "no" [static, private] |
Definition at line 147 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.OPT_YES = "yes" [static, private] |
Definition at line 146 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.PR_FDG_FILE = "fdg_file" [static, private] |
Definition at line 138 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.PR_OBS_FILE = "observations_file" [static, private] |
Definition at line 137 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.PR_PROP_FILE = "proposition_file" [static, private] |
Definition at line 135 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.PR_SD_FILE = "system_description_file" [static, private] |
Definition at line 136 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.PR_SDD_FILE = "system_dep_description_file" [static, private] |
Definition at line 139 of file GuiHittingSets.java.
File dfengine.GuiHittingSets.propFile [private] |
Definition at line 96 of file GuiHittingSets.java.
JTextArea dfengine.GuiHittingSets.propText [private] |
Definition at line 30 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.RELOAD_FDG_MENU_TEXT = "Reload FDG" [static, private] |
Definition at line 130 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.RELOAD_OBS_MENU_TEXT = "Reload Observations" [static, private] |
Definition at line 129 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.RELOAD_PROP_MENU_TEXT = "Reload Propositions" [static, private] |
Definition at line 127 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.RELOAD_SD_MENU_TEXT = "Reload System Description" [static, private] |
Definition at line 128 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.RELOAD_SDD_MENU_TEXT = "Reload System Dep. Description" [static, private] |
Definition at line 131 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.reloadAllMenu [private] |
Definition at line 91 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.reloadFdgMenu [private] |
Definition at line 89 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.reloadObsMenu [private] |
Definition at line 88 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.reloadPropMenu [private] |
Definition at line 86 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.reloadSddMenu [private] |
Definition at line 90 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.reloadSdMenu [private] |
Definition at line 87 of file GuiHittingSets.java.
JTextArea dfengine.GuiHittingSets.results1Text [private] |
Definition at line 49 of file GuiHittingSets.java.
JTextArea dfengine.GuiHittingSets.results2Text [private] |
Definition at line 50 of file GuiHittingSets.java.
TitledBorder dfengine.GuiHittingSets.resultsBorder [private] |
Definition at line 47 of file GuiHittingSets.java.
JPanel dfengine.GuiHittingSets.resultsPanel [private] |
Definition at line 48 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.SAVE_FDG_MENU_TEXT = "Save FDG" [static, private] |
Definition at line 124 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.SAVE_OBS_MENU_TEXT = "Save Observations" [static, private] |
Definition at line 123 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.SAVE_PROP_MENU_TEXT = "Save Propositions" [static, private] |
Definition at line 121 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.SAVE_SD_MENU_TEXT = "Save System Description" [static, private] |
Definition at line 122 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.SAVE_SDD_MENU_TEXT = "Save System Dep. Description" [static, private] |
Definition at line 125 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveAllMenu [private] |
Definition at line 79 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveFdgAsMenu [private] |
Definition at line 71 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveFdgMenu [private] |
Definition at line 77 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveObsAsMenu [private] |
Definition at line 70 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveObsMenu [private] |
Definition at line 76 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.savePropAsMenu [private] |
Definition at line 68 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.savePropMenu [private] |
Definition at line 74 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveSdAsMenu [private] |
Definition at line 69 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveSddAsMenu [private] |
Definition at line 72 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveSddMenu [private] |
Definition at line 78 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.saveSdMenu [private] |
Definition at line 75 of file GuiHittingSets.java.
File dfengine.GuiHittingSets.sddFile [private] |
Definition at line 100 of file GuiHittingSets.java.
JTextArea dfengine.GuiHittingSets.sddText [private] |
Definition at line 61 of file GuiHittingSets.java.
File dfengine.GuiHittingSets.sdFile [private] |
Definition at line 97 of file GuiHittingSets.java.
JTextArea dfengine.GuiHittingSets.sdText [private] |
Definition at line 31 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.searchFirstBtn [private] |
Definition at line 57 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.searchNextBtn [private] |
Definition at line 58 of file GuiHittingSets.java.
JLabel dfengine.GuiHittingSets.searchResultLabel [private] |
Definition at line 59 of file GuiHittingSets.java.
JTextField dfengine.GuiHittingSets.searchText [private] |
Definition at line 56 of file GuiHittingSets.java.
boolean dfengine.GuiHittingSets.supportDepFaults = false [private] |
Definition at line 102 of file GuiHittingSets.java.
final int dfengine.GuiHittingSets.TAB_FDG = 1 [static, private] |
Definition at line 119 of file GuiHittingSets.java.
final int dfengine.GuiHittingSets.TAB_LOG_MODEL = 0 [static, private] |
Definition at line 118 of file GuiHittingSets.java.
JTabbedPane dfengine.GuiHittingSets.tabbedPane [private] |
Definition at line 25 of file GuiHittingSets.java.
final String dfengine.GuiHittingSets.TITLE_RESULTS = "Results: " [static, private] |
Definition at line 133 of file GuiHittingSets.java.
JButton dfengine.GuiHittingSets.uncommentBtn [private] |
Definition at line 55 of file GuiHittingSets.java.
JMenuItem dfengine.GuiHittingSets.uncommentMenu [private] |
Definition at line 93 of file GuiHittingSets.java.
JCheckBox dfengine.GuiHittingSets.useFaultModelsCB [private] |
Definition at line 35 of file GuiHittingSets.java.
JCheckBox dfengine.GuiHittingSets.useProbabilitiesCB [private] |
Definition at line 37 of file GuiHittingSets.java.