M-Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages

M

m - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
m - Variable in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
m - Variable in class net.sf.tweety.preferences.aggregation.SinglePeakWeightVector: given value of the peak element
m - Variable in class net.sf.tweety.preferences.aggregation.SingleValeWeightVector: value of the least chosen element
main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.GroundedTest
main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.GroundedTest2
main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
main(String[]) - Static method in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2: Main method for evaluation.
main(String[]) - Static method in class net.sf.tweety.arg.aba.examples.AbaExample
main(String[]) - Static method in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
main(String[]) - Static method in class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicExample
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicExample2
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample2
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.AspicGeneratorExample3
main(String[]) - Static method in class net.sf.tweety.arg.aspic.examples.DirectionalReasonerTest
main(String[]) - Static method in class net.sf.tweety.arg.deductive.examples.DeductiveExample
main(String[]) - Static method in class net.sf.tweety.arg.deductive.examples.SimplePlLogicExample
main(String[]) - Static method in class net.sf.tweety.arg.delp.examples.DeLPExample
main(String[]) - Static method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram: Parsing DeLP from given file and performing given query against it.
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.CF2Example
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.DivisionExample
main(String[]) - Static method in class net.sf.tweety.arg.dung.examples.StratifiedLabelingExample
main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.LotteryExample
main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.PAInconsistencyMeasureExample
main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.ProbabilisticRankingReasonerExample
main(String[]) - Static method in class net.sf.tweety.arg.prob.examples.SubgraphProbExample
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.GrossiModgilReasonerExample
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.RankingSemanticsExample
main(String[]) - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
main(String[]) - Static method in class net.sf.tweety.arg.social.examples.SafExample
main(String[]) - Static method in class net.sf.tweety.beliefdynamics.examples.AbstractArgumentationExample
main(String[]) - Static method in class net.sf.tweety.beliefdynamics.examples.CrMasExample
main(String[]) - Static method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter: Functional Test method: Only shows the view in a JFrame to test resize behavior.
main(String[]) - Static method in class net.sf.tweety.cli.plugins.CliMain
main(String[]) - Static method in class net.sf.tweety.cli.TweetyCli: Program entry.

Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z]
* - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}
main(String[]) - Static method in class net.sf.tweety.commons.examples.SubsetIteratorExample
main(String[]) - Static method in class net.sf.tweety.graphs.examples.GraphExample
main(String[]) - Static method in class net.sf.tweety.graphs.examples.GraphExample2
main(String[]) - Static method in class net.sf.tweety.logics.cl.examples.CReasonerExample
main(String[]) - Static method in class net.sf.tweety.logics.cl.examples.ReasonerExample
main(String[]) - Static method in class net.sf.tweety.logics.dl.examples.DlExample
main(String[]) - Static method in class net.sf.tweety.logics.fol.examples.FolExample
main(String[]) - Static method in class net.sf.tweety.logics.fol.examples.TPTPParserExample
main(String[]) - Static method in class net.sf.tweety.logics.ml.examples.MlExample
main(String[]) - Static method in class net.sf.tweety.logics.ml.examples.MlExample2
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.AlchemyExample
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.ApproximationExample
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample
main(String[]) - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
main(String[]) - Static method in class net.sf.tweety.logics.pcl.analysis.MaximumEntropyMachineShop
main(String[]) - Static method in class net.sf.tweety.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
main(String[]) - Static method in class net.sf.tweety.logics.pcl.examples.AnalysisExample
main(String[]) - Static method in class net.sf.tweety.logics.pcl.examples.RepairExample
main(String[]) - Static method in class net.sf.tweety.logics.pcl.util.MatlabUtils: Simple application example yielding the matlab script for spam example from [Potyka, Thimm, 2014].
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.ContensionExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.DfInconsistencyMeasureExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.DSumMeasureExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.FuzzyMeasureExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.ImPostulateEvaluationExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.LingelingExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MaMeasureExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.McscInconsistencyMeasureExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MinimalInconsistentSubsetExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.MusExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.PlExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.PmMeasureExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.SyntacticEnumeratingPlBeliefSetSamplerExample
main(String[]) - Static method in class net.sf.tweety.logics.pl.examples.SyntacticRandomPlBeliefSetSamplerExample
main(String[]) - Static method in class net.sf.tweety.logics.rcl.examples.RclExample
main(String[]) - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
main(String[]) - Static method in class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample
main(String[]) - Static method in class net.sf.tweety.logics.rpcl.examples.RpclMeReasonerExample2
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.baserevision.ScreenedRemainderSets: Simple test case taken from [1]
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter: Functional Test method: Only shows the view in a JFrame to test resize behavior.
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.revision.RevisionTest
main(String[]) - Static method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ArgumentativeSelectiveRevisionTest
main(String[]) - Static method in class net.sf.tweety.lp.asp.examples.ASPCore2ParserExample
main(String[]) - Static method in class net.sf.tweety.machinelearning.examples.SvmExample
main(String[]) - Static method in class net.sf.tweety.machinelearning.test.SVMTest
main(String[]) - Static method in class net.sf.tweety.preferences.io.POParser
main(String[]) - Static method in class net.sf.tweety.preferences.io.UPParser
main(String[]) - Static method in class net.sf.tweety.preferences.PreferencesIntegerBugExample
main(String[]) - Static method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest: Launch the test.
main(String[]) - Static method in class net.sf.tweety.web.TweetyServer: Main server method.
MaInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class models the I_M inconsistency measure from e.g.
MaInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MaInconsistencyMeasure: Creates a new inconsistency measure.
makeAxiom(String, String) - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter: Creates a TPTP axiom out of a given name and formula.
MaMeasureExample - Class in net.sf.tweety.logics.pl.examples
MaMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.MaMeasureExample
MANHATTAN - Static variable in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
manhattanDistance(double[], double[]) - Static method in class net.sf.tweety.commons.util.VectorTools: Computes the Manhattan distance between the two given vectors.
manhattanDistance(List<Double>, List<Double>) - Static method in class net.sf.tweety.commons.util.VectorTools: Computes the Manhattan distance between the two given lists.
manhattanDistanceToZero(double[]) - Static method in class net.sf.tweety.commons.util.VectorTools: Computes the Manhattan distance of the given value vector to zero
manhattanDistanceToZero(List<Double>) - Static method in class net.sf.tweety.commons.util.VectorTools: Computes the Manhattan distance of the given value vector to zero
ManhattanNorm - Class in net.sf.tweety.math.norm: The Manhattan norm.
ManhattanNorm() - Constructor for class net.sf.tweety.math.norm.ManhattanNorm
ManualTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
map - Variable in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling: The actual mapping of arguments to integers.
map - Variable in class net.sf.tweety.arg.social.semantics.SocialMapping: Maps arguments to their values
MapAccumulator(Function<T, ? extends PlFormula>[]) - Constructor for class net.sf.tweety.arg.adf.util.PlCollectors.MapAccumulator
MapTools<E,F> - Class in net.sf.tweety.commons.util: This class provides some utility functions for maps.
MapTools() - Constructor for class net.sf.tweety.commons.util.MapTools
MarcoMusEnumerator - Class in net.sf.tweety.logics.pl.sat: Implements a MUs enumerator based on MARCO (http://sun.iwu.edu/~mliffito/marco/).
MarcoMusEnumerator(String) - Constructor for class net.sf.tweety.logics.pl.sat.MarcoMusEnumerator: Creates a new MUs enumerator.
Mark() - Constructor for enum net.sf.tweety.arg.delp.semantics.DialecticalTree.Mark
MarkovLogicNetwork - Class in net.sf.tweety.logics.mln.syntax: Instances of this class represent Markov Logic Networks [Domingos et.
MarkovLogicNetwork() - Constructor for class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork: Creates a new (empty) MLN.
MarkovLogicNetwork(Collection<? extends MlnFormula>) - Constructor for class net.sf.tweety.logics.mln.syntax.MarkovLogicNetwork: Creates a new conditional MLN with the given collection of MLN formulas.
marks - Variable in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
masGenerator - Variable in class net.sf.tweety.agents.sim.GameSimulator: The multi-agent system generator.
MathTools - Class in net.sf.tweety.commons.util: This class contains some useful math tools.
MathTools() - Constructor for class net.sf.tweety.commons.util.MathTools
MatlabUtils - Class in net.sf.tweety.logics.pcl.util
MatlabUtils() - Constructor for class net.sf.tweety.logics.pcl.util.MatlabUtils
Matrix - Class in net.sf.tweety.math.matrix: This class models a matrix of terms.
Matrix(int, int) - Constructor for class net.sf.tweety.math.matrix.Matrix: Creates a new matrix of the given dimension.
MAX - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
MAX_FIX_ITERATIONS - Static variable in class net.sf.tweety.math.opt.NewtonRootFinder: The maximum number of fixing iterations.
MAX_ITERATIONS - Static variable in class net.sf.tweety.logics.pcl.analysis.AbstractCreepingMachineShop: The maximum number of steps in the line search.
MAX_STEP_LENGTH - Static variable in class net.sf.tweety.math.opt.solver.GradientDescent: The max step length for the gradient descent.
MaxAggregator - Class in net.sf.tweety.math.func: This aggregation function models the maximum function.
MaxAggregator() - Constructor for class net.sf.tweety.math.func.MaxAggregator
maxArguments - Variable in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner: The maximal number of arguments constructed by this reasoner.
maxDuplicates - Variable in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner: The maximal number of duplicates tolerated before this reasoner cancels looking for more arguments (even if maxArguments is not yet reached).
maxEval - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsNonLinearConjugateGradientOptimizer: The maximum number of evaluations.
maxEvents - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener: The maximum number of events this listener listens to an inconsistency measure.
MaxFunction - Class in net.sf.tweety.math.func: The maximum function.
MaxFunction() - Constructor for class net.sf.tweety.math.func.MaxFunction
maxFunEvals - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
maximalConsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
maximalConsistentSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator: This method returns the maximal consistent subsets of the given set of formulas
maximize - Variable in class net.sf.tweety.lp.asp.parser.ASTOpt
maximize - Variable in class net.sf.tweety.lp.asp.parser.ASTOptFunc
maximize(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOpt
maximize(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTOptFunc
MAXIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MAXIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
MAXIMIZE - Static variable in class net.sf.tweety.math.opt.OptimizationProblem: Static constant for the type "maximization"
Maximum - Class in net.sf.tweety.math.term: This class models the maximum of two terms.
Maximum(List<Term>) - Constructor for class net.sf.tweety.math.term.Maximum: Creates a new maximum with the given list of terms.
Maximum(Term, Term) - Constructor for class net.sf.tweety.math.term.Maximum: Creates a new maximum with the given terms.
MAXIMUM - Static variable in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
MAXIMUM_STRING_REPRESENTATION - Static variable in class net.sf.tweety.math.term.Maximum
MaximumCoNorm - Class in net.sf.tweety.math.func.fuzzy: Represents the maximum-conorm in fuzzy logic, i.e., S(x,y)=max(x,y)
MaximumCoNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.MaximumCoNorm
MaximumEntropyMachineShop - Class in net.sf.tweety.logics.pcl.analysis: This consistency restorer uses the idea of the upper approximative distance minimization inconsistency measure to compute a ME-probability distribution and adjust the probabilities of the conditionals accordingly.
MaximumEntropyMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.MaximumEntropyMachineShop
MaximumNorm - Class in net.sf.tweety.math.norm: The Maximum norm.
MaximumNorm() - Constructor for class net.sf.tweety.math.norm.MaximumNorm
maxInt - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
maxInt - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.PreferenceHandling
maxIter - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
maxIterations - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer: Maximal number of iterations.
MAXITERATIONS - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsSimplex: The maximum number of iterations of the simplex algorithm.
maxLength - Variable in class net.sf.tweety.commons.BeliefSetSampler: Max length of samples belief sets.
maxNextCharInd - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
maxNextCharInd - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
maxNextCharInd - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
maxNextCharInd - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
maxNextCharInd - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
maxNumberOfInterpretationsForModel - Variable in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner: The maximum number of interpretations used for the model.
maxNumberOfSelectedInterpretations - Variable in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner: The maximum number of interpretations selected from the whole set of interpretations.
maxNumOfModels - Variable in class net.sf.tweety.lp.asp.reasoner.ASPSolver: The maximum number of models to be generated.
maxRecursionDepth - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.BeliefStateConfiguration: The maximal depth of the recursive model.
maxRecursionWidth - Variable in class net.sf.tweety.agents.dialogues.oppmodels.sim.T2Configuration: The maximal number of sub-models in the probability distribution of a model
maxvar - Variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver: Max number of variables for this solver.
MAXVAR - Static variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver: Default value for max number of variables for asolver.
maxVariableRatio - Variable in class net.sf.tweety.logics.pl.util.CnfSampler: The maximum ratio of variables appearing in a single formula.
mc - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula
MC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
MCSC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
McscInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class implements the approach of [Meriem Ammoura, Badran Raddaoui, Yakoub Salhi, Brahim Oukacha.
McscInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.McscInconsistencyMeasure: Creates a new inconsistency measure.
McscInconsistencyMeasureExample - Class in net.sf.tweety.logics.pl.examples
McscInconsistencyMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.McscInconsistencyMeasureExample
MeanDistanceCulpabilityMeasure - Class in net.sf.tweety.logics.pcl.analysis: This class implements the mean distance culpability measure, see [PhD thesis, Thimm].
MeanDistanceCulpabilityMeasure(boolean) - Constructor for class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure: Creates a new measure.
measure - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent
measure - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess: The inconsistency measure used
measure - Variable in class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
Measure(String, String) - Constructor for enum net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
MEASURE_TOLERANCE - Static variable in interface net.sf.tweety.logics.commons.analysis.InconsistencyMeasure: Tolerance.
measure_version - Variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure: One of TFUZZY_MEASURE, SUMFUZZY_MEASURE
measureFunction - Variable in class net.sf.tweety.logics.commons.analysis.CspInconsistencyMeasure: Used for weighing the cardinalities of the Pi
measureFunction - Variable in class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure: The measure function used to aggregate the normalized cardinalities of minimal inconsistent subsets.
MeasurementCallee(InconsistencyMeasure<BeliefSet<PlFormula, ?>>, BeliefSet<PlFormula, PlSignature>) - Constructor for class net.sf.tweety.web.services.InconsistencyMeasurementService.MeasurementCallee
melt(long, int) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
meltAll(long) - Method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
merge() - Method in class net.sf.tweety.plugin.OutputField
merge(Collection<Collection<S>>) - Method in class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator: Auxiliary method that combines every two collections into one.
mergeFields() - Method in class net.sf.tweety.plugin.PluginOutput
mergeSolutionFiles(String, String[], String) - Static method in class net.sf.tweety.arg.adf.util.TestUtil: Merges the solution files from solvers like diamond or k++adf into a single one.
MI - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
MIC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
MicInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class models the MI^C inconsistency measure.
MicInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure: Creates a new drastic inconsistency measure.
midpoint(Map<Variable, Term>, Map<Variable, Term>) - Method in class net.sf.tweety.math.opt.NewtonRootFinder: Computes the midpoint of the two maps
midPoint(double[], double[]) - Static method in class net.sf.tweety.commons.util.VectorTools: Computes the midpoint of the two given vectors.
MiInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis: This class models the MI inconsistency measure.
MiInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.MiInconsistencyMeasure: Creates a new inconsistency measure.
MimusMusEnumerator - Class in net.sf.tweety.logics.pl.sat: Implements a MUs enumerator based on MIMUS (http://www.cs.qub.ac.uk/~kmcareavey01/mimus.html).
MimusMusEnumerator(String) - Constructor for class net.sf.tweety.logics.pl.sat.MimusMusEnumerator: Creates a new MUs enumerator.
min(Term) - Method in class net.sf.tweety.math.term.Term: Returns the minimum of this and the given term.
MIN - net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
MIN_STEP_LENGTH - Static variable in class net.sf.tweety.logics.pcl.analysis.PenalizingCreepingMachineShop: The minimal step length for line search.
MIN_STEP_LENGTH - Static variable in class net.sf.tweety.math.opt.solver.GradientDescent: The min step length for the gradient descent.
MinAggregator - Class in net.sf.tweety.math.func: This aggregation function models the minimum function.
MinAggregator() - Constructor for class net.sf.tweety.math.func.MinAggregator
minconf - Variable in class net.sf.tweety.machinelearning.assoc.AprioriMiner: the minimum support for mined rules.
mineFrequentSets(Collection<Collection<T>>, int) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner: Extracts all sets of items from database with support at least minsupport.
mineRules(Collection<Collection<T>>) - Method in class net.sf.tweety.machinelearning.assoc.AbstractAssociationRuleMiner
mineRules(Collection<Collection<T>>) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner: Mines a set of association rules from the given database.
mineRules(Collection<Collection<T>>, int) - Method in class net.sf.tweety.machinelearning.assoc.AbstractAssociationRuleMiner
mineRules(Collection<Collection<T>>, int) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner: Mines a set of association rules from the given database.
mineRules(Collection<Collection<T>>, int, int) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner
mineRules(Collection<Collection<T>>, int, int) - Method in interface net.sf.tweety.machinelearning.assoc.AssociationRuleMiner: Mines a set of association rules from the given database.
minimalCorrectionSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
minimalCorrectionSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator: This method returns the minimal correction subsets of the given set of formulas (i.e.
MinimalInconsistentSubsetExample - Class in net.sf.tweety.logics.pl.examples
MinimalInconsistentSubsetExample() - Constructor for class net.sf.tweety.logics.pl.examples.MinimalInconsistentSubsetExample
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.MarcoMusEnumerator
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.MimusMusEnumerator
minimalInconsistentSubsets(Collection<PlFormula>) - Method in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
minimalInconsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.AbstractMusEnumerator
minimalInconsistentSubsets(Collection<S>) - Method in interface net.sf.tweety.logics.commons.analysis.MusEnumerator: This method returns the minimal inconsistent subsets of the given set of formulas.
minimalInconsistentSubsets(Collection<S>) - Method in class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator
minimalRank() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction: Returns the minimal rank of this OCF.
minimalRank() - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction: Returns the minimal rank of this OCF.
MinimalViolation2InconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis: This class models the minimal violation inconsistency measure for the 2-norm.
MinimalViolation2InconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
MinimalViolationEuclideanMachineShop - Class in net.sf.tweety.logics.pcl.analysis: Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
MinimalViolationEuclideanMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShop
MinimalViolationEuclideanMachineShopOjAlgoExpression - Class in net.sf.tweety.logics.pcl.analysis: Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
MinimalViolationEuclideanMachineShopOjAlgoExpression() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoExpression
MinimalViolationEuclideanMachineShopOjAlgoMatrix - Class in net.sf.tweety.logics.pcl.analysis: Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimal violation inconsistency measure" with respect to the euclidean norm.
MinimalViolationEuclideanMachineShopOjAlgoMatrix() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationEuclideanMachineShopOjAlgoMatrix
MinimalViolationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis: This class provides a general implementation for the minimal violation inconsistency measure, cf.
MinimalViolationInconsistencyMeasure(RealVectorNorm, Solver) - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure: Creates a new measure the given norm
MinimalViolationInconsistencyMeasureLPSolveTest - Class in net.sf.tweety.logics.pcl.test
MinimalViolationInconsistencyMeasureLPSolveTest() - Constructor for class net.sf.tweety.logics.pcl.test.MinimalViolationInconsistencyMeasureLPSolveTest
MINIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MINIMIZE - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
MINIMIZE - Static variable in class net.sf.tweety.math.opt.OptimizationProblem: Static constant for the type "minimization"
Minimum - Class in net.sf.tweety.math.term: This class models the minimum of two terms.
Minimum(List<Term>) - Constructor for class net.sf.tweety.math.term.Minimum: Creates a new minimum with the given list of terms.
Minimum(Term, Term) - Constructor for class net.sf.tweety.math.term.Minimum: Creates a new minimum with the given terms.
MINIMUM_STRING_REPRESENTATION - Static variable in class net.sf.tweety.math.term.Minimum
MinimumAggregatedDistanceMachineShop - Class in net.sf.tweety.logics.pcl.analysis: This approach to consistency restoration follows the approach proposed in [Thimm, DKB, 2011].
MinimumAggregatedDistanceMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimumAggregatedDistanceMachineShop
MinimumNorm - Class in net.sf.tweety.math.func.fuzzy: Represents the minimum-norm in fuzzy logic, i.e., T(x,y)=min(x,y)
MinimumNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.MinimumNorm
MinimumViolationMachineShop - Class in net.sf.tweety.logics.pcl.analysis: Repairs a probabilistic belief base by taking the probabilities from the probability function that minimizes the "minimum violation inconsistency measure".
MinimumViolationMachineShop(RealVectorNorm) - Constructor for class net.sf.tweety.logics.pcl.analysis.MinimumViolationMachineShop: Creates a new machine shop for the norm
minIterations - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver: The minimal number of iterations.
minLength - Variable in class net.sf.tweety.commons.BeliefSetSampler: Min length of samples belief sets
MINORMALIZATION - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The MINORMALIZATION postulate
minsupport - Variable in class net.sf.tweety.machinelearning.assoc.AprioriMiner: the minimum confidence for mined rules.
minT - Variable in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver.FitnessComparator
minus(Matrix) - Method in class net.sf.tweety.math.matrix.Matrix: Makes a subtraction of the given matrix from this one and returns the result.
minus(Term) - Method in class net.sf.tweety.math.term.Term: Returns the sum of this and (-1) * the given term.
MINUS - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
MINUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MINUS - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
MiSampler - Class in net.sf.tweety.logics.pl.util: Generates random propositional belief base with a given inconsistency measure (for the MI inconsistency measure) and of a given size.
MiSampler(PlSignature, int) - Constructor for class net.sf.tweety.logics.pl.util.MiSampler: Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
MiSampler(PlSignature, int, int, int) - Constructor for class net.sf.tweety.logics.pl.util.MiSampler: Creates a new sample for the given signature which generates propositional belief sets with the given inconsistency value (wrt.
MissingCharacterTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
missingEndQuote() - Method in class net.sf.tweety.arg.delp.TestKBParsing
mk - Variable in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
MlBeliefSet - Class in net.sf.tweety.logics.ml.syntax: This class models a modal knowledge base, i.e.
MlBeliefSet() - Constructor for class net.sf.tweety.logics.ml.syntax.MlBeliefSet: Creates a new empty modal knowledge base.
MlBeliefSet(Set<RelationalFormula>) - Constructor for class net.sf.tweety.logics.ml.syntax.MlBeliefSet: Creates a new modal knowledge base with the given set of formulas.
MleanCoPReasoner - Class in net.sf.tweety.logics.ml.reasoner: Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal first-order logic based on the clausal connection calculus.
MleanCoPReasoner(String) - Constructor for class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner: Constructs a new instance pointing to a specific MleanCoProver.
MleanCoPReasoner(String, Shell) - Constructor for class net.sf.tweety.logics.ml.reasoner.MleanCoPReasoner: Constructs a new instance pointing to a specific MleanCoProver.
MleanCoPTest - Class in net.sf.tweety.logics.ml: JUnit Test class for MleanCoP.
MleanCoPTest() - Constructor for class net.sf.tweety.logics.ml.MleanCoPTest
MleanCoPWriter - Class in net.sf.tweety.logics.ml.writer: Prints single FOL and modal formulas to the MleanCoP format:

Negation: '~'
Conjunction: ','
Disjunction: ';'
Implication: '=>'
Equivalence: '<=>'
Universal quantifier: 'all X:'
Existential quantifier: 'ex X:'
Modal box operator (Necessity): '#'
Modal diamond operator (Possibility): '*'
MleanCoPWriter() - Constructor for class net.sf.tweety.logics.ml.writer.MleanCoPWriter: Creates a new MleanCoPWriter.
MleanCoPWriter(Writer) - Constructor for class net.sf.tweety.logics.ml.writer.MleanCoPWriter: Creates a new MleanCoPWriter.
MlExample - Class in net.sf.tweety.logics.ml.examples: Some examples for testing ModalParser and NaiveModalReasoner
MlExample() - Constructor for class net.sf.tweety.logics.ml.examples.MlExample
MlExample2 - Class in net.sf.tweety.logics.ml.examples: More examples for testing ModalParser and ModalReasoner
MlExample2() - Constructor for class net.sf.tweety.logics.ml.examples.MlExample2
MlFormula - Class in net.sf.tweety.logics.ml.syntax: This class models a modal formula, i.e.
MlFormula(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.syntax.MlFormula
MlHerbrandBase - Class in net.sf.tweety.logics.ml.semantics: Modified version of HerbrandBase that allows for modal formulas.
MlHerbrandBase(FolSignature) - Constructor for class net.sf.tweety.logics.ml.semantics.MlHerbrandBase: Creates a new Herbrand base for the given signature.
MlHerbrandInterpretation - Class in net.sf.tweety.logics.ml.semantics: Modified version of HerbrandInterpretation that allows for modal formulas.
MlHerbrandInterpretation() - Constructor for class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation: Creates a new empty Herbrand interpretation
MlHerbrandInterpretation(Collection<? extends FolAtom>) - Constructor for class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation: Creates a new Herbrand interpretation with the given set of atoms
MlnExample - Class in net.sf.tweety.logics.mln.examples: Shows how MLNs can be constructed programmatically and shows how coherence measures can be used.
MlnExample() - Constructor for class net.sf.tweety.logics.mln.examples.MlnExample
MlnExample2 - Class in net.sf.tweety.logics.mln.examples: Gives further examples on how MLNs can be constructed programmatically and how coherence measures can be used.
MlnExample2() - Constructor for class net.sf.tweety.logics.mln.examples.MlnExample2
MlnFormula - Class in net.sf.tweety.logics.mln.syntax: Instances of this class represent first-order formulas with a weight.
MlnFormula(FolFormula) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula: Creates a new strict MLN formula with the given formula.
MlnFormula(FolFormula, Double) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula: Creates a new MLN formula with the given formula and weight.
MlnFormula(FolFormula, Probability) - Constructor for class net.sf.tweety.logics.mln.syntax.MlnFormula: Creates a new MLN formula and estimates its weight w by the given probability p using the formula w = log(p/(1-p)*f) where "f" is the ratio of the number of worlds not satisfying the formula and the worlds satisfying the formula.
MlParser - Class in net.sf.tweety.logics.ml.parser: This class implements a parser for modal logic.
MlParser() - Constructor for class net.sf.tweety.logics.ml.parser.MlParser
MlParserTest - Class in net.sf.tweety.logics.ml: JUnit Test class for ModalParser.
MlParserTest() - Constructor for class net.sf.tweety.logics.ml.MlParserTest
MlReasonerTest - Class in net.sf.tweety.logics.ml: JUnit Test class for NaiveModalReasoner.
MlReasonerTest() - Constructor for class net.sf.tweety.logics.ml.MlReasonerTest
MlWriter - Class in net.sf.tweety.logics.ml.writer
MlWriter(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.writer.MlWriter
MlWriter(MlBeliefSet) - Constructor for class net.sf.tweety.logics.ml.writer.MlWriter
MockFormula() - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockFormula
MockOperator(String) - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator
MockOperator(String) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator
model - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter: the data model for the revision compare
model - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter: the data model for the revision compare
model - Variable in class net.sf.tweety.machinelearning.svm.SupportVectorMachine: The actual libsvm model.
modelCount - Variable in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult: the number of models returned by the reasoner
modelDifference - Variable in class net.sf.tweety.arg.adf.reasoner.test.BenchmarkResult: negative if we found less models than in the solution file, positive if we found more and 0 otherwise
ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>> - Interface in net.sf.tweety.commons: Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.
modelStorage - Variable in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
ModuleBasedAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner: Slightly optimised reasoner for ASPIC.
ModuleBasedAspicReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.aspic.reasoner.ModuleBasedAspicReasoner: Creates a new instance
MonotoneGlobalMaxichoiceSelectionFunction - Class in net.sf.tweety.lp.asp.beliefdynamics.baserevision: This class implements a monotone global maxichoise selection function for remainder sets of extended logic programs as introduced in [KKI12].
MonotoneGlobalMaxichoiceSelectionFunction() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.baserevision.MonotoneGlobalMaxichoiceSelectionFunction
MONOTONY - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate: The MONOTONY postulate
MonteCarloPafReasoner - Class in net.sf.tweety.arg.prob.reasoner: This class implements the Monte Carlo algorithm for estimating probabilities of extensions in probabilistic argumentation frameworks from [Li, Oren, Norman.
MonteCarloPafReasoner(Semantics, int) - Constructor for class net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner: Creates a new reasoner.
moreQuoted() - Method in class net.sf.tweety.arg.delp.TestQueries
move(ArgumentationEnvironment) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState: Gives the next best move according to the belief state and the given trace.
moveBeliefbase(Collection<?>, int) - Method in class net.sf.tweety.beliefdynamics.gui.RevisionCompareModel: Moves the given belief base in the given direction.
mpm - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
msd - Static variable in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
mult(double) - Method in class net.sf.tweety.math.matrix.Matrix: Multiply this matrix with the given scalar (every entry is multiplied)
mult(Double) - Method in class net.sf.tweety.math.probability.Probability: Computes the product of this probability and the given number.
mult(Integer) - Method in class net.sf.tweety.math.probability.Probability: Computes the product of this probability and the given number.
mult(Matrix) - Method in class net.sf.tweety.math.matrix.Matrix: Multiply this matrix with the given one.
mult(Probability) - Method in class net.sf.tweety.math.probability.Probability: Computes the product of this probability and the given probability.
mult(Term) - Method in class net.sf.tweety.math.matrix.Matrix: Multiply this matrix with the given scalar (every entry is multiplied)
mult(Term) - Method in class net.sf.tweety.math.term.Term: Returns the product of this and the given term.
MULTI_LINE_COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
MULTI_LINE_COMMENT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
multiAgentSystem - Variable in class net.sf.tweety.agents.AbstractProtocol: The multi-agent system this protocol operates on.
multiAgentSystem - Variable in class net.sf.tweety.agents.ActionEvent
MultiAgentSystem<T extends Agent> - Class in net.sf.tweety.agents: A multi-agent system is a collection of agents with some environment.
MultiAgentSystem(Environment) - Constructor for class net.sf.tweety.agents.MultiAgentSystem: Creates a new empty multi-agent system with the given environment.
MultiAgentSystem(Environment, Collection<? extends T>) - Constructor for class net.sf.tweety.agents.MultiAgentSystem: Creates a new multi-agent system with the given collection of agents.
MultiAgentSystemGenerator<T extends Agent,S extends MultiAgentSystem<T>> - Interface in net.sf.tweety.agents.sim
MultiClassRbfTrainer - Class in net.sf.tweety.machinelearning.svm: Trains a standard multi-class RBF support vector machine.
MultiClassRbfTrainer() - Constructor for class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer: Initializes the trainer with the default parameters.
MultiClassRbfTrainer(double, double) - Constructor for class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer: Initializes the trainer with the given parameters.
multiFile() - Method in class net.sf.tweety.arg.delp.TestDeLP
MultipleBaseContractionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics: This is the interface for a classic multiple belief base contraction operator, ie.
MultipleBaseContractionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseContractionOperator
MultipleBaseExpansionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics: This is the interface for a classic multiple belief base expansion operator, ie.
MultipleBaseExpansionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseExpansionOperator
MultipleBaseRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics: This is the interface for a classic multiple belief base revision operator, ie.
MultipleBaseRevisionOperator() - Constructor for class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
MultipleIndicatorUtilityFunction - Class in net.sf.tweety.agents.dialogues.structured: This class represents a multiple indicator utility function, i.e.
MultipleIndicatorUtilityFunction(Collection<? extends Proposition>) - Constructor for class net.sf.tweety.agents.dialogues.structured.MultipleIndicatorUtilityFunction: Creates a new multiple indicator utility function for the given focal set.
MultipleSelectiveRevisionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics.selectiverevision: This class implements a multiple selective revision operator following [Kruempelmann:2011,Ferme:1999].
MultipleSelectiveRevisionOperator(MultipleTransformationFunction<T>, MultipleBaseRevisionOperator<T>) - Constructor for class net.sf.tweety.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator: Creates a new multiple selective revision operator for the given transformation function and inner revision.
MultipleTransformationFunction<T extends Formula> - Interface in net.sf.tweety.beliefdynamics.selectiverevision: This interface represents a multiple transformation function for selective revision [Kruempelmann:2011,Ferme:1999].
MULTIPLICATOR - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
multiplicators - Variable in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld: Multiplicators for formulas; saved for efficiency.
musEnumerator - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService: The MUS enumerator configured for this service.
MusEnumerator<S extends Formula> - Interface in net.sf.tweety.logics.commons.analysis: Interface for classes enumerating MUSes (minimal unsatisfiable sets) and MCSs (maximal consistent sets).
MusExample - Class in net.sf.tweety.logics.pl.examples
MusExample() - Constructor for class net.sf.tweety.logics.pl.examples.MusExample
MusVarInconsistencyMeasure - Class in net.sf.tweety.logics.pl.analysis: This class implements the "MUS-variable based inconsistency measure" proposed in [Xiao,Ma.
MusVarInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pl.analysis.MusVarInconsistencyMeasure
mutate(Map<FloatVariable, Term>) - Method in class net.sf.tweety.math.opt.solver.SimpleGeneticOptimizationSolver: Mutates the given individual
MV - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _
All Classes All Packages