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

S

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

selectionnerFormules(int[]) - Method in class gui.inferenceTab.BaseInferencePanel

selectionnerFormules(int[]) - Method in class gui.shapleyTab.BasePanel

selectionnerFormulesShapley(int[]) - Method in class gui.inferenceTab.CalculInferencePanel

selectionnerFormulesShapley(int[]) - Method in class gui.revisionTab.RevisionCalculPanel

selectionnerFormulesShapley(int[]) - Method in class gui.shapleyTab.CalculPanel

selectionnerMsses(int[]) - Method in class gui.revisionTab.RevisionCalculPanel

selectionnerMuses(int[]) - Method in class gui.shapleyTab.CalculPanel

selectMSS() - Method in class model.ManagerRevision

selectMss(List<MSS>) - Method in class model.mssSelection.AllMinSelectionOperator

selectMss(List<MSS>) - Method in class model.mssSelection.MssSelectionOperator

Returns a subset of MSS that are the selected ones

selectMss(List<MSS>) - Method in class model.mssSelection.NoSelectionOperator

selectMss(List<MSS>) - Method in class model.mssSelection.OneOfMinSelectionOperator

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

setBaseClauses(ClausesBase) - Method in class parser.BaseClausesToCnfParser

setBaseFormulesWithAGivenPartition(FormulaeBase) - Method in class model.Problem

setCalculDone(boolean) - Method in class model.Problem

setChoiceOp(ChoiceOperator) - Method in class model.conciliation.MergingGame

setChoiceOperator(ChoiceOperator) - Method in class model.ManagerConciliation

setChoiceOperator(String) - Method in class model.ManagerConciliation

setDisplayCNF(boolean) - Method in class model.Problem

setFileName(String) - Method in class parser.CnfToBaseFormulaeParser

setFileName(String) - Method in class parser.FormulaeBaseToCnfParser

setFileName(String) - Method in class parser.FormulaeBaseToFileParser

setFileName(String) - Method in class parser.FormulaeBaseToGcnfParser

setFormulaeBase(FormulaeBase) - Method in class model.Problem

setFormulaeBase(FormulaeBase) - Method in class parser.FormulaeBaseToCnfParser

setFormulaeBase(FormulaeBase) - Method in class parser.FormulaeBaseToFileParser

setFormulaeBase(FormulaeBase) - Method in class parser.FormulaeBaseToGcnfParser

setFormuleFinale(int, Formula) - Method in class model.conciliation.EtapeFusion

setHistorique(List<String>) - Method in class model.conciliation.MergingGame

setId(int) - Method in class model.PartitionAgent

setInferenceOperator(InferenceOperator) - Method in class model.ManagerInference

setInferenceOperator(String) - Method in class model.ManagerInference

setInferenceOperator(InferenceFromMSSOperator) - Method in class model.ManagerRevision

setInferenceOperator(String) - Method in class model.ManagerRevision

setListeObservateursBase(ArrayList<ObservateurBase>) - Method in class model.Problem

setListeObservateursShapley(ArrayList<ObservateurShapley>) - Method in class model.Problem

setListFormulaeMap(Map<Integer, List<Formula>>) - Method in class model.PartitionAgent

setManagerFusion(ManagerConciliation) - Method in class model.Manager

setManagerInference(ManagerInference) - Method in class model.Manager

setManagerRevision(ManagerRevision) - Method in class model.Manager

setManagerShapley(ManagerShapley) - Method in class model.Manager

setMergingGame(MergingGame) - Method in class model.ManagerConciliation

setMsses(List<MSS>) - Method in class model.Problem

setMssScoreOperator(MssScoreAggregation) - Method in class model.ManagerRevision

setMssScoreOperator(String) - Method in class model.ManagerRevision

setMuses(List<MUS>) - Method in class model.Problem

setName(String) - Method in class model.PartitionAgent

setNomFichier(String) - Method in class parser.BaseClausesToCnfParser

setNomFichier(String) - Method in class parser.CnfToBaseClausesParser

setNomFichier(String) - Method in class parser.GcnfToFormulaeBaseParser

setNomFichier(String) - Method in class parser.GcnfToPartitionParser

setNomFichier(String) - Method in class parser.GenFileToFormulaeBaseParser

setPartition(PartitionAgent) - Method in class model.Problem

setProbleme(Problem) - Method in class gui.AffichageBasePanel

setProbleme(Problem) - Method in class gui.revisionTab.AffichageBaseWithRevisionPanel

setProbleme(Problem) - Method in class model.ManagerShapley

setRevisionOperator(MssSelectionOperator) - Method in class model.ManagerRevision

setRevisionOperator(String) - Method in class model.ManagerRevision

setShapleyValueSet(String) - Method in class model.Problem

setShapleyValueSet(ShapleyValueSet) - Method in class model.Problem

setUseGroups(boolean) - Method in class model.Problem

setValeurEnsembleShapley(ShapleyValueSet) - Method in class model.ManagerShapley

setValeurEnsembleShapley(String) - Method in class model.ManagerShapley

setWeakOp(WeakOperator) - Method in class model.conciliation.MergingGame

setWeakOperator(WeakOperator) - Method in class model.ManagerConciliation

setWeakOperator(String) - Method in class model.ManagerConciliation

ShapleyFaibleOperator - Class in model.conciliation.choice

This class is weaker than ShapleyOperator because it selects only one formula from the set of formulae that have the minimal score.

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

ShapleyFrame - Class in gui

ShapleyFrame(Manager) - Constructor for class gui.ShapleyFrame

ShapleyOperator - Class in model.conciliation.choice

This class selects the set of most inconsistent formulae, i.e. the ones that have the maximal Shapley value.

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

ShapleyTabPanel - Class in gui.shapleyTab

ShapleyTabPanel(ManagerShapley) - Constructor for class gui.shapleyTab.ShapleyTabPanel

ShapleyTabPanel.MUSMouseAdapter - Class in gui.shapleyTab

ShapleyTabPanel.MUSMouseAdapter() - Constructor for class gui.shapleyTab.ShapleyTabPanel.MUSMouseAdapter

ShapleyTabPanel.ShapleyMouseAdapter - Class in gui.shapleyTab

ShapleyTabPanel.ShapleyMouseAdapter() - Constructor for class gui.shapleyTab.ShapleyTabPanel.ShapleyMouseAdapter

ShapleyValueSet - Class in model.computation.shapleyValue

This class is the abstract class to extend in order to develop its own way to compute the Shapley value of a group of formulae.

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

SkepticalInferenceFromMSSOperator - Class in model.inference.fromMSS

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

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

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

StartCommand(String[]) - Static method in class utils.Utils

StratifiedBaseTableModel - Class in gui.inferenceTab

StratifiedBaseTableModel(Problem, boolean) - Constructor for class gui.inferenceTab.StratifiedBaseTableModel

StratifiedBaseTableModel(Problem) - Constructor for class gui.inferenceTab.StratifiedBaseTableModel

SumMssScoreAggregation - Class in model.computation.mssScore

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

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