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

I

InferenceFromMSSOperator - Class in model.inference.fromMSS

This class is the one that should be extended in order to define its own inference from a set of MSS.

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

InferenceOperator - Class in model.inference.fromListFormulae

This class is the one that should be extended when one wants to develop its own inference.

InferenceOperator() - Constructor for class model.inference.fromListFormulae.InferenceOperator

InferenceTabPanel - Class in gui.inferenceTab

InferenceTabPanel(ManagerInference) - Constructor for class gui.inferenceTab.InferenceTabPanel

InferenceTabPanel.MUSMouseAdapter - Class in gui.inferenceTab

InferenceTabPanel.MUSMouseAdapter() - Constructor for class gui.inferenceTab.InferenceTabPanel.MUSMouseAdapter

InferenceTabPanel.ShapleyMouseAdapter - Class in gui.inferenceTab

InferenceTabPanel.ShapleyMouseAdapter() - Constructor for class gui.inferenceTab.InferenceTabPanel.ShapleyMouseAdapter

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

initialiserPartition() - Method in class model.Problem

initLookAndFeel() - Method in class gui.ShapleyFrame

isAFormulaEntailed(List<Formula>, Formula) - Method in class model.inference.fromListFormulae.BaseInferenceOperator

isAFormulaEntailed(List<Formula>, Formula) - Method in class model.inference.fromListFormulae.InferenceOperator

Returns true if the formula given as an argument can be entailed from a list of formulae

isAFormulaEntailed(List<Formula>, Formula) - Method in class model.inference.fromListFormulae.LinearInferenceOperator

isAFormulaEntailed(List<MSS>, Formula) - Method in class model.inference.fromMSS.CredulousInferenceFromMSSOperator

isAFormulaEntailed(MSS, Formula) - Method in class model.inference.fromMSS.CredulousInferenceFromMSSOperator

isAFormulaEntailed(List<MSS>, Formula) - Method in class model.inference.fromMSS.InferenceFromMSSOperator

Returns true if the formula can be entailed from tge list of MSSes

isAFormulaEntailed(List<MSS>, Formula) - Method in class model.inference.fromMSS.SkepticalInferenceFromMSSOperator

isAFormulaEntailed(MSS, Formula) - Method in class model.inference.fromMSS.SkepticalInferenceFromMSSOperator

isBaseEmpty() - Method in class model.Problem

isCalculDone() - Method in class model.Problem

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

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

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

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

isDisplayCNF() - Method in class model.Problem

isThisFormuleEntailed(String) - Method in class model.ManagerRevision

isUseGroups() - Method in class model.Problem

isValidSelectionString(String) - Static method in class gui.TestSelectionValide

isValidSelectionString(String, int) - Static method in class utils.Utils