Serialized Form

Package gui

Class gui.AffichageBasePanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

probleme

Problem probleme

tableBasePanel

javax.swing.JPanel tableBasePanel

baseTable

javax.swing.JTable baseTable

Class gui.CreationBasePanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

probleme

Problem probleme

infosBasePanel

javax.swing.JPanel infosBasePanel

tableBasePanel

javax.swing.JPanel tableBasePanel

fichierBaseLabel

javax.swing.JLabel fichierBaseLabel

nbFormulesLabel

javax.swing.JLabel nbFormulesLabel

baseTable

javax.swing.JTable baseTable

Class gui.ShapleyFrame extends javax.swing.JFrame implements Serializable

serialVersionUID: 1L

Serialized Fields

lookAndFeel

java.lang.String lookAndFeel

manager

Manager manager

Differents elements du modele

barreMenu

javax.swing.JMenuBar barreMenu

menu

javax.swing.JMenu menu

baseTabPanel

NewBaseTabPanel baseTabPanel

shapleyTabPanel

ShapleyTabPanel shapleyTabPanel

conciliationTabPanel

ConciliationTabPanel conciliationTabPanel

inferenceTabPanel

InferenceTabPanel inferenceTabPanel

revisionTabPanel

RevisionTabPanel revisionTabPanel

tabbedPane

javax.swing.JTabbedPane tabbedPane

On decoupe en plusieurs tabs. Le premier tab permet de gerer la base de croyances. Le 2eme tabe permet de fusionner la base.

Class gui.TableBaseModel extends javax.swing.table.AbstractTableModel implements Serializable

serialVersionUID: 1L

Serialized Fields

probleme

Problem probleme

isModeCreation

boolean isModeCreation

Package gui.baseTab

Class gui.baseTab.NewBaseTabPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

probleme

Problem probleme

parent

ShapleyFrame parent

creationBasePanel

CreationBasePanel creationBasePanel

Le basePanel est separe en deux panel : un dans lequel la table de clauses est representee, l'autre dans lequel on peut interagir avec celle ci

interactionBasePanel

javax.swing.JPanel interactionBasePanel

loadBaseButton

javax.swing.JButton loadBaseButton

saveBaseButton

javax.swing.JButton saveBaseButton

removeFormulaButton

javax.swing.JButton removeFormulaButton

addASetOfFormulaButton

javax.swing.JButton addASetOfFormulaButton

modifySelectedFormula

javax.swing.JButton modifySelectedFormula

displayCnfButton

javax.swing.JCheckBox displayCnfButton

takeGroupsIntoAccountCBox

javax.swing.JCheckBox takeGroupsIntoAccountCBox

groupSelectedFormulaeButton

javax.swing.JButton groupSelectedFormulaeButton

ungroupSelectedFormulaeButton

javax.swing.JButton ungroupSelectedFormulaeButton

markSelectedFormulaeAsConstraintsButton

javax.swing.JButton markSelectedFormulaeAsConstraintsButton

unmarkSelectedFormulaeAsConstraintsButton

javax.swing.JButton unmarkSelectedFormulaeAsConstraintsButton

Package gui.conciliationTab

Class gui.conciliationTab.ConciliationTabPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerFusion

ManagerConciliation managerFusion

principalPanel

javax.swing.JPanel principalPanel

Panel principal qui se decoupe en deux Panels : le basePanel pour la representation de la base de croyances et le calcul panel dans lequel on calcule les MUSes et on affiche les valeurs de Shapley

gameDataPanel

GameDataPanel gameDataPanel

gameCalculPanel

GameCalculPanel gameCalculPanel

Class gui.conciliationTab.GameCalculPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerFusion

ManagerConciliation managerFusion

solutionPanel

javax.swing.JPanel solutionPanel

Le calculPanel est compose de deux parties : une partie dans laquelle on calcule les Muses et une partie dans laquelle on calcule les valeurs de Shapley

historiquePanel

javax.swing.JPanel historiquePanel

nbMUSesLabel

