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

D

d - Static variable in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
D3 - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DalalDistance - Class in net.sf.tweety.logics.pl.analysis
This class models the dalal distance measure between possible worlds, see e.g.
DalalDistance() - Constructor for class net.sf.tweety.logics.pl.analysis.DalalDistance
 
DALALHIT - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
DALALMAX - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
DALALSUM - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
db1 - Variable in class net.sf.tweety.machinelearning.assoc.AprioriTest
 
db2 - Variable in class net.sf.tweety.machinelearning.assoc.AprioriTest
 
DC - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
 
DC_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DC_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DDPCounterexampleTest() - Method in class net.sf.tweety.arg.rankings.RankingReasonerTest
 
DE - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
 
DE_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DE_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DEBUG - net.sf.tweety.commons.TweetyConfiguration.LogLevel
 
debugStream - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
Debug output.
debugStream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
 
debugStream - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
Debug output.
debugStream - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
Debug output.
debugStream - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
 
debugStream - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
Debug output.
decrease(ProbabilityFunction<Byte>, double) - Method in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
Adapts the given probability function by decreasing the probabilities of NEG, CONJ and DISJ.
Deduction<T extends Formula> - Class in net.sf.tweety.arg.aba.syntax
An argument derived from an ABA theory.
Deduction(String) - Constructor for class net.sf.tweety.arg.aba.syntax.Deduction
Constructs a new deduction.
Deduction(String, AbaRule<T>) - Constructor for class net.sf.tweety.arg.aba.syntax.Deduction
Constructs a new deduction.
Deduction(String, AbaRule<T>, Collection<Deduction<T>>) - Constructor for class net.sf.tweety.arg.aba.syntax.Deduction
Constructs a new deduction.
DeductionTest1() - Method in class net.sf.tweety.arg.aba.AbaTest
 
DeductionTest2() - Method in class net.sf.tweety.arg.aba.AbaTest
 
DeductiveArgument - Class in net.sf.tweety.arg.deductive.semantics
Instances of this class represent arguments in the sense of Definition 3.1 in

Philippe Besnard and Anthony Hunter.
DeductiveArgument(Collection<? extends PlFormula>, PlFormula) - Constructor for class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
Creates a new deductive argument with the given support and claim.
DeductiveArgumentNode - Class in net.sf.tweety.arg.deductive.semantics
Extends a deductive argument by a unique identifier.
DeductiveArgumentNode(Collection<? extends PlFormula>, PlFormula) - Constructor for class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
Creates a new deductive argument node with the given support and claim (a unique ID is generated)
DeductiveArgumentNode(DeductiveArgument) - Constructor for class net.sf.tweety.arg.deductive.semantics.DeductiveArgumentNode
Creates a new deductive argument node from the given deductive argument (a unique ID is generated)
DeductiveEnvironment - Class in net.sf.tweety.agents.dialogues.oppmodels
This class models the environment for agents in a game of deductive argumentation.
DeductiveEnvironment(PlBeliefSet) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
Creates a new grounded environment.
DeductiveExample - Class in net.sf.tweety.arg.deductive.examples
For testing purposes.
DeductiveExample() - Constructor for class net.sf.tweety.arg.deductive.examples.DeductiveExample
 
DeductiveKnowledgeBase - Class in net.sf.tweety.arg.deductive.syntax
Instances of this class represent deductive knowledge bases, i.e.
DeductiveKnowledgeBase() - Constructor for class net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase
Creates a new (empty) knowledge base.
DeductiveKnowledgeBase(Collection<? extends PlFormula>) - Constructor for class net.sf.tweety.arg.deductive.syntax.DeductiveKnowledgeBase
Creates a new knowledge base with the given set of formulas.
DEFAULT - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants
Lexical state.
DEFAULT - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
 
DEFAULT - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants
Lexical state.
DEFAULT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
Lexical state.
DEFAULT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
Lexical state.
DEFAULT - Static variable in interface net.sf.tweety.preferences.io.POParserConstants
Lexical state.
DEFAULT - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
Lexical state.
DEFAULT_EXECUTOR_SERVICE - Static variable in class net.sf.tweety.arg.adf.reasoner.test.ReasonerBenchmark
 
DEFAULT_LINUX_LIB - Static variable in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
DEFAULT_MAXIMAL_FORMULA_LENGTH - Static variable in class net.sf.tweety.commons.FormulaSampler
This constant specifies the default length for sampled formulas.
DEFAULT_MAXIMUM_BELIEFBASE_LENGTH - Static variable in class net.sf.tweety.commons.BeliefSetSampler
This constant specifies the default maximum length for sampled belief bases.
DEFAULT_MINIMUM_BELIEFBASE_LENGTH - Static variable in class net.sf.tweety.commons.BeliefSetSampler
This constant specifies the default minimum length for sampled belief bases.
DEFAULT_SOLUTION_EXTENSION - Static variable in class net.sf.tweety.arg.adf.util.TestUtil
 
DEFAULT_SPLIT - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
regexes for parsing a default and the justifications
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.arg.rankings.RankingReasonerTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.arg.rankings.RankingsTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.dl.test.DlParserTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.dl.test.DlReasonerTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.fol.test.FolParserTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.MleanCoPTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.MlParserTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.MlReasonerTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.ml.SPASSTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.pl.test.PlParserTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.qbf.test.QbfTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.qbf.test.QCIRTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.logics.qbf.test.QDIMACSTest
 
DEFAULT_TIMEOUT - Static variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
 
DEFAULT_WIN_LIB - Static variable in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
DefaultBaseExpansionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
This class implements the default base expansion operator, ie.
DefaultBaseExpansionOperator() - Constructor for class net.sf.tweety.beliefdynamics.DefaultBaseExpansionOperator
 
DefaultBehavior() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision.DefaultBehavior
 
