A B C D E F G I L M N O P R S T U V W

G

GameCalculPanel - Class in gui.conciliationTab

GameCalculPanel(ManagerConciliation, int, int) - Constructor for class gui.conciliationTab.GameCalculPanel

GameDataPanel - Class in gui.conciliationTab

GameDataPanel(ManagerConciliation, int, int) - Constructor for class gui.conciliationTab.GameDataPanel

GcnfToFormulaeBaseParser - Class in parser

GcnfToFormulaeBaseParser(String, Problem) - Constructor for class parser.GcnfToFormulaeBaseParser

Creer une instance d'ParserAtlas.

GcnfToPartitionParser - Class in parser

GcnfToPartitionParser(String) - Constructor for class parser.GcnfToPartitionParser

Creer une instance d'ParserAtlas.

GenFileToFormulaeBaseParser - Class in parser

GenFileToFormulaeBaseParser(String, Problem) - Constructor for class parser.GenFileToFormulaeBaseParser

Creer une instance d'ParserAtlas.

GenFileToFormulaeBaseParser.WaitingForGroupException - Exception in parser

GenFileToFormulaeBaseParser.WaitingForGroupException() - Constructor for exception parser.GenFileToFormulaeBaseParser.WaitingForGroupException

getBaseClauses() - Method in class gui.inferenceTab.BaseInferencePanel

getBaseClauses() - Method in class gui.shapleyTab.BasePanel

getBaseClauses() - Method in class parser.BaseClausesToCnfParser

getBaseClauses() - Method in class parser.CnfToBaseClausesParser

getBaseClauses() - Method in class parser.GcnfToPartitionParser

getBaseFormules() - Method in class gui.inferenceTab.CalculInferencePanel

getBaseFormules() - Method in class gui.revisionTab.RevisionCalculPanel

getBaseFormules() - Method in class gui.ShapleyFrame

getBaseFormules() - Method in class gui.shapleyTab.CalculPanel

getBaseTable() - Method in class gui.AffichageBasePanel

getBaseTable() - Method in class gui.CreationBasePanel

getBaseTable() - Method in class gui.revisionTab.AffichageBaseWithRevisionPanel

getChoiceOp() - Method in class model.conciliation.MergingGame

getChoiceOperator() - Method in class model.ManagerConciliation

getColumnClass(int) - Method in class gui.revisionTab.TableMSSesModel

getColumnClass(int) - Method in class gui.revisionTab.TableSelectedMSSesModel

getColumnClass(int) - Method in class gui.shapleyTab.TableMUSesModel

getColumnClass(int) - Method in class gui.TableBaseModel

getColumnCount() - Method in class gui.inferenceTab.StratifiedBaseTableModel

getColumnCount() - Method in class gui.revisionTab.TableMSSesModel

getColumnCount() - Method in class gui.revisionTab.TableSelectedMSSesModel

getColumnCount() - Method in class gui.shapleyTab.TableMUSesModel

getColumnCount() - Method in class gui.shapleyTab.TableShapleyModele

getColumnCount() - Method in class gui.TableBaseModel

getColumnCountAffichage() - Method in class gui.TableBaseModel

getColumnCountCreation() - Method in class gui.TableBaseModel

getColumnName(int) - Method in class gui.inferenceTab.StratifiedBaseTableModel

getColumnName(int) - Method in class gui.revisionTab.TableMSSesModel

getColumnName(int) - Method in class gui.revisionTab.TableSelectedMSSesModel

getColumnName(int) - Method in class gui.shapleyTab.TableMUSesModel

getColumnName(int) - Method in class gui.shapleyTab.TableShapleyModele

getColumnName(int) - Method in class gui.TableBaseModel

getColumnNameAffichage(int) - Method in class gui.TableBaseModel

getColumnNameCreation(int) - Method in class gui.TableBaseModel

getComment() - Method in class model.computation.mssScore.MaxMssScoreAggregation

getComment() - Method in class model.computation.mssScore.MinMssScoreAggregation

getComment() - Method in class model.computation.mssScore.MssScoreAggregation

Returns the comment that should be displayed in the platform

getComment() - Method in class model.computation.mssScore.SumMssScoreAggregation

getComment() - Method in class model.computation.shapleyValue.MaxShapleyValueSet

getComment() - Method in class model.computation.shapleyValue.MeanShapleyValueSet

getComment() - Method in class model.computation.shapleyValue.ShapleyValueSet

Returns the comment of the function that will be displayed on the platform

getComment() - Method in class model.conciliation.choice.ChoiceOperator

Returns the comment that should be displayed on the platform

getComment() - Method in class model.conciliation.choice.ShapleyFaibleOperator

getComment() - Method in class model.conciliation.choice.ShapleyOperator

getComment() - Method in class model.conciliation.weakening.DrasticOperator

getComment() - Method in class model.conciliation.weakening.WeakOperator

The comment that should be displayed on the platform

getComment() - Method in class model.inference.fromListFormulae.BaseInferenceOperator

