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
All Classes All Packages
N
- n - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
- n_q - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
- n_s - Variable in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
- NAF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
-
RegularExpression Id.
- NAF - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
-
RegularExpression Id.
- NAFLiteral() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- NAFLiterals() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- nafneg - Variable in class net.sf.tweety.lp.asp.parser.ASTNAFLiteral
- nafneg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTNAFLiteral
- NAIVE - net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
- NaiveDlReasoner - Class in net.sf.tweety.logics.dl.reasoner
-
Naive reasoner for the description logic ALC (as represented by this library).
- NaiveDlReasoner() - Constructor for class net.sf.tweety.logics.dl.reasoner.NaiveDlReasoner
- NaiveInterpretationReasoner - Class in net.sf.tweety.arg.adf.reasoner
- NaiveInterpretationReasoner(SatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.NaiveInterpretationReasoner
- NaiveLiteralTransformationFunction - Class in net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
-
This class represents the naive transformation function for literals as introduced in [1].
- NaiveLiteralTransformationFunction(Collection<ASPRule>, AttackStrategy, AttackStrategy) - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
-
Creates a new naive transformation function for literals.
- NaiveLiteralTransformationFunctionTest - Class in net.sf.tweety.lp.asp.beliefdynamics
- NaiveLiteralTransformationFunctionTest() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
- NaiveMusEnumerator<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
A simple approach to compute minimal inconsistent subsets and maximal consistent subsets by exhaustive search.
- NaiveMusEnumerator(BeliefSetConsistencyTester<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator
-
Creates a new naive MusEnumerator that uses the given consistency tester.
- naiveUpdate(Extension) - Method in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
-
Updates this probability function with the given extension, i.e.
- name - Variable in class net.sf.tweety.agents.Agent
-
The name of the agent.
- name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator
-
The name of the agents generator by this generator.
- name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
-
The name of the agents generator by this generator.
- name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator
-
The name of the agents generator by this generator.
- name - Variable in class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
-
The name of the agents generator by this generator.
- name - Variable in class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
- name - Variable in class net.sf.tweety.arg.adf.syntax.Argument
- name - Variable in class net.sf.tweety.arg.aspic.syntax.InferenceRule
-
Identifying name.
- name - Variable in class net.sf.tweety.arg.dung.syntax.Argument
-
The name of the argument.
- name - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator
- name - Variable in class net.sf.tweety.graphs.SimpleNode
-
The name of the node
- name - Variable in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
-
The name of this process.
- name - Variable in enum net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
- name - Variable in class net.sf.tweety.logics.commons.syntax.Sort
-
The name of the sort
- name - Variable in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
-
The name of this structure
- name - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.MockOperator
- name - Variable in class net.sf.tweety.lp.asp.parser.ASTID
- name - Variable in class net.sf.tweety.lp.asp.parser.ASTLiteral
- name - Variable in class net.sf.tweety.lp.asp.parser.ASTString
- name - Variable in class net.sf.tweety.lp.asp.parser.ASTVar
- name - Variable in class net.sf.tweety.machinelearning.TrainingParameter
-
The identifier of the parameter.
- name - Variable in class net.sf.tweety.math.term.Variable
-
The name of the variable.
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTID
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTLiteral
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTString
- name(String) - Method in class net.sf.tweety.lp.asp.parser.ASTVar
- NAME - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants
-
RegularExpression Id.
- nat - Static variable in class net.sf.tweety.commons.util.Shell
- NativeLingelingSolver - Class in net.sf.tweety.arg.adf.sat
-
Experimental lingeling binding
- NativeLingelingSolver() - Constructor for class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
- NativeLingelingSolver.LingelingSolverState - Class in net.sf.tweety.arg.adf.sat
- NativeShell - Class in net.sf.tweety.commons.util
-
Default shell
- NativeShell() - Constructor for class net.sf.tweety.commons.util.NativeShell
- nbclauses - Variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver
-
Max number of expected clauses for this solver.
- NBCLAUSES - Static variable in class net.sf.tweety.logics.pl.sat.Sat4jSolver
-
Default value for max number of expected clauses for a solver.
- NC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
- NConsInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
-
This class implements an inconsistency measure based on "n-consistency" proposed in [Doder,Raskovic,Markovic,Ognjanovic.
- NConsInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.NConsInconsistencyMeasure
-
Creates a new inconsistency measure.
- NecessarilyQuery - Class in net.sf.tweety.action.query.syntax
-
This class represents a necessarily query in the action query language S.
- NecessarilyQuery(FolFormula) - Constructor for class net.sf.tweety.action.query.syntax.NecessarilyQuery
-
Creates a new necessarily query with an empty action sequence.
- NecessarilyQuery(FolFormula, List<FolAction>) - Constructor for class net.sf.tweety.action.query.syntax.NecessarilyQuery
-
Creates a new necessarily query with the given inner formula and list of actions.
- NecessarilyQuery(FolFormula, FolAction) - Constructor for class net.sf.tweety.action.query.syntax.NecessarilyQuery
-
Creates a new necessarily query with the given inner formula and a single action.
- necessaryArguments() - Method in class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent
-
Computes the set of necessary arguments for this agent's focal element, i.e.
- Necessity - Class in net.sf.tweety.logics.ml.syntax
-
This class models the necessity modality.
- Necessity(RelationalFormula) - Constructor for class net.sf.tweety.logics.ml.syntax.Necessity
-
Creates a new necessity formula with the given inner formula
- NECESSITY() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
- neg - Variable in class net.sf.tweety.lp.asp.parser.ASTLiteral
- neg - Variable in class net.sf.tweety.lp.asp.parser.ASTTerm
- neg() - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
- neg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTLiteral
- neg(boolean) - Method in class net.sf.tweety.lp.asp.parser.ASTTerm
- neg(Double) - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
- neg(L) - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics
-
The NEG-operation on L in this framework
- NEG - Static variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
- neg_votes - Variable in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
-
The number of negative votes of arguments
- negates(T, T) - Method in class net.sf.tweety.arg.aba.syntax.ABATheory
-
Checks whether the given two formulas are negations of each other
- negation - Variable in class net.sf.tweety.arg.aba.syntax.Negation
-
not
= - Negation<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax
- Negation - Class in net.sf.tweety.logics.fol.syntax
The classical negation of first-order logic.- Negation - Class in net.sf.tweety.logics.pl.syntax
This class models classical negation of propositional logic.- Negation(RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Negation
- Negation(PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Negation
Creates a new negation with the given formula.- Negation(T, T) - Constructor for class net.sf.tweety.arg.aba.syntax.Negation
Creates a new Negation- NegationAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax
- NegationAcceptanceCondition(AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.NegationAcceptanceCondition
- negations - Variable in class net.sf.tweety.arg.aba.syntax.ABATheory
The negation relation- NegationTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- negativeInstances - Variable in class net.sf.tweety.commons.postulates.PostulateEvaluationReport
the instances that violate the given postulate- negativeMinimum - Variable in class net.sf.tweety.logics.cl.kappa.KappaValue
This minimum contains those kappa sums of conditionals that are falsified in a world, that is also falsified by theConditional
of this kappa value.- negConstantPrefix - Variable in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
a prefix used to mark constants which represent the id of negative literals.- NegNode() - Constructor for class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.NegNode
- NEQ - net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
- NestedFormulaTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
- NestedLogicProgramException - Exception in net.sf.tweety.lp.nlp.error
NestedLogicProramException encapsulates those LanugageException that occur in nested logic programs.- NestedLogicProgramException(LanguageException.LanguageExceptionReason) - Constructor for exception net.sf.tweety.lp.nlp.error.NestedLogicProgramException
- NestedLogicProgramException(LanguageException.LanguageExceptionReason, String) - Constructor for exception net.sf.tweety.lp.nlp.error.NestedLogicProgramException
- NestedModalFormulaTest() - Method in class net.sf.tweety.logics.ml.MlParserTest
- NestedQuantifiedFormulaTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
- net.sf.tweety.action.description.analysis - package net.sf.tweety.action.description.analysis
- net.sf.tweety.action.description.parser - package net.sf.tweety.action.description.parser
- net.sf.tweety.action.description.reasoner - package net.sf.tweety.action.description.reasoner
- net.sf.tweety.action.description.syntax - package net.sf.tweety.action.description.syntax
- net.sf.tweety.action.grounding - package net.sf.tweety.action.grounding
- net.sf.tweety.action.grounding.parser - package net.sf.tweety.action.grounding.parser
- net.sf.tweety.action.query.analysis - package net.sf.tweety.action.query.analysis
- net.sf.tweety.action.query.parser - package net.sf.tweety.action.query.parser
- net.sf.tweety.action.query.syntax - package net.sf.tweety.action.query.syntax
- net.sf.tweety.action.signature - package net.sf.tweety.action.signature
- net.sf.tweety.action.signature.parser - package net.sf.tweety.action.signature.parser
- net.sf.tweety.action.transitionsystem - package net.sf.tweety.action.transitionsystem
- net.sf.tweety.agents.dialogues - package net.sf.tweety.agents.dialogues
- net.sf.tweety.agents.dialogues.examples - package net.sf.tweety.agents.dialogues.examples
- net.sf.tweety.agents.dialogues.lotteries - package net.sf.tweety.agents.dialogues.lotteries
- net.sf.tweety.agents.dialogues.lotteries.sim - package net.sf.tweety.agents.dialogues.lotteries.sim
- net.sf.tweety.agents.dialogues.oppmodels - package net.sf.tweety.agents.dialogues.oppmodels
- net.sf.tweety.agents.dialogues.oppmodels.sim - package net.sf.tweety.agents.dialogues.oppmodels.sim
- net.sf.tweety.agents.dialogues.structured - package net.sf.tweety.agents.dialogues.structured
- net.sf.tweety.agents.sim - package net.sf.tweety.agents.sim
- net.sf.tweety.arg.aba.examples - package net.sf.tweety.arg.aba.examples
- net.sf.tweety.arg.aba.parser - package net.sf.tweety.arg.aba.parser
- net.sf.tweety.arg.aba.reasoner - package net.sf.tweety.arg.aba.reasoner
- net.sf.tweety.arg.aba.semantics - package net.sf.tweety.arg.aba.semantics
- net.sf.tweety.arg.aba.syntax - package net.sf.tweety.arg.aba.syntax
- net.sf.tweety.arg.adf.parser.test - package net.sf.tweety.arg.adf.parser.test
- net.sf.tweety.arg.adf.reasoner.test - package net.sf.tweety.arg.adf.reasoner.test
- net.sf.tweety.arg.adf.sat - package net.sf.tweety.arg.adf.sat
- net.sf.tweety.arg.adf.semantics.test - package net.sf.tweety.arg.adf.semantics.test
- net.sf.tweety.arg.adf.syntax - package net.sf.tweety.arg.adf.syntax
- net.sf.tweety.arg.adf.util - package net.sf.tweety.arg.adf.util
- net.sf.tweety.arg.aspic.examples - package net.sf.tweety.arg.aspic.examples
- net.sf.tweety.arg.aspic.order - package net.sf.tweety.arg.aspic.order
- net.sf.tweety.arg.aspic.parser - package net.sf.tweety.arg.aspic.parser
- net.sf.tweety.arg.aspic.reasoner - package net.sf.tweety.arg.aspic.reasoner
- net.sf.tweety.arg.aspic.ruleformulagenerator - package net.sf.tweety.arg.aspic.ruleformulagenerator
- net.sf.tweety.arg.aspic.semantics - package net.sf.tweety.arg.aspic.semantics
- net.sf.tweety.arg.aspic.syntax - package net.sf.tweety.arg.aspic.syntax
- net.sf.tweety.arg.aspic.util - package net.sf.tweety.arg.aspic.util
- net.sf.tweety.arg.aspic.writer - package net.sf.tweety.arg.aspic.writer
- net.sf.tweety.arg.deductive.accumulator - package net.sf.tweety.arg.deductive.accumulator
- net.sf.tweety.arg.deductive.categorizer - package net.sf.tweety.arg.deductive.categorizer
- net.sf.tweety.arg.deductive.examples - package net.sf.tweety.arg.deductive.examples
- net.sf.tweety.arg.deductive.parser - package net.sf.tweety.arg.deductive.parser
- net.sf.tweety.arg.deductive.reasoner - package net.sf.tweety.arg.deductive.reasoner
- net.sf.tweety.arg.deductive.semantics - package net.sf.tweety.arg.deductive.semantics
- net.sf.tweety.arg.deductive.semantics.attacks - package net.sf.tweety.arg.deductive.semantics.attacks
- net.sf.tweety.arg.deductive.syntax - package net.sf.tweety.arg.deductive.syntax
- net.sf.tweety.arg.delp.examples - package net.sf.tweety.arg.delp.examples
- net.sf.tweety.arg.delp.parser - package net.sf.tweety.arg.delp.parser
- net.sf.tweety.arg.delp.reasoner - package net.sf.tweety.arg.delp.reasoner
- net.sf.tweety.arg.delp.semantics - package net.sf.tweety.arg.delp.semantics
- net.sf.tweety.arg.delp.syntax - package net.sf.tweety.arg.delp.syntax
- net.sf.tweety.arg.dung.divisions - package net.sf.tweety.arg.dung.divisions
- net.sf.tweety.arg.dung.examples - package net.sf.tweety.arg.dung.examples
- net.sf.tweety.arg.dung.ldo.semantics - package net.sf.tweety.arg.dung.ldo.semantics
- net.sf.tweety.arg.dung.ldo.syntax - package net.sf.tweety.arg.dung.ldo.syntax
- net.sf.tweety.arg.dung.parser - package net.sf.tweety.arg.dung.parser
- net.sf.tweety.arg.dung.reasoner - package net.sf.tweety.arg.dung.reasoner
- net.sf.tweety.arg.dung.semantics - package net.sf.tweety.arg.dung.semantics
- net.sf.tweety.arg.dung.syntax - package net.sf.tweety.arg.dung.syntax
- net.sf.tweety.arg.dung.util - package net.sf.tweety.arg.dung.util
- net.sf.tweety.arg.dung.writer - package net.sf.tweety.arg.dung.writer
- net.sf.tweety.arg.lp.reasoner - package net.sf.tweety.arg.lp.reasoner
- net.sf.tweety.arg.lp.semantics - package net.sf.tweety.arg.lp.semantics
- net.sf.tweety.arg.lp.semantics.attack - package net.sf.tweety.arg.lp.semantics.attack
- net.sf.tweety.arg.lp.syntax - package net.sf.tweety.arg.lp.syntax
- net.sf.tweety.arg.prob.analysis - package net.sf.tweety.arg.prob.analysis
- net.sf.tweety.arg.prob.dynamics - package net.sf.tweety.arg.prob.dynamics
- net.sf.tweety.arg.prob.examples - package net.sf.tweety.arg.prob.examples
- net.sf.tweety.arg.prob.lotteries - package net.sf.tweety.arg.prob.lotteries
- net.sf.tweety.arg.prob.reasoner - package net.sf.tweety.arg.prob.reasoner
- net.sf.tweety.arg.prob.semantics - package net.sf.tweety.arg.prob.semantics
- net.sf.tweety.arg.prob.syntax - package net.sf.tweety.arg.prob.syntax
- net.sf.tweety.arg.rankings.examples - package net.sf.tweety.arg.rankings.examples
- net.sf.tweety.arg.rankings.postulates - package net.sf.tweety.arg.rankings.postulates
- net.sf.tweety.arg.rankings.reasoner - package net.sf.tweety.arg.rankings.reasoner
- net.sf.tweety.arg.saf.reasoner - package net.sf.tweety.arg.saf.reasoner
- net.sf.tweety.arg.saf.syntax - package net.sf.tweety.arg.saf.syntax
- net.sf.tweety.arg.saf.util - package net.sf.tweety.arg.saf.util
- net.sf.tweety.arg.social.examples - package net.sf.tweety.arg.social.examples
- net.sf.tweety.arg.social.reasoner - package net.sf.tweety.arg.social.reasoner
- net.sf.tweety.arg.social.semantics - package net.sf.tweety.arg.social.semantics
- net.sf.tweety.arg.social.syntax - package net.sf.tweety.arg.social.syntax
- net.sf.tweety.argumentation.parameterisedhierarchy - package net.sf.tweety.argumentation.parameterisedhierarchy
- net.sf.tweety.beliefdynamics - package net.sf.tweety.beliefdynamics
- net.sf.tweety.beliefdynamics.examples - package net.sf.tweety.beliefdynamics.examples
- net.sf.tweety.beliefdynamics.gui - package net.sf.tweety.beliefdynamics.gui
- net.sf.tweety.beliefdynamics.kernels - package net.sf.tweety.beliefdynamics.kernels
- net.sf.tweety.beliefdynamics.mas - package net.sf.tweety.beliefdynamics.mas
- net.sf.tweety.beliefdynamics.operators - package net.sf.tweety.beliefdynamics.operators
- net.sf.tweety.beliefdynamics.selectiverevision - package net.sf.tweety.beliefdynamics.selectiverevision
- net.sf.tweety.beliefdynamics.selectiverevision.argumentative - package net.sf.tweety.beliefdynamics.selectiverevision.argumentative
- net.sf.tweety.cli - package net.sf.tweety.cli
- net.sf.tweety.cli.plugins - package net.sf.tweety.cli.plugins
- net.sf.tweety.commons - package net.sf.tweety.commons
- net.sf.tweety.commons.analysis - package net.sf.tweety.commons.analysis
- net.sf.tweety.commons.examples - package net.sf.tweety.commons.examples
- net.sf.tweety.commons.postulates - package net.sf.tweety.commons.postulates
- net.sf.tweety.commons.streams - package net.sf.tweety.commons.streams
- net.sf.tweety.commons.util - package net.sf.tweety.commons.util
- net.sf.tweety.commons.util.rules - package net.sf.tweety.commons.util.rules
- net.sf.tweety.graphs.examples - package net.sf.tweety.graphs.examples
- net.sf.tweety.graphs.orders - package net.sf.tweety.graphs.orders
- net.sf.tweety.graphs.util - package net.sf.tweety.graphs.util
- net.sf.tweety.logics.cl.examples - package net.sf.tweety.logics.cl.examples
- net.sf.tweety.logics.cl.kappa - package net.sf.tweety.logics.cl.kappa
- net.sf.tweety.logics.cl.parser - package net.sf.tweety.logics.cl.parser
- net.sf.tweety.logics.cl.reasoner - package net.sf.tweety.logics.cl.reasoner
- net.sf.tweety.logics.cl.rules - package net.sf.tweety.logics.cl.rules
- net.sf.tweety.logics.cl.semantics - package net.sf.tweety.logics.cl.semantics
- net.sf.tweety.logics.cl.syntax - package net.sf.tweety.logics.cl.syntax
- net.sf.tweety.logics.cl.test - package net.sf.tweety.logics.cl.test
- net.sf.tweety.logics.commons.analysis - package net.sf.tweety.logics.commons.analysis
- net.sf.tweety.logics.commons.analysis.streams - package net.sf.tweety.logics.commons.analysis.streams
- net.sf.tweety.logics.commons.error - package net.sf.tweety.logics.commons.error
- net.sf.tweety.logics.commons.syntax - package net.sf.tweety.logics.commons.syntax
- net.sf.tweety.logics.commons.syntax.interfaces - package net.sf.tweety.logics.commons.syntax.interfaces
- net.sf.tweety.logics.commons.test - package net.sf.tweety.logics.commons.test
- net.sf.tweety.logics.dl.examples - package net.sf.tweety.logics.dl.examples
- net.sf.tweety.logics.dl.parser - package net.sf.tweety.logics.dl.parser
- net.sf.tweety.logics.dl.reasoner - package net.sf.tweety.logics.dl.reasoner
- net.sf.tweety.logics.dl.semantics - package net.sf.tweety.logics.dl.semantics
- net.sf.tweety.logics.dl.syntax - package net.sf.tweety.logics.dl.syntax
- net.sf.tweety.logics.dl.test - package net.sf.tweety.logics.dl.test
- net.sf.tweety.logics.fol.examples - package net.sf.tweety.logics.fol.examples
- net.sf.tweety.logics.fol.parser - package net.sf.tweety.logics.fol.parser
- net.sf.tweety.logics.fol.plugin - package net.sf.tweety.logics.fol.plugin
- net.sf.tweety.logics.fol.reasoner - package net.sf.tweety.logics.fol.reasoner
- net.sf.tweety.logics.fol.semantics - package net.sf.tweety.logics.fol.semantics
- net.sf.tweety.logics.fol.syntax - package net.sf.tweety.logics.fol.syntax
- net.sf.tweety.logics.fol.test - package net.sf.tweety.logics.fol.test
- net.sf.tweety.logics.fol.writer - package net.sf.tweety.logics.fol.writer
- net.sf.tweety.logics.ml.examples - package net.sf.tweety.logics.ml.examples
- net.sf.tweety.logics.ml.parser - package net.sf.tweety.logics.ml.parser
- net.sf.tweety.logics.ml.reasoner - package net.sf.tweety.logics.ml.reasoner
- net.sf.tweety.logics.ml.semantics - package net.sf.tweety.logics.ml.semantics
- net.sf.tweety.logics.ml.syntax - package net.sf.tweety.logics.ml.syntax
- net.sf.tweety.logics.ml.writer - package net.sf.tweety.logics.ml.writer
- net.sf.tweety.logics.mln.analysis - package net.sf.tweety.logics.mln.analysis
- net.sf.tweety.logics.mln.examples - package net.sf.tweety.logics.mln.examples
- net.sf.tweety.logics.mln.reasoner - package net.sf.tweety.logics.mln.reasoner
- net.sf.tweety.logics.mln.syntax - package net.sf.tweety.logics.mln.syntax
- net.sf.tweety.logics.pcl.analysis - package net.sf.tweety.logics.pcl.analysis
- net.sf.tweety.logics.pcl.examples - package net.sf.tweety.logics.pcl.examples
- net.sf.tweety.logics.pcl.parser - package net.sf.tweety.logics.pcl.parser
- net.sf.tweety.logics.pcl.reasoner - package net.sf.tweety.logics.pcl.reasoner
- net.sf.tweety.logics.pcl.semantics - package net.sf.tweety.logics.pcl.semantics
- net.sf.tweety.logics.pcl.syntax - package net.sf.tweety.logics.pcl.syntax
- net.sf.tweety.logics.pcl.test - package net.sf.tweety.logics.pcl.test
- net.sf.tweety.logics.pcl.util - package net.sf.tweety.logics.pcl.util
- net.sf.tweety.logics.pl.analysis - package net.sf.tweety.logics.pl.analysis
- net.sf.tweety.logics.pl.error - package net.sf.tweety.logics.pl.error
- net.sf.tweety.logics.pl.examples - package net.sf.tweety.logics.pl.examples
- net.sf.tweety.logics.pl.parser - package net.sf.tweety.logics.pl.parser
- net.sf.tweety.logics.pl.plugin - package net.sf.tweety.logics.pl.plugin
- net.sf.tweety.logics.pl.postulates - package net.sf.tweety.logics.pl.postulates
- net.sf.tweety.logics.pl.reasoner - package net.sf.tweety.logics.pl.reasoner
- net.sf.tweety.logics.pl.sat - package net.sf.tweety.logics.pl.sat
- net.sf.tweety.logics.pl.semantics - package net.sf.tweety.logics.pl.semantics
- net.sf.tweety.logics.pl.syntax - package net.sf.tweety.logics.pl.syntax
- net.sf.tweety.logics.pl.util - package net.sf.tweety.logics.pl.util
- net.sf.tweety.logics.pl.writer - package net.sf.tweety.logics.pl.writer
- net.sf.tweety.logics.rcl.examples - package net.sf.tweety.logics.rcl.examples
- net.sf.tweety.logics.rcl.parser - package net.sf.tweety.logics.rcl.parser
- net.sf.tweety.logics.rcl.reasoner - package net.sf.tweety.logics.rcl.reasoner
- net.sf.tweety.logics.rcl.semantics - package net.sf.tweety.logics.rcl.semantics
- net.sf.tweety.logics.rcl.syntax - package net.sf.tweety.logics.rcl.syntax
- net.sf.tweety.logics.rdl.examples - package net.sf.tweety.logics.rdl.examples
- net.sf.tweety.logics.rdl.parser - package net.sf.tweety.logics.rdl.parser
- net.sf.tweety.logics.rdl.reasoner - package net.sf.tweety.logics.rdl.reasoner
- net.sf.tweety.logics.rdl.semantics - package net.sf.tweety.logics.rdl.semantics
- net.sf.tweety.logics.rdl.syntax - package net.sf.tweety.logics.rdl.syntax
- net.sf.tweety.logics.rpcl.examples - package net.sf.tweety.logics.rpcl.examples
- net.sf.tweety.logics.rpcl.parser - package net.sf.tweety.logics.rpcl.parser
- net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser - package net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
- net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser - package net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
- net.sf.tweety.logics.rpcl.plugin - package net.sf.tweety.logics.rpcl.plugin
- net.sf.tweety.logics.rpcl.reasoner - package net.sf.tweety.logics.rpcl.reasoner
- net.sf.tweety.logics.rpcl.semantics - package net.sf.tweety.logics.rpcl.semantics
- net.sf.tweety.logics.rpcl.syntax - package net.sf.tweety.logics.rpcl.syntax
- net.sf.tweety.logics.rpcl.writers - package net.sf.tweety.logics.rpcl.writers
- net.sf.tweety.logics.translators.aspfol - package net.sf.tweety.logics.translators.aspfol
- net.sf.tweety.logics.translators.aspnlp - package net.sf.tweety.logics.translators.aspnlp
- net.sf.tweety.logics.translators.clnlp - package net.sf.tweety.logics.translators.clnlp
- net.sf.tweety.logics.translators.folprop - package net.sf.tweety.logics.translators.folprop
- net.sf.tweety.lp.asp.analysis - package net.sf.tweety.lp.asp.analysis
- net.sf.tweety.lp.asp.beliefdynamics.baserevision - package net.sf.tweety.lp.asp.beliefdynamics.baserevision
- net.sf.tweety.lp.asp.beliefdynamics.gui - package net.sf.tweety.lp.asp.beliefdynamics.gui
- net.sf.tweety.lp.asp.beliefdynamics.revision - package net.sf.tweety.lp.asp.beliefdynamics.revision
- net.sf.tweety.lp.asp.beliefdynamics.selectiverevision - package net.sf.tweety.lp.asp.beliefdynamics.selectiverevision
- net.sf.tweety.lp.asp.examples - package net.sf.tweety.lp.asp.examples
- net.sf.tweety.lp.asp.parser - package net.sf.tweety.lp.asp.parser
- net.sf.tweety.lp.asp.reasoner - package net.sf.tweety.lp.asp.reasoner
- net.sf.tweety.lp.asp.semantics - package net.sf.tweety.lp.asp.semantics
- net.sf.tweety.lp.asp.syntax - package net.sf.tweety.lp.asp.syntax
- net.sf.tweety.lp.asp.writer - package net.sf.tweety.lp.asp.writer
- net.sf.tweety.lp.nlp.error - package net.sf.tweety.lp.nlp.error
- net.sf.tweety.lp.nlp.syntax - package net.sf.tweety.lp.nlp.syntax
- net.sf.tweety.machinelearning.assoc - package net.sf.tweety.machinelearning.assoc
- net.sf.tweety.machinelearning.examples - package net.sf.tweety.machinelearning.examples
- net.sf.tweety.machinelearning.svm - package net.sf.tweety.machinelearning.svm
- net.sf.tweety.machinelearning.test - package net.sf.tweety.machinelearning.test
- net.sf.tweety.math.equation - package net.sf.tweety.math.equation
- net.sf.tweety.math.func - package net.sf.tweety.math.func
- net.sf.tweety.math.func.fuzzy - package net.sf.tweety.math.func.fuzzy
- net.sf.tweety.math.matrix - package net.sf.tweety.math.matrix
- net.sf.tweety.math.norm - package net.sf.tweety.math.norm
- net.sf.tweety.math.opt - package net.sf.tweety.math.opt
- net.sf.tweety.math.opt.solver - package net.sf.tweety.math.opt.solver
- net.sf.tweety.math.probability - package net.sf.tweety.math.probability
- net.sf.tweety.math.term - package net.sf.tweety.math.term
- net.sf.tweety.math.test - package net.sf.tweety.math.test
- net.sf.tweety.math.util - package net.sf.tweety.math.util
- net.sf.tweety.plugin - package net.sf.tweety.plugin
- net.sf.tweety.plugin.parameter - package net.sf.tweety.plugin.parameter
- net.sf.tweety.preferences.aggregation - package net.sf.tweety.preferences.aggregation
- net.sf.tweety.preferences.events - package net.sf.tweety.preferences.events
- net.sf.tweety.preferences.io - package net.sf.tweety.preferences.io
- net.sf.tweety.preferences.plugin - package net.sf.tweety.preferences.plugin
- net.sf.tweety.preferences.ranking - package net.sf.tweety.preferences.ranking
- net.sf.tweety.preferences.test - package net.sf.tweety.preferences.test
- net.sf.tweety.preferences.update - package net.sf.tweety.preferences.update
- net.sf.tweety.web - package net.sf.tweety.web
- net.sf.tweety.web.services - package net.sf.tweety.web.services
- NeutralPASemantics - Class in net.sf.tweety.arg.prob.semantics
P is neutral wrt.- NeutralPASemantics() - Constructor for class net.sf.tweety.arg.prob.semantics.NeutralPASemantics
- neverending - Variable in class net.sf.tweety.commons.streams.DefaultFormulaStream
Whether this stream is never-ending (formulas are repeated once through).- newBeliefs - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareModel
- newToken(int) - Static method in class net.sf.tweety.arg.delp.parser.Token
- newToken(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
- newToken(int) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
- newToken(int) - Static method in class net.sf.tweety.lp.asp.parser.Token
- newToken(int) - Static method in class net.sf.tweety.preferences.io.Token
- newToken(int, String) - Static method in class net.sf.tweety.arg.delp.parser.Token
- newToken(int, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
- newToken(int, String) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
- newToken(int, String) - Static method in class net.sf.tweety.lp.asp.parser.Token
- newToken(int, String) - Static method in class net.sf.tweety.preferences.io.Token
- NewtonRootFinder - Class in net.sf.tweety.math.opt
This class implements the Newton method for finding zeros of a function.- NewtonRootFinder(List<Term>, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.NewtonRootFinder
Creates a new Newton root finder for the given starting point and the given (multi-dimensional) function- NewtonRootFinder(Term, Map<Variable, Term>) - Constructor for class net.sf.tweety.math.opt.NewtonRootFinder
Creates a new Newton root finder for the given starting point and the given function- newVars2oldVars - Variable in class net.sf.tweety.math.opt.solver.OpenOptSolver
A map mapping old variables to new variables.- next - Variable in class net.sf.tweety.arg.delp.parser.Token
A reference to the next regular (non-special) token from the input stream.- next - Variable in class net.sf.tweety.logics.pl.util.CanonicalIterator
The next value used for compiling a knowledge base.- next - Variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
A reference to the next regular (non-special) token from the input stream.- next - Variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
A reference to the next regular (non-special) token from the input stream.- next - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser.JJCalls
- next - Variable in class net.sf.tweety.lp.asp.parser.Token
A reference to the next regular (non-special) token from the input stream.- next - Variable in class net.sf.tweety.preferences.io.Token
A reference to the next regular (non-special) token from the input stream.- next() - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
- next() - Method in interface net.sf.tweety.arg.dung.util.DungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
- next() - Method in class net.sf.tweety.arg.saf.util.SimpleSafSampler
- next() - Method in interface net.sf.tweety.commons.BeliefSetIterator
- next() - Method in class net.sf.tweety.commons.BeliefSetSampler
- next() - Method in interface net.sf.tweety.commons.InterpretationIterator
- next() - Method in class net.sf.tweety.commons.streams.DefaultFormulaStream
- next() - Method in interface net.sf.tweety.commons.streams.FormulaStream
- next() - Method in class net.sf.tweety.commons.util.DefaultSubsetIterator
- next() - Method in class net.sf.tweety.commons.util.IncreasingSubsetIterator
- next() - Method in class net.sf.tweety.commons.util.RandomSubsetIterator
- next() - Method in class net.sf.tweety.commons.util.SubsetIterator
- next() - Method in class net.sf.tweety.logics.pl.semantics.PossibleWorldIterator
- next() - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator
- next() - Method in class net.sf.tweety.logics.pl.util.CnfSampler
- next() - Method in class net.sf.tweety.logics.pl.util.ContensionSampler
- next() - Method in class net.sf.tweety.logics.pl.util.EnumeratingIterator
- next() - Method in class net.sf.tweety.logics.pl.util.HsSampler
- next() - Method in class net.sf.tweety.logics.pl.util.MiSampler
- next() - Method in class net.sf.tweety.logics.pl.util.RandomSampler
- next() - Method in class net.sf.tweety.logics.pl.util.RandomSatSampler
- next() - Method in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator
- next() - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
Returns the next belief set- next() - Method in class net.sf.tweety.logics.pl.util.TextfileIterator
- next() - Method in class net.sf.tweety.preferences.update.UpdateStream
- next(int, int, int, double) - Static method in class net.sf.tweety.arg.aspic.util.RandomAspicArgumentationTheoryGenerator
Generates a random ASPIC argumentation theory withnumPropositions
andnumFormulas
formulas (inference rules).- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.Agent
Determines the next action of this agent wrt.- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.DummyLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.ProbabilisticLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.RandomLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.lotteries.UtilityBasedLotteryAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.ArguingAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.CautiousArgumentationAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.OvercautiousArgumentationAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.SasAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.dialogues.structured.TruthfulArgumentationAgent
- next(Collection<? extends Perceivable>) - Method in class net.sf.tweety.agents.DummyAgent
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
- next(Argument) - Method in interface net.sf.tweety.arg.dung.util.DungTheoryGenerator
Generates a new Dung theory where the given argument is enforced to be in the grounded extension- next(Argument) - Method in class net.sf.tweety.arg.dung.util.EnumeratingDungTheoryGenerator
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.FileDungTheoryGenerator
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.IsoSafeEnumeratingDungTheoryGenerator
- next(Argument) - Method in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
- nextBestStep(Matrix, Matrix, Matrix, List<Variable>) - Method in class net.sf.tweety.math.opt.solver.BfgsSolver
- nextIndex() - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator
Returns the index of the next element.- nextLevel(Collection<Collection<T>>, int) - Method in class net.sf.tweety.machinelearning.assoc.AprioriMiner
Generates all sets of cardinalitycardinality
s.t.- NicePossibleWorld - Class in net.sf.tweety.logics.pl.semantics
Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.- NicePossibleWorld(Collection<Proposition>, Collection<Proposition>) - Constructor for class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.- NicePossibleWorld(Collection<Proposition>, Collection<Proposition>, Comparator<Pair<Proposition, Boolean>>) - Constructor for class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
Ctor: Generates the possible world using the given set of true propositions and generated a representation of the possible world using the given signature.- nixon() - Method in class net.sf.tweety.arg.delp.TestQueries
- Nixon1() - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
- Nixon2() - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
- Nixon3() - Static method in class net.sf.tweety.logics.mln.examples.MlnExample2
- NLPNot - Class in net.sf.tweety.lp.nlp.syntax
A default negation of a first order formula, nested logic programs only allow not quantified formulas.- NLPNot(FolFormula) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPNot
Ctor: Creates a new default not for nested logic programs by using the given FOL formula as inner formula.- NLPProgram - Class in net.sf.tweety.lp.nlp.syntax
A nested logic program- NLPProgram() - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPProgram
- NLPRule - Class in net.sf.tweety.lp.nlp.syntax
A rule of a nested logic program.- NLPRule() - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(FolFormula) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(FolFormula, Collection<FolFormula>) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(FolFormula, FolFormula) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRule(NLPRule) - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRule
- NLPRuleTest - Class in net.sf.tweety.lp.nlp.syntax
- NLPRuleTest() - Constructor for class net.sf.tweety.lp.nlp.syntax.NLPRuleTest
- NO - net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
- NO_OPERATION - Static variable in interface net.sf.tweety.agents.Executable
This constant represents the default null operation.- noArgs() - Method in class net.sf.tweety.arg.delp.TestDeLP
- noBatch() - Method in class net.sf.tweety.arg.delp.TestDeLP
- Node - Interface in net.sf.tweety.graphs
- Node - Interface in net.sf.tweety.lp.asp.parser
- Node(String) - Constructor for class net.sf.tweety.arg.adf.parser.KPPADFFormatParser.Node
- node_created - Variable in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- nodeA - Variable in class net.sf.tweety.graphs.Edge
The first node of this edge.- nodeArity() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- nodeB - Variable in class net.sf.tweety.graphs.Edge
The second node of this edge.- nodeCreated() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- nodes - Variable in class net.sf.tweety.graphs.DefaultGraph
The set of nodes- nodes - Variable in class net.sf.tweety.graphs.orders.Order
A bijection between objects and nodes in the defaultGraph.- nodes - Variable in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
- noFiles() - Method in class net.sf.tweety.arg.delp.TestDeLP
- nominator - Variable in class net.sf.tweety.math.term.Fraction
The nominator of the fraction.- NON_TRIVIAL - net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity.ActSetType
- NONATTACKEDEQUIVALENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
The NONATTACKEDEQUIVALENCE postulate- NonDifferentiableException - Exception in net.sf.tweety.math
This exception is thrown when a non-differentiable term is attempted to be differentiated.- NonDifferentiableException() - Constructor for exception net.sf.tweety.math.NonDifferentiableException
Creates a new NonDifferentiableException.- NonDifferentiableException(String) - Constructor for exception net.sf.tweety.math.NonDifferentiableException
Creates a new NonDifferentiableException.- noQuery() - Method in class net.sf.tweety.arg.delp.TestDeLP
- norm - Variable in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure
The norm used for measuring the distances.- norm - Variable in class net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
The norm used for distance measurement between probabilistic extensions.- norm - Variable in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
The norm used to measure the difference of the probabilities of each ground instance for a single formula.- norm - Variable in class net.sf.tweety.logics.pcl.analysis.MinimalViolationInconsistencyMeasure
The norm.- norm - Variable in class net.sf.tweety.logics.pcl.analysis.MinimumViolationMachineShop
The norm.- norm - Variable in class net.sf.tweety.logics.pcl.reasoner.GeneralizedMeReasoner
The norm.- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.EntropyNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.MaximumNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.PNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
- norm(Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
- norm(ProbabilityFunction<T>) - Method in class net.sf.tweety.math.norm.EntropyNorm
- norm(T) - Method in interface net.sf.tweety.math.norm.Norm
Returns the norm of the given object- Norm<T> - Interface in net.sf.tweety.math.norm
A norm for vector spaces.- NORMALIZATION - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
The NORMALIZATION postulate- normalize() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
Normalizes this OCF, i.e.- normalize() - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
Normalizes this OCF, i.e.- normalize() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
Normalizes this probability function to have mass 1.- normalize(double[], double) - Static method in class net.sf.tweety.commons.util.VectorTools
Normalizes the given vector such that the sum of the elements equals "sum"- normalize(List<Double>) - Static method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
Normalizes the given list of probabilities, i.e.- normalize(List<Double>) - Static method in class net.sf.tweety.math.probability.ProbabilityFunction
Normalizes the given list of probabilities, i.e.- normalized - Variable in class net.sf.tweety.logics.pcl.analysis.MeanDistanceCulpabilityMeasure
Whether this measure uses the normalized mindev measure.- NormalizedDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].- NormalizedDistanceMinimizationInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure
- NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class models a normalized approximation from below to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].- NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.NormalizedLowerApproxDistanceMinimizationInconsistencyMeasure
- NormalizedMicInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class models the normalized MI^C inconsistency measure, see [PhD thesis, Thimm].- NormalizedMicInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.NormalizedMicInconsistencyMeasure
Creates a new inconsistency measure with the given consistency tester- NormalizedMiInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class models the normalized MI inconsistency measure, see [PhD thesis, Thimm].- NormalizedMiInconsistencyMeasure(MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.NormalizedMiInconsistencyMeasure
Creates a new inconsistency measure with the given consistency tester- NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class models a normalized approximation from above to the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], see [PhD thesis, Thimm].- NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.NormalizedUpperApproxDistanceMinimizationInconsistencyMeasure
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.EntropyNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.MaximumNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.PNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
- normTerm(Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
- normTerm(Vector<Term>) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
Returns the norm as a term of the given terms- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.AggregatingNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.EntropyNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
- normTerm(Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
- normTerm(Term[]) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
Returns the norm as a term of the given terms- NOT_COMPARABLE - net.sf.tweety.arg.delp.semantics.ComparisonCriterion.Result
- notApplicableInstances - Variable in class net.sf.tweety.commons.postulates.PostulateEvaluationReport
the instances that are not applicable for the given postulate (thus also satisfy the postulate)- notifyActionPerformed(ActionEvent) - Method in class net.sf.tweety.agents.AbstractProtocol
Notifies every listener about the given event.- notifyTerminated() - Method in class net.sf.tweety.agents.AbstractProtocol
Notifies every listener that this protocol has terminated.- ntActSets(Set<ArgumentCompletion>) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity
Computes the activation sets of all given argument completions- ntActSets(ArgumentCompletion) - Method in class net.sf.tweety.arg.delp.semantics.GeneralizedSpecificity
Computes the activation sets of the given argument completion.- number - Variable in class net.sf.tweety.lp.asp.parser.ASTNumber
- number(String) - Method in class net.sf.tweety.lp.asp.parser.ASTNumber
- Number() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
- NUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.- NUMBER - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.- NUMBER_OF_ITERATIONS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
- NUMBER_OF_ITERATIONS - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
- NUMBER_OF_TRIALS - Static variable in class net.sf.tweety.arg.prob.reasoner.ProbabilisticRankingReasoner
Number of trials for the used monte carlo search (this is a factor multiplied with the number of arguments of the actual framework)- numberOfArguments - Variable in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters
The number of arguments to be created in a theory.- numberOfConstants() - Method in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
Returns the number of constants assigned by this assignment, i.e.- numberOfEvents - Variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
The current number of events.- numberOfGroundSatisfactions(FolFormula, HerbrandInterpretation, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
Computes the number of instantiations of the formula, wrt.- numberOfIterations - Variable in class net.sf.tweety.logics.mln.reasoner.IteratingMlnReasoner
The number of iterations.- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Implication
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Negation
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.PlFormula
Returns the number of occurrences of the given proposition within this formula- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.Proposition
- numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
- numberOfPopulations - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
The number of populations.- numberOfPopulations - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
The number of populations.- numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
- numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest2
- numberOfRunsEach - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
- numberOfSteps - Variable in class net.sf.tweety.agents.SynchronousProtocol
This attribute indicates the number of steps to be performed until termination of this protocol.- numberOfTrials - Variable in class net.sf.tweety.arg.prob.reasoner.MonteCarloPafReasoner
The number of runs of the Monte Carlo simulation.- NumberSet<S extends java.lang.Number> - Interface in net.sf.tweety.math
This empty interface is only for the Interval- and IntervalSet-classes- NumberTerm - Class in net.sf.tweety.logics.commons.syntax
This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.- NumberTerm(int) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
Ctor: Creates a new NumberTerm, the sort "Thing" is used.- NumberTerm(int, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
Ctor: Creates a new NumberTerm using the sort and the value given as parameter.- NumberTerm(String) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
Ctor: Creates a new NumberTerm, the sort "Thing" is used.- NumberTerm(String, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
Ctor: Creates a new NumberTerm using the sort and the value given as parameter.- NumberTerm(NumberTerm) - Constructor for class net.sf.tweety.logics.commons.syntax.NumberTerm
Copy-Ctor: Creates a deep copy of the given NumberTerm- numComponents - Variable in class net.sf.tweety.arg.dung.util.PodlaszewskiCaminadaDungTheoryGenerator
The number of components in the generated frameworks.- numConditionals - Variable in class net.sf.tweety.logics.cl.reasoner.SimpleCReasoner
The number of conditionals in the given knowledge base.- NumericalArgumentRanking - Class in net.sf.tweety.arg.dung.semantics
This class provides a acceptability interpretation of arguments by assigning them real values where larger values indicate more acceptability.- NumericalArgumentRanking() - Constructor for class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
Creates a new empty argument ranking- NumericalArgumentRanking(Collection<Argument>, double) - Constructor for class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
Creates a new argument ranking.- numFalsifiedInstances(HerbrandInterpretation, RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
Returns the number of instances of "rc" that are falsified by the given interpretation.- numFormulas - Variable in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
The number of formulas encountered.- numFormulas - Variable in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
The number of formulas encountered.- numMaxConsistentFormulas(Collection<Collection<S>>) - Method in class net.sf.tweety.logics.commons.analysis.MaInconsistencyMeasure
Computes the number of maximal consistent subsets by computing minimal hitting sets from minimal inconsistent sets.- numOfAttackers(DungTheory, Argument, Collection<Argument>) - Method in class net.sf.tweety.arg.rankings.reasoner.GrossiModgilRankingReasoner
Determines the number of attackers from x to y.- numOfPositiveTests - Variable in class net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner
- numVerifiedInstances(HerbrandInterpretation, RelationalConditional) - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
Returns the number of instances of "rc" that are verified by the given interpretation.
All Classes All Packages