javax.swing.JLabel nbMUSesLabel

Class gui.conciliationTab.GameDataPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerFusion

ManagerConciliation managerFusion

affichageBasePanel

AffichageBasePanel affichageBasePanel

Le basePanel est separe en deux panel : un dans lequel la table de clauses est representee, l'autre dans lequel on peut interagir avec celle ci

interactionBasePanel

javax.swing.JPanel interactionBasePanel

fusionnerBouton

javax.swing.JButton fusionnerBouton

listeOperateurChoix

java.util.List<E> listeOperateurChoix

listeOperateurAffaiblissement

java.util.List<E> listeOperateurAffaiblissement

Package gui.inferenceTab

Class gui.inferenceTab.BaseInferencePanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerInference

ManagerInference managerInference

affichageBasePanel

AffichageBasePanel affichageBasePanel

Le basePanel est separe en deux panel : un dans lequel la table de clauses est representee, l'autre dans lequel on peut interagir avec celle ci

interactionBasePanel

javax.swing.JPanel interactionBasePanel

valeurRadioButtons

java.util.List<E> valeurRadioButtons

computeStratifiedBase

javax.swing.JButton computeStratifiedBase

Class gui.inferenceTab.CalculInferencePanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerInference

ManagerInference managerInference

shapleyPanel

javax.swing.JPanel shapleyPanel

Le calculPanel est compose de deux parties : une partie dans laquelle on calcule les Muses et une partie dans laquelle on calcule les valeurs de Shapley

entailPanel

javax.swing.JPanel entailPanel

shapleyMaxLabel

javax.swing.JLabel shapleyMaxLabel

formulaLabel

javax.swing.JLabel formulaLabel

answerLabel

javax.swing.JLabel answerLabel

formulaField

javax.swing.JTextField formulaField

isThisFormulaEntailedButton

javax.swing.JButton isThisFormulaEntailedButton

answerPanel

javax.swing.JPanel answerPanel

shapleyTable

javax.swing.JTable shapleyTable

Class gui.inferenceTab.InferenceTabPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerInference

ManagerInference managerInference

principalPanel

javax.swing.JPanel principalPanel

Panel principal qui se decoupe en deux Panels : le basePanel pour la representation de la base de croyances et le calcul panel dans lequel on calcule les MUSes et on affiche les valeurs de Shapley

basePanel

BaseInferencePanel basePanel

calculPanel

CalculInferencePanel calculPanel

Class gui.inferenceTab.StratifiedBaseTableModel extends javax.swing.table.AbstractTableModel implements Serializable

serialVersionUID: 1L

Serialized Fields

isGroupDisplay

boolean isGroupDisplay

probleme

Problem probleme

Package gui.revisionTab

Class gui.revisionTab.AffichageBaseWithRevisionPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

probleme

Problem probleme

tableBasePanel

javax.swing.JPanel tableBasePanel

baseTable

javax.swing.JTable baseTable

reviseWithLabel

javax.swing.JLabel reviseWithLabel

formulaRevise

javax.swing.JTextField formulaRevise

Class gui.revisionTab.RevisionCalculPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerRevision

ManagerRevision managerRevision

selectedMSSPanel

javax.swing.JPanel selectedMSSPanel

Le calculPanel est compose de deux parties : une partie dans laquelle on calcule les Muses et une partie dans laquelle on calcule les valeurs de Shapley

MSSesPanel

javax.swing.JPanel MSSesPanel

entailPanel

javax.swing.JPanel entailPanel

formulaLabel

javax.swing.JLabel formulaLabel

answerLabel

javax.swing.JLabel answerLabel

formulaField

javax.swing.JTextField formulaField

isThisFormulaEntailedButton

javax.swing.JButton isThisFormulaEntailedButton

answerPanel

javax.swing.JPanel answerPanel

nbMSSesLabel

javax.swing.JLabel nbMSSesLabel

mssTable

javax.swing.JTable mssTable

selectedMSSTable

javax.swing.JTable selectedMSSTable

