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

N

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(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
 
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.
NaiveQbfReasoner - Class in net.sf.tweety.logics.qbf.reasoner
Naive classical inference for quantified boolean formulas (checks all interpretations for satisfiability).
NaiveQbfReasoner() - Constructor for class net.sf.tweety.logics.qbf.reasoner.NaiveQbfReasoner
 
NaiveReasoner - Class in net.sf.tweety.arg.adf.reasoner
 
NaiveReasoner - Class in net.sf.tweety.arg.dung.reasoner
Reasoner for naive extensions.
NaiveReasoner() - Constructor for class net.sf.tweety.arg.dung.reasoner.NaiveReasoner
 
NaiveReasoner(IncrementalSatSolver) - Constructor for class net.sf.tweety.arg.adf.reasoner.NaiveReasoner
 
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.lp.asp.parser.ASTLiteral
 
name - Variable in class net.sf.tweety.lp.asp.parser.ASTString
 
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.
NativeLingelingSolver - Class in net.sf.tweety.arg.adf.sat
Experimental lingeling binding
NativeLingelingSolver() - Constructor for class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
NativeMinisatSolver - Class in net.sf.tweety.arg.adf.sat
 
NativeMinisatSolver() - Constructor for class net.sf.tweety.arg.adf.sat.NativeMinisatSolver
 
NativePicosatSolver - Class in net.sf.tweety.arg.adf.sat
 
NativePicosatSolver() - Constructor for class net.sf.tweety.arg.adf.sat.NativePicosatSolver
 
NativeShell - Class in net.sf.tweety.commons.util
Default shell
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.
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
 
NecessityArgumentation - Class in net.sf.tweety.arg.bipolar.examples
 
NecessityArgumentation() - Constructor for class net.sf.tweety.arg.bipolar.examples.NecessityArgumentation
 
NecessityArgumentationFramework - Class in net.sf.tweety.arg.bipolar.syntax
This class implements a bipolar abstract argumentation framework with necessities.
NecessityArgumentationFramework() - Constructor for class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
Default constructor; initializes empty sets of arguments, attacks and supports
NecessityArgumentationFramework(DeductiveArgumentationFramework) - Constructor for class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
creates a necessity argumentation framework from the given deductive argumentation framework
NecessityArgumentationFramework(EvidentialArgumentationFramework) - Constructor for class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework
creates a necessity argumentation framework from the given evidential argumentation framework
NecessityArgumentationTest - Class in net.sf.tweety.arg.bipolar
 
NecessityArgumentationTest() - Constructor for class net.sf.tweety.arg.bipolar.NecessityArgumentationTest
 
necessityToEvidential() - Method in class net.sf.tweety.arg.bipolar.TranslationTest
 
necessityToEvidentialToNecessity() - Method in class net.sf.tweety.arg.bipolar.TranslationTest
 
neg() - Method in class net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition.Builder
 
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
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<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.acc
 
NegationAcceptanceCondition(AcceptanceCondition) - Constructor for class net.sf.tweety.arg.adf.syntax.acc.NegationAcceptanceCondition
 
NegationTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
 
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.cli - package net.sf.tweety.arg.adf.cli
 
net.sf.tweety.arg.adf.parser.test - package net.sf.tweety.arg.adf.parser.test
 
net.sf.tweety.arg.adf.reasoner - package net.sf.tweety.arg.adf.reasoner
 
net.sf.tweety.arg.adf.reasoner.ordering - package net.sf.tweety.arg.adf.reasoner.ordering
 
net.sf.tweety.arg.adf.reasoner.sat - package net.sf.tweety.arg.adf.reasoner.sat
 
net.sf.tweety.arg.adf.reasoner.sat.encodings - package net.sf.tweety.arg.adf.reasoner.sat.encodings
 
net.sf.tweety.arg.adf.reasoner.sat.generator - package net.sf.tweety.arg.adf.reasoner.sat.generator
 
net.sf.tweety.arg.adf.reasoner.sat.processor - package net.sf.tweety.arg.adf.reasoner.sat.processor
 
net.sf.tweety.arg.adf.reasoner.sat.verifier - package net.sf.tweety.arg.adf.reasoner.sat.verifier
 
net.sf.tweety.arg.adf.sat - package net.sf.tweety.arg.adf.sat
 
net.sf.tweety.arg.adf.semantics.interpretation - package net.sf.tweety.arg.adf.semantics.interpretation
 
net.sf.tweety.arg.adf.semantics.link - package net.sf.tweety.arg.adf.semantics.link
 
net.sf.tweety.arg.adf.semantics.test - package net.sf.tweety.arg.adf.semantics.test
 
net.sf.tweety.arg.adf.syntax.acc - package net.sf.tweety.arg.adf.syntax.acc
 
net.sf.tweety.arg.adf.syntax.adf - package net.sf.tweety.arg.adf.syntax.adf
 
net.sf.tweety.arg.adf.syntax.test - package net.sf.tweety.arg.adf.syntax.test
 
net.sf.tweety.arg.adf.transform - package net.sf.tweety.arg.adf.transform
 
net.sf.tweety.arg.adf.transform.processor - package net.sf.tweety.arg.adf.transform.processor
 
net.sf.tweety.arg.adf.util.test - package net.sf.tweety.arg.adf.util.test
 
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.bipolar.examples - package net.sf.tweety.arg.bipolar.examples
 
net.sf.tweety.arg.bipolar.reasoner.deductive - package net.sf.tweety.arg.bipolar.reasoner.deductive
 
net.sf.tweety.arg.bipolar.reasoner.evidential - package net.sf.tweety.arg.bipolar.reasoner.evidential
 
net.sf.tweety.arg.bipolar.reasoner.necessity - package net.sf.tweety.arg.bipolar.reasoner.necessity
 
net.sf.tweety.arg.bipolar.syntax - package net.sf.tweety.arg.bipolar.syntax
 
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.analysis - package net.sf.tweety.arg.dung.analysis
 
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.learning - package net.sf.tweety.arg.dung.learning
 
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.rankings.semantics - package net.sf.tweety.arg.rankings.semantics
 
net.sf.tweety.arg.rankings.util - package net.sf.tweety.arg.rankings.util
 
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.bpm.syntax - package net.sf.tweety.logics.bpm.syntax
 
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.qbf.examples - package net.sf.tweety.logics.qbf.examples
 
net.sf.tweety.logics.qbf.parser - package net.sf.tweety.logics.qbf.parser
 
net.sf.tweety.logics.qbf.reasoner - package net.sf.tweety.logics.qbf.reasoner
 
net.sf.tweety.logics.qbf.semantics - package net.sf.tweety.logics.qbf.semantics
 
net.sf.tweety.logics.qbf.syntax - package net.sf.tweety.logics.qbf.syntax
 
net.sf.tweety.logics.qbf.test - package net.sf.tweety.logics.qbf.test
 
net.sf.tweety.logics.qbf.writer - package net.sf.tweety.logics.qbf.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.examples - package net.sf.tweety.math.examples
 
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.problem - package net.sf.tweety.math.opt.problem
 
net.sf.tweety.math.opt.rootFinder - package net.sf.tweety.math.opt.rootFinder
 
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
 
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.rootFinder
This class implements the Newton method for finding zeros of a function.
NewtonRootFinder() - Constructor for class net.sf.tweety.math.opt.rootFinder.NewtonRootFinder
Creates a new Newton root finder for the given starting point and the given function
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.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.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.adf.semantics.interpretation.InterpretationIterator
 
next() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.TwoValuedInterpretationIterator
 
next() - Method in class net.sf.tweety.arg.adf.util.ExcludeSubinterpretationsIterator
 
next() - Method in class net.sf.tweety.arg.adf.util.ExcludeTwoValuedSubinterpretationsIterator
 
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 with numPropositions and numFormulas 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
 
nextIndex() - Method in class net.sf.tweety.logics.pl.util.CanonicalIterator
Returns the index of the next element.
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
 
nodeArity() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
 
nodeCreated() - Method in class net.sf.tweety.lp.asp.parser.JJTASPCore2ParserState
 
noFiles() - Method in class net.sf.tweety.arg.delp.TestDeLP
 
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.
None - net.sf.tweety.logics.bpm.syntax.EventType
 
nonGroundedCountInconsistencyMeasure() - Method in class net.sf.tweety.arg.dung.ExtensionInconsistencyMeasure
 
NonGroundedCountInconsistencyMeasure<T extends DungTheory> - Class in net.sf.tweety.arg.dung.analysis
 
NonGroundedCountInconsistencyMeasure() - Constructor for class net.sf.tweety.arg.dung.analysis.NonGroundedCountInconsistencyMeasure
 
noQuery() - Method in class net.sf.tweety.arg.delp.TestDeLP
 
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.
NormalizedDistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class models the normalized distance minimization inconsistency measure, see [PhD thesis, Thimm].
NormalizedDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder) - Constructor for class net.sf.tweety.logics.pcl.analysis.NormalizedDistanceMinimizationInconsistencyMeasure
 
NormalizedDistanceMinimizationInconsistencyMeasure(OptimizationRootFinder, int) - 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(OptimizationRootFinder) - 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(OptimizationRootFinder) - 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
 
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.rankings.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.
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
 
numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
 
numberOfOccurrences(Proposition) - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
 
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
 
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
numDecided() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
 
numDecided() - Method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
Returns the number of decided arguments, i.e.
numDecided() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SingleValuedInterpretation
 
NumericalArgumentRanking - Class in net.sf.tweety.arg.rankings.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.rankings.semantics.NumericalArgumentRanking
Creates a new empty argument ranking
NumericalArgumentRanking(Collection<Argument>, double) - Constructor for class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
Creates a new argument ranking.
NumericalArgumentRanking.SortingType - Enum in net.sf.tweety.arg.rankings.semantics
Possible sorting types for the numerical values.
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.
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.
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