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

M

main(String[]) - Static method in class divers.TestLancementExec

main(String[]) - Static method in class gui.LaunchPrism

main(String[]) - Static method in class gui.TestGUI

main(String[]) - Static method in class gui.TestSelectionValide

main(String[]) - Static method in class model.computation.TestCalculeMUS

main(String[]) - Static method in class model.logic.TestClauseFromString

main(String[]) - Static method in class model.logic.TestPartition

main(String[]) - Static method in class model.TestManager

main(String[]) - Static method in class parser.TestBaseClausesToCnfParser

main(String[]) - Static method in class parser.TestCnfToBaseClausesParser

main(String[]) - Static method in class utils.RTSI

Manager - Class in model

Manager is the core class of the platform.

Manager() - Constructor for class model.Manager

Constructeur de Manager.

ManagerConciliation - Class in model

Sub-manager that is in charge of managing the conciliation game.

ManagerConciliation(Problem) - Constructor for class model.ManagerConciliation

ManagerInference - Class in model

Sub-manager that is in charge of managing the inference operation.

ManagerInference(Problem) - Constructor for class model.ManagerInference

ManagerRevision - Class in model

Sub-manager that is in charge of managing the revision operation.

ManagerRevision(Problem) - Constructor for class model.ManagerRevision

ManagerShapley - Class in model

Sub-manager that is in charge of managing shapley computation tab

ManagerShapley(Problem, ShapleyValueSet) - Constructor for class model.ManagerShapley

ManagerShapley(ShapleyValueSet) - Constructor for class model.ManagerShapley

ManagerShapley() - Constructor for class model.ManagerShapley

markAsConstraint() - Method in class gui.CreationBasePanel

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

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

MaxMssScoreAggregation - Class in model.computation.mssScore

This class represents the mss aggregator for which the score of a mss is the maximal score of the formulae compounding it.

MaxMssScoreAggregation() - Constructor for class model.computation.mssScore.MaxMssScoreAggregation

MaxShapleyValueSet - Class in model.computation.shapleyValue

This class is the shapley value set for which the value of a group of formulae is the maximal score of the formulae of the list.

MaxShapleyValueSet() - Constructor for class model.computation.shapleyValue.MaxShapleyValueSet

MeanShapleyValueSet - Class in model.computation.shapleyValue

This class is the shapley value set for which the value of a group of formulae is the average score of the formulae of the list.

MeanShapleyValueSet() - Constructor for class model.computation.shapleyValue.MeanShapleyValueSet

MergingGame - Class in model.conciliation

Class that represents a conciliation game (or a merging game).

MergingGame(Problem, ChoiceOperator, WeakOperator) - Constructor for class model.conciliation.MergingGame

mettreAJourBaseClauses() - Method in class gui.conciliationTab.GameDataPanel

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

mettreAJourBaseClauses() - Method in class gui.revisionTab.RevisionDataPanel

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

mettreAJourBoutons() - Method in class gui.conciliationTab.GameDataPanel

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

mettreAJourBoutons() - Method in class gui.revisionTab.RevisionDataPanel

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

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

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

mettreAJourHistoriqueTable() - Method in class gui.conciliationTab.GameCalculPanel

mettreAJourInfoPanel() - Method in class gui.CreationBasePanel

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

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

mettreAJourPanel() - Method in class gui.AffichageBasePanel

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

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

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

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

mettreAJourSolutionTable() - Method in class gui.conciliationTab.GameCalculPanel

MinMssScoreAggregation - Class in model.computation.mssScore

This class represents the mss aggregator for which the score of a mss is the minimal score of the formulae compounding it.

MinMssScoreAggregation() - Constructor for class model.computation.mssScore.MinMssScoreAggregation

miseAJourFusion() - Method in class gui.conciliationTab.ConciliationTabPanel

miseAJourFusion() - Method in interface observeObservateurs.ObservateurFusion

miseAJourInference() - Method in class gui.inferenceTab.InferenceTabPanel

miseAJourInference() - Method in interface observeObservateurs.ObservateurInference

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

miseAJourRevision() - Method in class gui.revisionTab.RevisionTabPanel

miseAJourRevision() - Method in interface observeObservateurs.ObservateurRevision

miseAJourShapley() - Method in class gui.inferenceTab.InferenceTabPanel

miseAJourShapley() - Method in class gui.shapleyTab.ShapleyTabPanel

miseAJourShapley() - Method in interface observeObservateurs.ObservateurShapley

model - package model

model.computation - package model.computation

model.computation.mssScore - package model.computation.mssScore

model.computation.shapleyValue - package model.computation.shapleyValue

model.conciliation - package model.conciliation

model.conciliation.choice - package model.conciliation.choice

model.conciliation.weakening - package model.conciliation.weakening

model.inference.fromListFormulae - package model.inference.fromListFormulae

model.inference.fromMSS - package model.inference.fromMSS

model.logic - package model.logic

model.mssSelection - package model.mssSelection

modifyFormula(int, String) - Method in class model.Problem

mouseClicked(MouseEvent) - Method in class gui.inferenceTab.InferenceTabPanel.MUSMouseAdapter

mouseClicked(MouseEvent) - Method in class gui.inferenceTab.InferenceTabPanel.ShapleyMouseAdapter

mouseClicked(MouseEvent) - Method in class gui.shapleyTab.ShapleyTabPanel.MUSMouseAdapter

mouseClicked(MouseEvent) - Method in class gui.shapleyTab.ShapleyTabPanel.ShapleyMouseAdapter

MssScoreAggregation - Class in model.computation.mssScore

This class is the abstract class that must be extented in order to develop its own MssScoreAggregation.

MssScoreAggregation() - Constructor for class model.computation.mssScore.MssScoreAggregation

MssSelectionOperator - Class in model.mssSelection

This class is the class to extend in order to develop its own MSS selector.

MssSelectionOperator() - Constructor for class model.mssSelection.MssSelectionOperator