Class gui.revisionTab.RevisionDataPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerRevision

ManagerRevision managerRevision

affichageBasePanel

AffichageBaseWithRevisionPanel affichageBasePanel

Le basePanel est separe en deux panel : un dans lequel la table de clauses est representee, l'autre dans lequel on peut interagir avec celle ci

interactionBasePanel

javax.swing.JPanel interactionBasePanel

reviserButton

javax.swing.JButton reviserButton

listeMSSOperators

java.util.List<E> listeMSSOperators

listeRevisionOperators

java.util.List<E> listeRevisionOperators

listeInferenceOperators

java.util.List<E> listeInferenceOperators

Class gui.revisionTab.RevisionTabPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerRevision

ManagerRevision managerRevision

principalPanel

javax.swing.JPanel principalPanel

Panel principal qui se decoupe en deux Panels : le basePanel pour la representation de la base de croyances et le calcul panel dans lequel on calcule les MUSes et on affiche les valeurs de Shapley

revisionDataPanel

RevisionDataPanel revisionDataPanel

revisionCalculPanel

RevisionCalculPanel revisionCalculPanel

Class gui.revisionTab.TableMSSesModel extends javax.swing.table.AbstractTableModel implements Serializable

serialVersionUID: 1L

Serialized Fields

probleme

Problem probleme

displayScore

boolean displayScore

Class gui.revisionTab.TableSelectedMSSesModel extends javax.swing.table.AbstractTableModel implements Serializable

serialVersionUID: 1L

Serialized Fields

msses

java.util.List<E> msses

Package gui.shapleyTab

Class gui.shapleyTab.BasePanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerShapley

ManagerShapley managerShapley

affichageBasePanel

AffichageBasePanel affichageBasePanel

Le basePanel est separe en deux panel : un dans lequel la table de clauses est representee, l'autre dans lequel on peut interagir avec celle ci

interactionBasePanel

javax.swing.JPanel interactionBasePanel

valeurRadioButtons

java.util.List<E> valeurRadioButtons

calculeShapleyBouton

javax.swing.JButton calculeShapleyBouton

Class gui.shapleyTab.CalculPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerShapley

ManagerShapley managerShapley

shapleyPanel

javax.swing.JPanel shapleyPanel

Le calculPanel est compose de deux parties : une partie dans laquelle on calcule les Muses et une partie dans laquelle on calcule les valeurs de Shapley

MUSesPanel

javax.swing.JPanel MUSesPanel

nbMUSesLabel

javax.swing.JLabel nbMUSesLabel

shapleyMaxLabel

javax.swing.JLabel shapleyMaxLabel

musTable

javax.swing.JTable musTable

shapleyTable

javax.swing.JTable shapleyTable

groupTable

javax.swing.JTable groupTable

Class gui.shapleyTab.ShapleyTabPanel extends javax.swing.JPanel implements Serializable

serialVersionUID: 1L

Serialized Fields

managerShapley

ManagerShapley managerShapley

principalPanel

javax.swing.JPanel principalPanel

Panel principal qui se decoupe en deux Panels : le basePanel pour la representation de la base de croyances et le calcul panel dans lequel on calcule les MUSes et on affiche les valeurs de Shapley

basePanel

BasePanel basePanel

calculPanel

CalculPanel calculPanel

Class gui.shapleyTab.TableMUSesModel extends javax.swing.table.AbstractTableModel implements Serializable

serialVersionUID: 1L

Serialized Fields

probleme

Problem probleme

Class gui.shapleyTab.TableShapleyModele extends javax.swing.table.AbstractTableModel implements Serializable

serialVersionUID: 1L

Serialized Fields

isGroupDisplay

boolean isGroupDisplay

probleme

Problem probleme

sortBySIV

boolean sortBySIV

Package parser

Class parser.GenFileToFormulaeBaseParser.WaitingForGroupException extends java.lang.Exception implements Serializable

Class parser.NonCnfException extends java.lang.Exception implements Serializable

serialVersionUID: 1L