DefaultCompatibilityMeasure - Class in net.sf.tweety.logics.mln.analysis
This class represents the default compatibility measure that uses a coherence measure.
DefaultCompatibilityMeasure(AbstractCoherenceMeasure) - Constructor for class net.sf.tweety.logics.mln.analysis.DefaultCompatibilityMeasure
Creates a new compatibility measure.
DefaultCondensedProbabilityDistributionWriter - Class in net.sf.tweety.logics.rpcl.writers
This class implements a simple writer for writing condensed probability distributions.
DefaultCondensedProbabilityDistributionWriter() - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
Creates a new writer.
DefaultCondensedProbabilityDistributionWriter(CondensedProbabilityDistribution) - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultCondensedProbabilityDistributionWriter
Creates a new writer for the given condensed probability distribution.
DefaultDungTheoryGenerator - Class in net.sf.tweety.arg.dung.util
Implements a customizable Dung theory generator.
DefaultDungTheoryGenerator(DungTheoryGenerationParameters) - Constructor for class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
Creates a new generator with the given parameters.
defaultEnumerator - Static variable in class net.sf.tweety.logics.pl.sat.PlMusEnumerator
The default MUS enumerator.
DefaultFileHandler() - Constructor for class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.DefaultFileHandler
 
DefaultFileHandler() - Constructor for class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionComparePresenter.DefaultFileHandler
 
DefaultFormulaStream<S extends Formula> - Class in net.sf.tweety.commons.streams
This class models a default stream on the formulas of a given collection.
DefaultFormulaStream(Collection<S>) - Constructor for class net.sf.tweety.commons.streams.DefaultFormulaStream
Creates a new default stream with the given formulas that ends after all formulas have been streamed.
DefaultFormulaStream(Collection<S>, boolean) - Constructor for class net.sf.tweety.commons.streams.DefaultFormulaStream
Creates a new default stream with the given formulas.
defaultGeneralSolver - Static variable in class net.sf.tweety.math.opt.Solver
The default solver for non-linear (general) optimization problems.
defaultGraph - Variable in class net.sf.tweety.graphs.orders.Order
The directed defaultGraph that represents the order
DefaultGraph<T extends Node> - Class in net.sf.tweety.graphs
Instance of this class represent graphs with nodes of type T
DefaultGraph() - Constructor for class net.sf.tweety.graphs.DefaultGraph
Creates an empty graph.
defaultification(Program) - Static method in class net.sf.tweety.lp.asp.syntax.Program
Creates the defaultification p_d of a given program p.
DefaultificationTest - Class in net.sf.tweety.lp.asp.syntax
 
DefaultificationTest(String) - Constructor for class net.sf.tweety.lp.asp.syntax.DefaultificationTest
Create the test case
DefaultInconsistencyListener - Class in net.sf.tweety.logics.commons.analysis.streams
A simple implementation of an inconsistency listener that simply prints out each event to standard output.
DefaultInconsistencyListener() - Constructor for class net.sf.tweety.logics.commons.analysis.streams.DefaultInconsistencyListener
 
defaultIntegerLinearSolver - Static variable in class net.sf.tweety.math.opt.Solver
The default solver for integer linear problems
defaultLexState - Variable in class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
 
defaultLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserTokenManager
 
defaultLexState - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserTokenManager
 
defaultLexState - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTokenManager
 
defaultLexState - Variable in class net.sf.tweety.preferences.io.POParserTokenManager
 
defaultLexState - Variable in class net.sf.tweety.preferences.io.UPParserTokenManager
 
defaultLinearSolver - Static variable in class net.sf.tweety.math.opt.Solver
The default solver for linear optimization problems.
DefaultMeReasoner - Class in net.sf.tweety.logics.pcl.reasoner
This class implements a maximum entropy reasoner for probabilistic conditional logic.
DefaultMeReasoner() - Constructor for class net.sf.tweety.logics.pcl.reasoner.DefaultMeReasoner
 
DefaultMultipleBaseExpansionOperator<T extends Formula> - Class in net.sf.tweety.beliefdynamics
This class implements the default multiple base expansion operator, ie.
DefaultMultipleBaseExpansionOperator() - Constructor for class net.sf.tweety.beliefdynamics.DefaultMultipleBaseExpansionOperator
 
DefaultNegation - Class in net.sf.tweety.lp.asp.syntax
This class represents a default negated literal, i.e.
DefaultNegation - Class in net.sf.tweety.math.func.fuzzy
Implements the default fuzzy negation x -> x-1
DefaultNegation() - Constructor for class net.sf.tweety.math.func.fuzzy.DefaultNegation
 
DefaultNegation(ASPBodyElement) - Constructor for class net.sf.tweety.lp.asp.syntax.DefaultNegation
Creates new default negation with the given literal.
DefaultObservation - Class in net.sf.tweety.machinelearning
A default observation is a vector of double values.
DefaultObservation() - Constructor for class net.sf.tweety.machinelearning.DefaultObservation
 