getComment() - Method in class model.inference.fromListFormulae.InferenceOperator

Returns the comment that will be displayed on the platform

getComment() - Method in class model.inference.fromListFormulae.LinearInferenceOperator

getComment() - Method in class model.inference.fromMSS.CredulousInferenceFromMSSOperator

getComment() - Method in class model.inference.fromMSS.InferenceFromMSSOperator

Returns the comment that will be displayed on the platform

getComment() - Method in class model.inference.fromMSS.SkepticalInferenceFromMSSOperator

getComment() - Method in class model.mssSelection.AllMinSelectionOperator

getComment() - Method in class model.mssSelection.MssSelectionOperator

Returns the comment that will be displayed on the platform

getComment() - Method in class model.mssSelection.NoSelectionOperator

getComment() - Method in class model.mssSelection.OneOfMinSelectionOperator

getFileName() - Method in class parser.CnfToBaseFormulaeParser

getFileName() - Method in class parser.FormulaeBaseToCnfParser

getFileName() - Method in class parser.FormulaeBaseToFileParser

getFileName() - Method in class parser.FormulaeBaseToGcnfParser

getFormulae() - Method in class model.Problem

getFormulaeBase() - Method in class gui.baseTab.NewBaseTabPanel

getFormulaeBase() - Method in class model.computation.CalculMUS

Returns the list of formulae in the base associated to the problem

getFormulaeBase() - Method in class model.Problem

getFormulaeBase() - Method in class parser.FormulaeBaseToCnfParser

getFormulaeBase() - Method in class parser.FormulaeBaseToFileParser

getFormulaeBase() - Method in class parser.FormulaeBaseToGcnfParser

getHistorique() - Method in class model.conciliation.MergingGame

getId() - Method in class model.PartitionAgent

getInferenceOperator() - Method in class model.ManagerInference

getInferenceOperator() - Method in class model.ManagerRevision

getJoliHistorique() - Method in class model.conciliation.MergingGame

getListeChoiceOperator() - Method in class model.ManagerConciliation

getListeFormulaGroup(int) - Method in class model.PartitionAgent

getListeFormulesSansTauto() - Method in class model.conciliation.EtapeFusion

getListeFormulesWithTauto() - Method in class model.conciliation.EtapeFusion

getListeInferenceOperator() - Method in class model.ManagerInference

getListeInferenceOperator() - Method in class model.ManagerRevision

getListeMSSSCoreOperator() - Method in class model.ManagerRevision

getListeObservateurFusion() - Method in class model.conciliation.MergingGame

getListeObservateurFusion() - Method in interface observeObservateurs.ObserveFusion

getListeObservateurFusion() - Method in interface observeObservateurs.ObserveRevision

getListeObservateursBase() - Method in class model.Problem

getListeObservateursBase() - Method in interface observeObservateurs.ObserveBase

getListeObservateursBase() - Method in interface observeObservateurs.ObserveInference

getListeObservateurShapley() - Method in class model.Problem

getListeObservateurShapley() - Method in interface observeObservateurs.ObserveShapley

getListeRevisionOperator() - Method in class model.ManagerRevision

getListeValeurShapleyEnsemble() - Method in class model.ManagerShapley

getListeWeakOperator() - Method in class model.ManagerConciliation

getListFormulaeMap() - Method in class model.PartitionAgent

getListMUS() - Method in class model.computation.CalculMUS

Returns the list of MUSes associated to the problem

getManagerFusion() - Method in class model.Manager

getManagerInference() - Method in class model.Manager

getManagerRevision() - Method in class model.Manager

getManagerShapley() - Method in class model.Manager

getMergingGame() - Method in class model.ManagerConciliation

getMsses() - Method in class model.Problem

getMssesTable() - Method in class gui.revisionTab.RevisionCalculPanel

getMssScoreOperator() - Method in class model.ManagerRevision

getMuses() - Method in class model.Problem

getMusesTable() - Method in class gui.shapleyTab.CalculPanel

getName() - Method in class model.computation.mssScore.MaxMssScoreAggregation

getName() - Method in class model.computation.mssScore.MinMssScoreAggregation

getName() - Method in class model.computation.mssScore.MssScoreAggregation

Returns the name that should be displayed in the platform

getName() - Method in class model.computation.mssScore.SumMssScoreAggregation

getName() - Method in class model.computation.shapleyValue.MaxShapleyValueSet

getName() - Method in class model.computation.shapleyValue.MeanShapleyValueSet

getName() - Method in class model.computation.shapleyValue.ShapleyValueSet

Returns the name of the function that will be displayed on the platform

getName() - Method in class model.conciliation.choice.ChoiceOperator

Returns the name that should be displayed on the platform

getName() - Method in class model.conciliation.choice.ShapleyFaibleOperator

getName() - Method in class model.conciliation.choice.ShapleyOperator

getName() - Method in class model.conciliation.weakening.DrasticOperator

