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

C

calculeBase() - Method in class parser.CnfToBaseClausesParser

calculeBase() - Method in class parser.GcnfToPartitionParser

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

calculeSolution() - Method in class model.ManagerConciliation

calculeSolution(String) - Method in class model.ManagerInference

calculeValeursShapley() - Method in class model.computation.CalculShapley

Computes Shapley values of formulae that are present in MUSes.

CalculInferencePanel - Class in gui.inferenceTab

CalculInferencePanel(ManagerInference, int, int) - Constructor for class gui.inferenceTab.CalculInferencePanel

CalculMUS - Class in model.computation

This class is the core class to compute a MUS.

CalculMUS(Problem) - Constructor for class model.computation.CalculMUS

Basic constructor of the class

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

This method is the one that should be used

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

This method cannot be used for the moment

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

Computes MUSes with Sat4j.

CalculPanel - Class in gui.shapleyTab

CalculPanel(ManagerShapley, int, int) - Constructor for class gui.shapleyTab.CalculPanel

CalculShapley - Class in model.computation

This class is the core class to compute Shapley values associated to formulae of the base

CalculShapley(List<MUS>) - Constructor for class model.computation.CalculShapley

ChoiceOperator - Class in model.conciliation.choice

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

ChoiceOperator() - Constructor for class model.conciliation.choice.ChoiceOperator

chooseFormulae(List<Formula>) - Method in class model.conciliation.choice.ChoiceOperator

Method that selects a subset of formulae

chooseFormulae(List<Formula>) - Method in class model.conciliation.choice.ShapleyFaibleOperator

chooseFormulae(List<Formula>) - Method in class model.conciliation.choice.ShapleyOperator

CnfToBaseClausesParser - Class in parser

CnfToBaseClausesParser(String) - Constructor for class parser.CnfToBaseClausesParser

Creer une instance d'ParserAtlas.

CnfToBaseFormulaeParser - Class in parser

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

Creer une instance d'ParserAtlas.

computeMSSScore(MSS) - Method in class model.computation.mssScore.MaxMssScoreAggregation

computeMSSScore(MSS) - Method in class model.computation.mssScore.MinMssScoreAggregation

computeMSSScore(MSS) - Method in class model.computation.mssScore.MssScoreAggregation

Main method : it computes a score from a MSS

computeMSSScore(MSS) - Method in class model.computation.mssScore.SumMssScoreAggregation

computeShapleyValue(List<Formula>) - Method in class model.computation.shapleyValue.MaxShapleyValueSet

computeShapleyValue(List<Formula>) - Method in class model.computation.shapleyValue.MeanShapleyValueSet

computeShapleyValue(List<Formula>) - Method in class model.computation.shapleyValue.ShapleyValueSet

Computes a score from a list of formulae.

computeShapleyValues() - Method in class model.Problem

computeShapleyValueSet() - Method in class model.Problem

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

computeSolution(String) - Method in class model.ManagerRevision

concat(List<T>, List<T>) - Static method in class utils.Utils

ConciliationTabPanel - Class in gui.conciliationTab

ConciliationTabPanel(ManagerConciliation) - Constructor for class gui.conciliationTab.ConciliationTabPanel

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

copy() - Method in class model.Problem

copyAndKeepShapley() - Method in class model.Problem

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

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

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

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

createAndShowGUI() - Method in class gui.ShapleyFrame

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

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

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

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

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

createFile() - Method in class parser.FormulaeBaseToCnfParser

createFile() - Method in class parser.FormulaeBaseToFileParser

createFile() - Method in class parser.FormulaeBaseToGcnfParser

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

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

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

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

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

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

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

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

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

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

createListInferenceFromMSSOperator() - Method in class model.ManagerRevision

createListInferenceOperator() - Method in class model.ManagerInference

createListMssScoreOperator() - Method in class model.ManagerRevision

createListRevisionOperator() - Method in class model.ManagerRevision

createMenuBar() - Method in class gui.ShapleyFrame

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

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

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

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

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

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

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

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

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

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

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

CreationBasePanel - Class in gui

CreationBasePanel(Problem, int, int) - Constructor for class gui.CreationBasePanel

CredulousInferenceFromMSSOperator - Class in model.inference.fromMSS

This class represents the credulous inference as it has been described in ECSQARU'13 paper.

CredulousInferenceFromMSSOperator() - Constructor for class model.inference.fromMSS.CredulousInferenceFromMSSOperator

creerFichier() - Method in class parser.BaseClausesToCnfParser

creerListeChoiceOperator() - Method in class model.ManagerConciliation

creerListeValeurShapleyEnsemble() - Method in class model.ManagerShapley

creerListeWeakOperator() - Method in class model.ManagerConciliation