DefaultProbabilityDistributionWriter - Class in net.sf.tweety.logics.rpcl.writers
This class implements a simple writer for writing probability distributions.
DefaultProbabilityDistributionWriter() - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultProbabilityDistributionWriter
Creates a new writer.
DefaultProbabilityDistributionWriter(RpclProbabilityDistribution<?>) - Constructor for class net.sf.tweety.logics.rpcl.writers.DefaultProbabilityDistributionWriter
Creates a new writer for the given probability distribution.
DefaultProcessTree - Class in net.sf.tweety.logics.rdl.semantics
Computes the extensions of a default theory
DefaultProcessTree(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultProcessTree
constructs a default process tree out of the default theory t
defaultReasoner - Static variable in class net.sf.tweety.logics.fol.reasoner.FolReasoner
Empty default reasoner
defaultReasoner - Static variable in class net.sf.tweety.logics.ml.reasoner.AbstractMlReasoner
Empty default prover
DefaultRule - Class in net.sf.tweety.logics.rdl.syntax
Models a default rule in Reiter's default logic, see [R.
DefaultRule() - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule
an empty Default Rule
DefaultRule(FolFormula, Collection<FolFormula>, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule
Creates a new DefaultRule
DefaultRule(FolFormula, FolFormula, FolFormula) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultRule
Creates a new DefaultRule
defaultRuleTest() - Static method in class net.sf.tweety.logics.rdl.examples.RdlExample
 
defaults - Variable in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
the sequence of defaults
defaults - Variable in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
The set of default rules
defaultSatSolver - Static variable in class net.sf.tweety.logics.pl.sat.SatSolver
The default SAT solver.
DefaultSequence - Class in net.sf.tweety.logics.rdl.semantics
sequence of defaults
DefaultSequence(DefaultSequence, DefaultRule) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence
constructs a sequence by appending d to ds
DefaultSequence(DefaultTheory) - Constructor for class net.sf.tweety.logics.rdl.semantics.DefaultSequence
constructs an empty sequence of defaults of the default theory dt
DefaultStreamBasedInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis.streams
Implements a stream-based inconsistency measure on a given class of inconsistency measurement processes.
DefaultStreamBasedInconsistencyMeasure(Class<? extends InconsistencyMeasurementProcess<S>>) - Constructor for class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
Creates a new inconsistency measure based on the given process class.
DefaultStreamBasedInconsistencyMeasure(Class<? extends InconsistencyMeasurementProcess<S>>, Map<String, Object>) - Constructor for class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
Creates a new inconsistency measure based on the given process class and the given configuration options for that process.
DefaultSubsetIterator<T> - Class in net.sf.tweety.commons.util
Iterates over all subsets of a given sets.
DefaultSubsetIterator(Set<T>) - Constructor for class net.sf.tweety.commons.util.DefaultSubsetIterator
Creates a new subset iterator for the given set.
DefaultTheory - Class in net.sf.tweety.logics.rdl.syntax
Models a default theory in Reiter's default logic, see [R.
DefaultTheory() - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultTheory
constructs empty default theory
DefaultTheory(FolBeliefSet, Collection<DefaultRule>) - Constructor for class net.sf.tweety.logics.rdl.syntax.DefaultTheory
constructs a default theory from a knowledge base and a set of defaults
defaultValue - Variable in class net.sf.tweety.machinelearning.TrainingParameter
The default value of the parameter.
DefeasibleInferenceRule<T extends Invertable> - Class in net.sf.tweety.arg.aspic.syntax
 
DefeasibleInferenceRule() - Constructor for class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule
Constructs an empty instance
DefeasibleInferenceRule(T, Collection<T>) - Constructor for class net.sf.tweety.arg.aspic.syntax.DefeasibleInferenceRule
Constructs a defeasible inference rule p => c
DefeasibleLogicProgram - Class in net.sf.tweety.arg.delp.syntax
This class models a defeasible logic program (DeLP).
DefeasibleLogicProgram() - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
Default constructor; initializes empty delpFacts, strict and defeasible rules and empty comparison criterion.
DefeasibleLogicProgram(DefeasibleLogicProgram) - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
constructor; initializes this program with the given program
DefeasibleLogicProgram.DelpOptions - Class in net.sf.tweety.arg.delp.syntax
 
defeasibleNotClonable() - Method in class net.sf.tweety.arg.delp.TestRules
 
DefeasibleRule - Class in net.sf.tweety.arg.delp.syntax
This class models a defeasible rule in defeasible logic programming.
DefeasibleRule(FolFormula, Set<FolFormula>) - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleRule
Initializes the defeasible rule with the given parameters
defeasibleRules() - Method in class net.sf.tweety.arg.delp.TestRules
 
Defeat - Class in net.sf.tweety.arg.deductive.semantics.attacks
This attack notion models the defeat relation; A is defeated by B iff claim(B) |- \neg support(A).
Defeat - Class in net.sf.tweety.arg.lp.semantics.attack
This notion of attack models the defeat relation.
Defeat() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.Defeat
Private constructor.
Defeat() - Constructor for class net.sf.tweety.arg.lp.semantics.attack.Defeat
Private constructor.
DEFEATED - net.sf.tweety.arg.delp.semantics.DialecticalTree.Mark
 
defeatersWhenNull1() - Method in class net.sf.tweety.arg.delp.TestDTree
 
defeatersWhenNull2() - Method in class net.sf.tweety.arg.delp.TestDTree
 
DefeatingRebuttal - Class in net.sf.tweety.arg.deductive.semantics.attacks
This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A).
DefeatingRebuttal() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.DefeatingRebuttal
Private constructor.
defenceStrategy - Variable in class net.sf.tweety.arg.lp.reasoner.ArgumentationReasoner
 
defends(Collection<Assumption<T>>, Assumption<T>) - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
Checks whether a set of arguments defends an argument.
DEFENSEPRECEDENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
The DEFENSEPRECEDENCE postulate
defenseRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
 
defenseRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
 
defenseRelation - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
 
DefinitionalCNFTransform - Class in net.sf.tweety.arg.adf.transform
An implementation of a definitional (resp.
DefinitionalCNFTransform(Function<Argument, Proposition>) - Constructor for class net.sf.tweety.arg.adf.transform.DefinitionalCNFTransform
Constructs a non-optimized version of the definitional (resp.
DefinitionalCNFTransform(Function<Argument, Proposition>, boolean) - Constructor for class net.sf.tweety.arg.adf.transform.DefinitionalCNFTransform
Constructs a possibly optimized version of the definitional (resp.
delegate - Variable in class net.sf.tweety.arg.adf.sat.SimpleIncrementalSatSolver
 
delegate - Variable in class net.sf.tweety.arg.adf.util.CacheSupplier
 
deleteTmp - Variable in class net.sf.tweety.logics.pl.util.SyntacticEnumeratingIterator
if "true" then the temporary folder is cleaned after each sample (it is recommended to set this to "false" to speed up sampling)
DELP_BIRDS - Static variable in class net.sf.tweety.arg.delp.TestArguments
 
DELP_BIRDS - Static variable in class net.sf.tweety.arg.delp.TestDTree
 
DelpAnswer - Class in net.sf.tweety.arg.delp.semantics
Wrapping a generic answer from a reasoner in order to allow UNDECIDED in addition to the traditional YES and NO.
DelpAnswer() - Constructor for class net.sf.tweety.arg.delp.semantics.DelpAnswer
 
DelpAnswer.Type - Enum in net.sf.tweety.arg.delp.semantics
 
DelpArgument - Class in net.sf.tweety.arg.delp.syntax
This class models a DeLP argument which comprises of a set of defeasible rules (the support) and a literal (the conclusion).
DelpArgument(Set<DefeasibleRule>, FolFormula) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpArgument
constructor; initializes this argument with the given parameters
DelpArgument(FolFormula) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpArgument
constructor; initializes the conclusion of this argument with the given literal
DeLPExample - Class in net.sf.tweety.arg.delp.examples
DeLP example code
DeLPExample() - Constructor for class net.sf.tweety.arg.delp.examples.DeLPExample
 
DelpFact - Class in net.sf.tweety.arg.delp.syntax
This class implements a fact in defeasible logic programming which encapsulates a literal.
DelpFact(FolFormula) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpFact
Default constructor; initializes this fact with the given literal
DelpOptions() - Constructor for class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
 
DelpParser - Class in net.sf.tweety.arg.delp.parser
This class implements a parser for defeasible logic programs.
DelpParser() - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
 
DelpParser(InputStream) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
 
DelpParser(InputStream, String) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
 
DelpParser(Reader) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
 
DelpParser(DelpParserTokenManager) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParser
 
DelpParserConstants - Interface in net.sf.tweety.arg.delp.parser
Token literal values and constants.
DelpParserTokenManager - Class in net.sf.tweety.arg.delp.parser
Token Manager.
DelpParserTokenManager(SimpleCharStream) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
 
DelpParserTokenManager(SimpleCharStream, int) - Constructor for class net.sf.tweety.arg.delp.parser.DelpParserTokenManager
 
DelpReasoner - Class in net.sf.tweety.arg.delp.reasoner
This reasoner performs default dialectical reasoning on some given DeLP.
DelpReasoner(ComparisonCriterion) - Constructor for class net.sf.tweety.arg.delp.reasoner.DelpReasoner
Creates a new DelpReasoner for the given delp.
DelpRule - Class in net.sf.tweety.arg.delp.syntax
This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming and captures their common attributes and methods.
DelpRule(FolFormula, Collection<? extends FolFormula>) - Constructor for class net.sf.tweety.arg.delp.syntax.DelpRule
Default constructor; initializes head and body of the rule
DelpService - Class in net.sf.tweety.web.services
Web service for defeasible logic programming.
DelpService() - Constructor for class net.sf.tweety.web.services.DelpService
 
denominator - Variable in class net.sf.tweety.math.term.Fraction
The denominator of the fraction.
DEPENDENT - net.sf.tweety.arg.adf.semantics.LinkType
 
depth - Variable in class net.sf.tweety.machinelearning.GridSearchParameterLearner
The depth of the recursion.
deref(long, int) - Static method in class net.sf.tweety.arg.adf.sat.NativeLingelingSolver
 
derivation - Variable in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
The derivation of this argument structure
Derivation<T extends Rule<?,​?>> - Class in net.sf.tweety.commons.util.rules
This class models a derivation, i.e.
Derivation(List<T>) - Constructor for class net.sf.tweety.commons.util.rules.Derivation
Creates a new derivation with the given sequence of rules.
derive(Variable) - Method in class net.sf.tweety.math.term.AbsoluteValue
 
derive(Variable) - Method in class net.sf.tweety.math.term.Constant
 
derive(Variable) - Method in class net.sf.tweety.math.term.Difference
 
derive(Variable) - Method in class net.sf.tweety.math.term.Exp
 
derive(Variable) - Method in class net.sf.tweety.math.term.Fraction
 
derive(Variable) - Method in class net.sf.tweety.math.term.Logarithm
 
derive(Variable) - Method in class net.sf.tweety.math.term.Maximum
 
derive(Variable) - Method in class net.sf.tweety.math.term.Minimum
 
derive(Variable) - Method in class net.sf.tweety.math.term.Power
 
derive(Variable) - Method in class net.sf.tweety.math.term.Product
 
derive(Variable) - Method in class net.sf.tweety.math.term.Root
 
derive(Variable) - Method in class net.sf.tweety.math.term.Sum
 
derive(Variable) - Method in class net.sf.tweety.math.term.Term
Differentiates the term with respect to the given variable.
derive(Variable) - Method in class net.sf.tweety.math.term.Variable
 
DESCENDING - net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking.SortingType
largest ranking value is ranked first
DescendingNumericalRankingTest() - Method in class net.sf.tweety.arg.rankings.RankingsTest
 
description - Variable in enum net.sf.tweety.arg.dung.parser.FileFormat
The description of the file format.
description - Variable in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
The description of the sub-problem.
description - Variable in enum net.sf.tweety.arg.dung.semantics.Semantics
The description of the semantics.
description - Variable in class net.sf.tweety.plugin.OutputField
 
description - Variable in class net.sf.tweety.plugin.parameter.CommandParameter
The description string for this parameter, e.g.
description() - Method in enum net.sf.tweety.arg.dung.parser.FileFormat
Returns the description of the file format.
description() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
Returns the description of the sub-problem.
description() - Method in enum net.sf.tweety.arg.dung.semantics.Semantics
Returns the description of the semantics.
descriptions - Static variable in class net.sf.tweety.logics.cl.examples.ReasonerExample
 
determineAttackRelations(Collection<AspicArgument<T>>, Comparator<AspicArgument<T>>, RuleFormulaGenerator<T>) - Static method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
Checks for defeats in a list of arguments
DF - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
DfInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class implements the family of "Measures of the Degree of Inconsistency" from [Mu,Liu,Jin, Bell.
DfInconsistencyMeasure(SimpleFunction<double[], Double>, MusEnumerator<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure
Creates a new inconsistency measure.
DfInconsistencyMeasureExample - Class in net.sf.tweety.logics.pl.examples
Example code illustrating the Df inconsistency measure.
DfInconsistencyMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.DfInconsistencyMeasureExample
 
dfs(int, List<Argument>, boolean[], boolean[]) - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
Depth-First-Search to find a cycle in the theory.
DHitInconsistencyMeasure<T extends Interpretation<B,​S>,​B extends BeliefBase,​S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class implements the d-hit inconsistency measure from [Grant, Hunter.
DHitInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class net.sf.tweety.logics.commons.analysis.DHitInconsistencyMeasure
Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
diagonalOnly - Variable in class net.sf.tweety.math.opt.solver.ApacheCommonsCMAESOptimizer
Number of initial iterations, where the covariance matrix remains diagonal.
DialecticalTree - Class in net.sf.tweety.arg.delp.semantics
This class implements a node of a dialectical tree from DeLP.
DialecticalTree(DialecticalTree, DelpArgument) - Constructor for class net.sf.tweety.arg.delp.semantics.DialecticalTree
 
DialecticalTree(DelpArgument) - Constructor for class net.sf.tweety.arg.delp.semantics.DialecticalTree
constructor; initializes this dialectical tree node as a root with given argument
DialecticalTree.Mark - Enum in net.sf.tweety.arg.delp.semantics
 
DialogueTrace<S,​T extends java.util.Collection<S>> - Class in net.sf.tweety.agents.dialogues
Objects of this class represent traces of dialogue in an argumentation game, ie.
DialogueTrace() - Constructor for class net.sf.tweety.agents.dialogues.DialogueTrace
 
Difference - Class in net.sf.tweety.math.term
This class models a difference between two terms.
Difference(Term, Term) - Constructor for class net.sf.tweety.math.term.Difference
Creates a new difference with the given terms.
DimacsParser - Class in net.sf.tweety.logics.pl.parser
Parser a file in Dimacs format into a PlBeliefSet.
DimacsParser() - Constructor for class net.sf.tweety.logics.pl.parser.DimacsParser
 
DirectDefeat - Class in net.sf.tweety.arg.deductive.semantics.attacks
This attack notion models the direct defeat relation; A is defeated by B iff there is c in support(A) with claim(B) |- \neg c.
DirectDefeat() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.DirectDefeat
Private constructor.
DirectedEdge<T extends Node> - Class in net.sf.tweety.graphs
Instances of this class represent directed edges.
DirectedEdge(T, T) - Constructor for class net.sf.tweety.graphs.DirectedEdge
Creates a new directed edge for the given nodes.
DirectGameProtocol - Class in net.sf.tweety.agents.dialogues.lotteries.sim
This class implements a direct protocol for argumentation games.
DirectGameProtocol(MultiAgentSystem<? extends Agent>) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocol
 
DirectGameProtocolGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim
Creates direct game protocols.
DirectGameProtocolGenerator() - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocolGenerator
 
DirectionalAspicReasoner<T extends Invertable> - Class in net.sf.tweety.arg.aspic.reasoner
Computes a restricted AF by only considering relevant arguments to a query.
DirectionalAspicReasoner(AbstractExtensionReasoner) - Constructor for class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner
Creates a new instance
DirectionalAspicReasoner(AbstractExtensionReasoner, double) - Constructor for class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner
Creates a new instance
directionalReasonerTest() - Method in class net.sf.tweety.arg.aspic.AspicTest
 
DirectionalReasonerTest - Class in net.sf.tweety.arg.aspic.examples
Test runtime of module-based vs.
DirectionalReasonerTest() - Constructor for class net.sf.tweety.arg.aspic.examples.DirectionalReasonerTest
 
directsubs - Variable in class net.sf.tweety.arg.aspic.syntax.AspicArgument
The argument's direct children, whose conclusions fit its prerequisites
DirectUndercut - Class in net.sf.tweety.arg.deductive.semantics.attacks
This attack notion models the direct undercut relation; A is defeated by B iff there is c in support(A) with claim(B) == \neg c.
DirectUndercut() - Constructor for class net.sf.tweety.arg.deductive.semantics.attacks.DirectUndercut
Private constructor.
DISABLE_PREAMBLE_ZERO - Variable in class net.sf.tweety.logics.qbf.writer.QdimacsWriter
Removes zero at the end of the problem line (workaround for some solvers).
disable_tracing() - Method in class net.sf.tweety.arg.delp.parser.DelpParser
 
disable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
 
disable_tracing() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
 
disable_tracing() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
Disable tracing.
disable_tracing() - Method in class net.sf.tweety.preferences.io.POParser
 
disable_tracing() - Method in class net.sf.tweety.preferences.io.UPParser
Disable tracing.
disagree(Set<FolFormula>) - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
Checks whether the given set of literals disagree with respect to the strict part of this program.
DiscussionBasedRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner
This class implements the "Discussion-based" argument semantics approach as proposed by [Amgoud, Ben-Naim.
DiscussionBasedRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.DiscussionBasedRankingReasoner
 
DiscussionBurdenExample() - Method in class net.sf.tweety.arg.rankings.RankingReasonerTest
 
DiscussionExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
 
DISJ - Static variable in class net.sf.tweety.logics.pl.util.SyntacticRandomSampler
 
Disjunctable - Interface in net.sf.tweety.logics.commons.syntax.interfaces
Formulas implementing this interface can be connected using OR.
Disjunction - Class in net.sf.tweety.logics.fol.syntax
The classical disjunction of first-order logic.
Disjunction - Class in net.sf.tweety.logics.pl.syntax
This class represents a disjunction in propositional logic.
Disjunction() - Constructor for class net.sf.tweety.logics.fol.syntax.Disjunction
Creates a new (empty) disjunction.
Disjunction() - Constructor for class net.sf.tweety.logics.pl.syntax.Disjunction
Creates a new (empty) disjunction.
Disjunction(Collection<? extends RelationalFormula>) - Constructor for class net.sf.tweety.logics.fol.syntax.Disjunction
Creates a new disjunction with the given inner formulas.
Disjunction(Collection<? extends PlFormula>) - Constructor for class net.sf.tweety.logics.pl.syntax.Disjunction
Creates a new disjunction with the given inner formulas.
Disjunction(RelationalFormula, RelationalFormula) - Constructor for class net.sf.tweety.logics.fol.syntax.Disjunction
Creates a new disjunction with the two given formulae
Disjunction(PlFormula, PlFormula) - Constructor for class net.sf.tweety.logics.pl.syntax.Disjunction
Creates a new disjunction with the two given formulae
Disjunction() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
 
DISJUNCTION() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
 
DisjunctionAcceptanceCondition - Class in net.sf.tweety.arg.adf.syntax
 
DisjunctionAcceptanceCondition(AcceptanceCondition...) - Constructor for class net.sf.tweety.arg.adf.syntax.DisjunctionAcceptanceCondition
 
DisjunctionTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
 
DisjunctionToHead() - Method in class net.sf.tweety.logics.translators.aspfol.ASPFOLTranslatorTest
 
display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
Pretty print of this belief state.
display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
 
display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
 
display() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
 
display() - Method in class net.sf.tweety.agents.sim.SimulationResult
Gives a pretty print of the results.
display(int) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
Aux method for pretty print();
display(int) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
Aux method for pretty print();
displayHelp - Variable in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram.DelpOptions
 
displayHelp() - Method in class net.sf.tweety.arg.delp.TestDeLP
 
dist(SocialMapping<Double>, SocialMapping<Double>, Collection<Argument>) - Method in class net.sf.tweety.arg.social.reasoner.IssReasoner
Returns the maximum-norm distance between the two social mappings
distance - Variable in class net.sf.tweety.logics.commons.analysis.DHitInconsistencyMeasure
The distance used by this measure.
distance - Variable in class net.sf.tweety.logics.commons.analysis.DMaxInconsistencyMeasure
The distance used by this measure.
distance - Variable in class net.sf.tweety.logics.commons.analysis.DSumInconsistencyMeasure
The distance used by this measure.
distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
 
distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.EntropyNorm
 
distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
 
distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.MaximumNorm
 
distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.PNorm
 
distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
 
distance(Vector<Double>, Vector<Double>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
 
distance(PossibleWorld, PossibleWorld) - Method in class net.sf.tweety.logics.pl.analysis.DalalDistance
 
distance(PossibleWorld, PossibleWorld) - Method in class net.sf.tweety.logics.pl.analysis.PossibleWorldDistance
 
distance(PlFormula, PossibleWorld) - Method in class net.sf.tweety.logics.pl.analysis.PossibleWorldDistance
 
distance(ProbabilityFunction<T>, ProbabilityFunction<T>) - Method in class net.sf.tweety.math.norm.EntropyNorm
 
distance(S, T) - Method in class net.sf.tweety.commons.analysis.DrasticDistance
 
distance(S, T) - Method in interface net.sf.tweety.commons.analysis.InterpretationDistance
Measures the distance between a formula and some interpretation by taking the minimal distance from all models of the formula to the given interpretation.
distance(T, T) - Method in class net.sf.tweety.commons.analysis.DrasticDistance
 
distance(T, T) - Method in interface net.sf.tweety.commons.analysis.InterpretationDistance
Measures the distance between the two given interpretations.
distance(T, T) - Method in interface net.sf.tweety.math.norm.Norm
The distance between the two object, i.e.
DistanceMinimizationInconsistencyMeasure - Class in net.sf.tweety.logics.pcl.analysis
This class models the distance minimization inconsistency measure as proposed in [Thimm,UAI,2009], extended by the use of different p-norms.
DistanceMinimizationInconsistencyMeasure() - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
Creates a new measure for p=1.
DistanceMinimizationInconsistencyMeasure(int) - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationInconsistencyMeasure
Creates a new measure for the given p.
DistanceMinimizationMachineShop - Class in net.sf.tweety.logics.pcl.analysis
This consistency restorer uses the distance minimization inconsistency measure to restore consistency.
DistanceMinimizationMachineShop() - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationMachineShop
Creates a new restorer for p=1.
DistanceMinimizationMachineShop(int) - Constructor for class net.sf.tweety.logics.pcl.analysis.DistanceMinimizationMachineShop
Creates a new restorer for the given p.
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.AggregatingNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.EntropyNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.ManhattanNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.MaximumNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.PNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
 
distanceTerm(Vector<Term>, Vector<Term>) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
The distance between the two objects as a term.
distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.AbstractRealVectorNorm
 
distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.AggregatingNorm
 
distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.EntropyNorm
 
distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
 
distanceTerm(Term[], Term[]) - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
 
distanceTerm(Term[], Term[]) - Method in interface net.sf.tweety.math.norm.RealVectorNorm
The distance between the two objects as a term.
distanceToZero() - Method in class net.sf.tweety.math.matrix.Matrix
Returns the distance of this matrix to the zero matrix.
DISTDEFENSEPRECEDENCE - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate
The DISTDEFENSEPRECEDENCE postulate
Distribution(RpclSemantics, FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
 
Distribution(RpclSemantics, FolSignature) - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
 
DIV - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
 
DIV - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
DIV - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
DIV_COLON - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
tokens for parsing defaults
DIV_COMMA - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
tokens for parsing defaults
DIV_SLASH - Variable in class net.sf.tweety.logics.rdl.parser.RdlParser
tokens for parsing defaults
diverse - net.sf.tweety.arg.dung.semantics.Semantics
 
divide(Double) - Method in class net.sf.tweety.math.probability.Probability
Divides this probability by given value returns the result.
divide(Probability) - Method in class net.sf.tweety.math.probability.Probability
Divides this probability by other and returns the result.
Division - Class in net.sf.tweety.arg.dung.divisions
A pair <P,V> is a division of AAF G w.r.t.
Division(Extension, Extension) - Constructor for class net.sf.tweety.arg.dung.divisions.Division
Creates a new division for the given parameters.
DivisionExample - Class in net.sf.tweety.arg.dung.examples
Example code for working with divisions
DivisionExample() - Constructor for class net.sf.tweety.arg.dung.examples.DivisionExample
 
DL - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
 
DL_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DL_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DlAxiom - Class in net.sf.tweety.logics.dl.syntax
The common abstract class for axioms of the description logic ALC.
DlAxiom() - Constructor for class net.sf.tweety.logics.dl.syntax.DlAxiom
 
DlBeliefSet - Class in net.sf.tweety.logics.dl.syntax
This class models a knowledge base for description logics.
DlBeliefSet() - Constructor for class net.sf.tweety.logics.dl.syntax.DlBeliefSet
Creates a new and empty description logics knowledge base.
DlBeliefSet(Set<DlAxiom>) - Constructor for class net.sf.tweety.logics.dl.syntax.DlBeliefSet
Creates a new description logics knowledge base with the given set of axioms.
DlExample - Class in net.sf.tweety.logics.dl.examples
Examples for using the description logic syntax classes and parser.
DlExample() - Constructor for class net.sf.tweety.logics.dl.examples.DlExample
 
DlInterpretation - Class in net.sf.tweety.logics.dl.semantics
This class models an interpretation for description logics.
DlInterpretation(Collection<AssertionalAxiom>) - Constructor for class net.sf.tweety.logics.dl.semantics.DlInterpretation
Create a new DL interpretation with the given set of concept and role assertions that represent the mapping of concept names and role names to the domain.
DlParser - Class in net.sf.tweety.logics.dl.parser
This class implements a parser for the description logic ALC (attributive concept language with complements).
DlParser() - Constructor for class net.sf.tweety.logics.dl.parser.DlParser
 
DlParserTest - Class in net.sf.tweety.logics.dl.test
JUnit Test class for description logics parser.
DlParserTest() - Constructor for class net.sf.tweety.logics.dl.test.DlParserTest
 
DlReasonerTest - Class in net.sf.tweety.logics.dl.test
JUnit Test class for NaiveDLReasoner.
DlReasonerTest() - Constructor for class net.sf.tweety.logics.dl.test.DlReasonerTest
 
DlSignature - Class in net.sf.tweety.logics.dl.syntax
This class models a description logic signature.
DlSignature() - Constructor for class net.sf.tweety.logics.dl.syntax.DlSignature
Creates an empty signature.
DlSignature(Collection<?>) - Constructor for class net.sf.tweety.logics.dl.syntax.DlSignature
Creates a signature with the given objects (individuals, concepts, roles or formulas).
DlSignature(Set<AtomicConcept>, Set<AtomicRole>, Set<Individual>) - Constructor for class net.sf.tweety.logics.dl.syntax.DlSignature
Creates a signature with the given concept names, role names and individuals.
DLVSolver - Class in net.sf.tweety.lp.asp.reasoner
Wrapper class for the DLV answer set solver command line utility.
DLVSolver(String) - Constructor for class net.sf.tweety.lp.asp.reasoner.DLVSolver
Constructs a new instance pointing to a specific DLV solver.
DLVSolver(String, Shell) - Constructor for class net.sf.tweety.lp.asp.reasoner.DLVSolver
Constructs a new instance pointing to a specific DLV solver.
DLVTest - Class in net.sf.tweety.lp.asp.analysis
Test class for DLV.
DLVTest() - Constructor for class net.sf.tweety.lp.asp.analysis.DLVTest
 
DLVTest() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2ParserTest
 
DMaxInconsistencyMeasure<T extends Interpretation<B,​S>,​B extends BeliefBase,​S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class implements the d-max inconsistency measure from [Grant, Hunter.
DMaxInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class net.sf.tweety.logics.commons.analysis.DMaxInconsistencyMeasure
Creates a new d-max inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
DN - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
 
DN_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DN_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
domain - Variable in class net.sf.tweety.logics.dl.semantics.DlInterpretation
The domain of this interpetation.
DOMINANCE - Static variable in class net.sf.tweety.logics.pl.postulates.ImPostulate
The DOMINANCE postulate
doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.BeliefState
Gives the set of all best next moves with their expected utility according to the belief state and the given trace.
doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
 
doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
 
doMove(ArgumentationEnvironment, DialogueTrace<Argument, Extension>) - Method in class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState
 
Done() - Method in class net.sf.tweety.arg.delp.parser.SimpleCharStream
 
Done() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
 
Done() - Static method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
Reset buffer when finished.
Done() - Method in class net.sf.tweety.lp.asp.parser.SimpleCharStream
Reset buffer when finished.
Done() - Method in class net.sf.tweety.preferences.io.SimpleCharStream
 
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.AbstractMlnReasoner
Performs the actual querying.
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.AlchemyMlnReasoner
 
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.ApproximateNaiveMlnReasoner
 
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.IteratingMlnReasoner
 
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.SimpleMlnReasoner
 
doQuery(MarkovLogicNetwork, FolFormula, FolSignature) - Method in class net.sf.tweety.logics.mln.reasoner.SimpleSamplingMlnReasoner
 
doStep() - Method in class net.sf.tweety.agents.AbstractProtocol
Executes one step of the protocol.
doStep() - Method in class net.sf.tweety.agents.RoundRobinProtocol
 
doStep() - Method in class net.sf.tweety.agents.SynchronousProtocol
 
DOT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants
RegularExpression Id.
DOT - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants
RegularExpression Id.
DoubleCategory - Class in net.sf.tweety.machinelearning
A category for multi-class classification using a double as identifier.
DoubleCategory(double) - Constructor for class net.sf.tweety.machinelearning.DoubleCategory
Creates a new category with the given value.
doubleValue() - Method in class net.sf.tweety.math.ComplexNumber
 
doubleValue() - Method in class net.sf.tweety.math.probability.Probability
 
doubleValue() - Method in class net.sf.tweety.math.term.Term
Computes the actual value of this term if it contains no variables.
DPandQPCounterexampleTest() - Method in class net.sf.tweety.arg.rankings.RankingReasonerTest
 
DRASTIC - net.sf.tweety.logics.pl.analysis.InconsistencyMeasureFactory.Measure
 
DrasticDistance<T extends Interpretation<B,​S>,​B extends BeliefBase,​S extends Formula> - Class in net.sf.tweety.commons.analysis
This class models the drastic distance measure between interpretations, see [Grant, Hunter.
DrasticDistance() - Constructor for class net.sf.tweety.commons.analysis.DrasticDistance
 
DrasticInconsistencyMeasure<T extends DungTheory> - Class in net.sf.tweety.arg.dung.analysis
 
DrasticInconsistencyMeasure<S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class models the drastic inconsistency measure.
DrasticInconsistencyMeasure() - Constructor for class net.sf.tweety.arg.dung.analysis.DrasticInconsistencyMeasure
 
DrasticInconsistencyMeasure(BeliefSetConsistencyTester<S>) - Constructor for class net.sf.tweety.logics.commons.analysis.DrasticInconsistencyMeasure
Creates a new drastic inconsistency measure.
drasticWithAttackReturnsOne() - Method in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
drasticWithNoAttackReturnsZero() - Method in class net.sf.tweety.arg.dung.GraphStructureInconsistencyMeasure
 
DS - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
 
DS_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DS_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DSumInconsistencyMeasure<T extends Interpretation<B,​S>,​B extends BeliefBase,​S extends Formula> - Class in net.sf.tweety.logics.commons.analysis
This class implements the d-sum inconsistency measure from [Grant, Hunter.
DSumInconsistencyMeasure(InterpretationDistance<T, B, S>, InterpretationIterator<S, B, T>) - Constructor for class net.sf.tweety.logics.commons.analysis.DSumInconsistencyMeasure
Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
DSumMeasureExample - Class in net.sf.tweety.logics.pl.examples
 
DSumMeasureExample() - Constructor for class net.sf.tweety.logics.pl.examples.DSumMeasureExample
 
dtree() - Method in class net.sf.tweety.arg.delp.TestQueries
 
DualSetSignature<T,​S> - Class in net.sf.tweety.commons
This class models a signature as two sets of formulas.
DualSetSignature() - Constructor for class net.sf.tweety.commons.DualSetSignature
Creates a new empty signature.
DualSetSignature(Set<T>, Set<S>) - Constructor for class net.sf.tweety.commons.DualSetSignature
Creates a new signature with the given sets of formulas.
DummyAgent - Class in net.sf.tweety.agents
A dummy agent is an agent that cannot act.
DummyAgent(String) - Constructor for class net.sf.tweety.agents.DummyAgent
Creates a new dummy agent with the given name.
DummyAgentGenerator - Class in net.sf.tweety.agents.dialogues.lotteries.sim
Generates dummy lottery agents.
DummyAgentGenerator(String) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator
 
DummyLotteryAgent - Class in net.sf.tweety.agents.dialogues.lotteries
Audience agents (do nothing) for argumentation games.
DummyLotteryAgent(String, DungTheory, Semantics) - Constructor for class net.sf.tweety.agents.dialogues.lotteries.DummyLotteryAgent
 
dump(String) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode
 
DungEntity - Interface in net.sf.tweety.arg.dung.syntax
This interface captures common methods of arguments and attacks of abstract argumentation theories.
DungSignature - Class in net.sf.tweety.arg.dung.syntax
This class captures the signature of a Dung theory, i.e.
DungSignature() - Constructor for class net.sf.tweety.arg.dung.syntax.DungSignature
Creates a new (empty) Dung signature.
DungSignature(Collection<? extends Argument>) - Constructor for class net.sf.tweety.arg.dung.syntax.DungSignature
Creates a new signature with the given set of arguments.
DungSignature(Argument) - Constructor for class net.sf.tweety.arg.dung.syntax.DungSignature
Creates a new signature with the single given argument.
dungTheory - Variable in class net.sf.tweety.arg.prob.analysis.PAInconsistencyMeasure
The Dung theory against the partial prob assignments are measured.
DungTheory - Class in net.sf.tweety.arg.dung.syntax
This class implements an abstract argumentation theory in the sense of Dung.
DungTheory() - Constructor for class net.sf.tweety.arg.dung.syntax.DungTheory
Default constructor; initializes empty sets of arguments and attacks
DungTheory(Graph<Argument>) - Constructor for class net.sf.tweety.arg.dung.syntax.DungTheory
Creates a new theory from the given graph.
DungTheoryGenerationParameters - Class in net.sf.tweety.arg.dung.util
This class lists some parameters for Dung theory generation.
DungTheoryGenerationParameters() - Constructor for class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters
 
DungTheoryGenerator - Interface in net.sf.tweety.arg.dung.util
Class implementing this interface provide the capability to generate Dung theories.
DungTheoryGeneratorExample - Class in net.sf.tweety.arg.dung.examples
Example code for generating dung theories and exporting them to apx format.
DungTheoryGeneratorExample() - Constructor for class net.sf.tweety.arg.dung.examples.DungTheoryGeneratorExample
 
DX - net.sf.tweety.arg.dung.reasoner.ProboProblem.SubProblem
 
DX_ADM - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_CF - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_CF2 - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_CO - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_GR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_ID - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_PR - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_SST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_ST - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DX_STG - net.sf.tweety.arg.dung.reasoner.ProboProblem
 
DynamicBordaScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
Creates an aggregator for dynamic veto scoring
DynamicBordaScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.DynamicBordaScoringPreferenceAggregator
constructor for a new veto aggregator
DynamicLaw - Class in net.sf.tweety.action.description.syntax
A dynamic law in C has the form caused F if G after U where F is a propositional formula over the set of fluent names (called headFormula) G is a propositional formula over the set of fluent names (called ifFormula) U is a propositional formula over the set of fluent names and the set of action names (called afterFormula)
DynamicLaw() - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
Constructs a new empty dynamic law.
DynamicLaw(FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
Creates a new dynamic law of the form caused headFormula after afterFormula
DynamicLaw(FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
Creates a new dynamic law of the form caused headFormula after afterFormula requires requirements
DynamicLaw(FolFormula, FolFormula, FolFormula) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
Creates a new dynamic law of the form: caused headFormula if ifFormula after afterFormula
DynamicLaw(FolFormula, FolFormula, FolFormula, Set<GroundingRequirement>) - Constructor for class net.sf.tweety.action.description.syntax.DynamicLaw
Creates a new dynamic law of the form: caused headFormula if ifFormula after afterFormula requires requirements
DynamicPluralityScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
Creates an dynamic aggregator with plurality scoring
DynamicPluralityScoringPreferenceAggregator() - Constructor for class net.sf.tweety.preferences.aggregation.DynamicPluralityScoringPreferenceAggregator
calls the super-constructor with argument used for plurality scoring aggregation
DynamicPreferenceAggregator<T> - Interface in net.sf.tweety.preferences.aggregation
This interface is meant to be used for the dynamic aggregation of some generic preference orders
DynamicScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
This Demo-class provides a basic implementation similar to the ScoringPreferenceAggregator but dynamic aggregation instead of static
DynamicScoringPreferenceAggregator(WeightVector) - Constructor for class net.sf.tweety.preferences.aggregation.DynamicScoringPreferenceAggregator
Constructor with given weight vector
DynamicVetoScoringPreferenceAggregator<T> - Class in net.sf.tweety.preferences.aggregation
Creates an dynamic aggregator for veto scoring
DynamicVetoScoringPreferenceAggregator(int) - Constructor for class net.sf.tweety.preferences.aggregation.DynamicVetoScoringPreferenceAggregator
 
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