getName() - Method in class model.conciliation.weakening.WeakOperator

The name that should be displayed on the platform

getName() - Method in class model.inference.fromListFormulae.BaseInferenceOperator

getName() - Method in class model.inference.fromListFormulae.InferenceOperator

Returns the name that will be displayed on the platform

getName() - Method in class model.inference.fromListFormulae.LinearInferenceOperator

getName() - Method in class model.inference.fromMSS.CredulousInferenceFromMSSOperator

getName() - Method in class model.inference.fromMSS.InferenceFromMSSOperator

Returns the name that will be displayed on the platform

getName() - Method in class model.inference.fromMSS.SkepticalInferenceFromMSSOperator

getName() - Method in class model.mssSelection.AllMinSelectionOperator

getName() - Method in class model.mssSelection.MssSelectionOperator

Returns the name that will be displayed on the platform

getName() - Method in class model.mssSelection.NoSelectionOperator

getName() - Method in class model.mssSelection.OneOfMinSelectionOperator

getName() - Method in class model.PartitionAgent

getNbGroups() - Method in class model.PartitionAgent

getNbGroupsNotEmpty() - Method in class model.PartitionAgent

getNewProbleme() - Method in class model.ManagerRevision

getNomFichier() - Method in class parser.BaseClausesToCnfParser

getNomFichier() - Method in class parser.CnfToBaseClausesParser

getNomFichier() - Method in class parser.GcnfToFormulaeBaseParser

getNomFichier() - Method in class parser.GcnfToPartitionParser

getNomFichier() - Method in class parser.GenFileToFormulaeBaseParser

getNumClauseSelec() - Method in class gui.AffichageBasePanel

getNumClauseSelec() - Method in class gui.revisionTab.AffichageBaseWithRevisionPanel

getNumFirstFormuleSelec() - Method in class gui.CreationBasePanel

getPartition() - Method in class model.Problem

getProblem() - Method in class model.conciliation.MergingGame

getProblem() - Method in class model.ManagerInference

getProbleme() - Method in class model.ManagerConciliation

getProbleme() - Method in class model.ManagerShapley

getProblemeOrigine() - Method in class model.ManagerRevision

getRevisionOperator() - Method in class model.ManagerRevision

getRowCount() - Method in class gui.inferenceTab.StratifiedBaseTableModel

getRowCount() - Method in class gui.revisionTab.TableMSSesModel

getRowCount() - Method in class gui.revisionTab.TableSelectedMSSesModel

getRowCount() - Method in class gui.shapleyTab.TableMUSesModel

getRowCount() - Method in class gui.shapleyTab.TableShapleyModele

getRowCount() - Method in class gui.TableBaseModel

getSelectedMSSTable() - Method in class gui.revisionTab.RevisionCalculPanel

getShapleyTable() - Method in class gui.inferenceTab.CalculInferencePanel

getShapleyTable() - Method in class gui.shapleyTab.CalculPanel

getShapleyValueSet() - Method in class model.Problem

getShapleyValueSetName() - Method in class model.Problem

getSolution() - Method in class model.conciliation.MergingGame

getTextFromRevisionField() - Method in class gui.revisionTab.AffichageBaseWithRevisionPanel

getValeurEnsembleShapley() - Method in class model.ManagerShapley

getValueAt(int, int) - Method in class gui.inferenceTab.StratifiedBaseTableModel

getValueAt(int, int) - Method in class gui.revisionTab.TableMSSesModel

getValueAt(int, int) - Method in class gui.revisionTab.TableSelectedMSSesModel

getValueAt(int, int) - Method in class gui.shapleyTab.TableMUSesModel

getValueAt(int, int) - Method in class gui.shapleyTab.TableShapleyModele

getValueAt(int, int) - Method in class gui.TableBaseModel

getValueAtAffichage(int, int) - Method in class gui.TableBaseModel

getValueAtCreation(int, int) - Method in class gui.TableBaseModel

getValueAtFormula(int, int) - Method in class gui.inferenceTab.StratifiedBaseTableModel

getValueAtFormula(int, int) - Method in class gui.shapleyTab.TableShapleyModele

getValueAtGroup(int, int) - Method in class gui.inferenceTab.StratifiedBaseTableModel

getValueAtGroup(int, int) - Method in class gui.shapleyTab.TableShapleyModele

getWeakOp() - Method in class model.conciliation.MergingGame

getWeakOperator() - Method in class model.ManagerConciliation

groupFormulae(List<Formula>) - Method in class model.PartitionAgent

groupFormulae(List<Formula>) - Method in class model.Problem

groupFormulae(int[]) - Method in class model.Problem

groupSelectedFormules() - Method in class gui.CreationBasePanel

gui - package gui

gui.baseTab - package gui.baseTab

gui.conciliationTab - package gui.conciliationTab

gui.inferenceTab - package gui.inferenceTab

gui.revisionTab - package gui.revisionTab

gui.shapleyTab - package gui.shapleyTab