T-Index

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

T

T1BeliefState - Class in net.sf.tweety.agents.dialogues.oppmodels: This belief state consists of a simple recursive opponent model.
T1BeliefState(Extension, UtilityFunction<Argument, Extension>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState: Creates a new T1-belief-state with the given parameters and without nesting.
T1BeliefState(Extension, UtilityFunction<Argument, Extension>, T1BeliefState) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState: Creates a new T1-belief-state with the given parameters.
T1Configuration - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: This class encapsulates configuration options for generating T1 belief states.
T1Configuration() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.T1Configuration
T2BeliefState - Class in net.sf.tweety.agents.dialogues.oppmodels: This belief state consists of a probability distribution over other opponent models.
T2BeliefState(Extension, UtilityFunction<Argument, Extension>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState: Creates a new T2-belief-state with the given parameters and without nesting.
T2BeliefState(Extension, UtilityFunction<Argument, Extension>, ProbabilityFunction<T2BeliefState>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState: Creates a new T2-belief-state with the given parameters.
T2Configuration - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: This class encapsulates configuration options for generating T2 belief states.
T2Configuration() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.T2Configuration
T3BeliefState - Class in net.sf.tweety.agents.dialogues.oppmodels: This belief state consists of a probability distribution over other opponent models with virtual arguments.
T3BeliefState(Extension, UtilityFunction<Argument, Extension>, Set<Argument>, Set<Attack>, RecognitionFunction, ProbabilityFunction<T3BeliefState>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.T3BeliefState: Creates a new T3-belief-state with the given parameters.
T3Configuration - Class in net.sf.tweety.agents.dialogues.oppmodels.sim: This class encapsulates configuration options for generating T3 belief states.
T3Configuration() - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.sim.T3Configuration
TabuSearch - Class in net.sf.tweety.math.opt.solver: implements a simple Tabu Search without long term memory for combinatorics problems
TabuSearch(CombinatoricsProblem, int, int, int) - Constructor for class net.sf.tweety.math.opt.solver.TabuSearch
TabuSearchOnConstrProb - Class in net.sf.tweety.math.opt.solver: implements a simple Tabu Search without long term memory for optimization problems
TabuSearchOnConstrProb(int, int, int) - Constructor for class net.sf.tweety.math.opt.solver.TabuSearchOnConstrProb
TabuSearchOnConstrProbEx - Class in net.sf.tweety.math.examples: This class implements an example for Tabu search It is natively implemented
TabuSearchOnConstrProbEx() - Constructor for class net.sf.tweety.math.examples.TabuSearchOnConstrProbEx
Task - Class in net.sf.tweety.logics.bpm.syntax
Task(String) - Constructor for class net.sf.tweety.logics.bpm.syntax.Task
TaskType - Enum in net.sf.tweety.logics.bpm.syntax
Tautology - Class in net.sf.tweety.logics.fol.syntax: A tautological formula.
Tautology - Class in net.sf.tweety.logics.pl.syntax: A tautological formula.
Tautology() - Constructor for class net.sf.tweety.logics.fol.syntax.Tautology: Creates a new tautology.
Tautology() - Constructor for class net.sf.tweety.logics.pl.syntax.Tautology: Creates a new tautology.
TAUTOLOGY - Static variable in interface net.sf.tweety.arg.adf.syntax.acc.AcceptanceCondition: This constant is an alias for TautologyAcceptanceCondition.INSTANCE, its only purpose is readability.
TAUTOLOGY() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
TautologyAcceptanceCondition - Enum in net.sf.tweety.arg.adf.syntax.acc
TautologyAsQueryTest() - Method in class net.sf.tweety.logics.ml.MlReasonerTest
TautologyTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
TautologyTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
TCoNorm - Class in net.sf.tweety.math.func.fuzzy: Represents a T-norm in fuzzy logic, i.e., a generalization of a logical conjunction on values in [0,1].
TCoNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.TCoNorm
tearDown() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest: Perform post-test clean-up.
tempFolder - Variable in class net.sf.tweety.arg.delp.TestDeLP
tempFolder - Variable in class net.sf.tweety.arg.delp.TestKBParsing
Term - Class in net.sf.tweety.math.term: This class models a mathematical term.
Term<T> - Interface in net.sf.tweety.logics.commons.syntax.interfaces: A term of a logical language, that can be given as argument for logical constructs like atoms or functors.
Term() - Constructor for class net.sf.tweety.math.term.Term
Term() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
Term(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
TermAdapter<T> - Class in net.sf.tweety.logics.commons.syntax: Abstract base class implementing the substitute(), getSort(), getTerms(), and containsTermsOfType() methods in a way it is useful for terms.
TermAdapter(T) - Constructor for class net.sf.tweety.logics.commons.syntax.TermAdapter: Default-Ctor: Creates an TermAdapter with the Sort "Thing"
TermAdapter(T, Sort) - Constructor for class net.sf.tweety.logics.commons.syntax.TermAdapter: Ctor: Creates a TermAdapter with the given Sort
Terminate - net.sf.tweety.logics.bpm.syntax.EventType
Terms() - Method in class net.sf.tweety.lp.asp.parser.ASPCore2Parser
test() - Method in class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest
test(Classifier, TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.ClassificationTester: Measures the performance of the given classifier on the given test set, i.e.
test(Trainer<S, T>, TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.ClassificationTester: This methods takes a trainer and a training set and returns the performance (in [0,1]) of the trained classifier on the training set (e.g.
test(Trainer<S, T>, TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.CrossValidator
test1() - Method in class net.sf.tweety.logics.fol.test.Prover9Test
test1() - Method in class net.sf.tweety.logics.fol.test.SPASSTest
test1() - Method in class net.sf.tweety.logics.fol.test.TPTPTest
test1() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test1() - Method in class net.sf.tweety.logics.rdl.test.RDLJUnitTest
test1() - Method in class net.sf.tweety.lp.asp.analysis.AspInconsistencyMeasureTest
test1() - Method in class net.sf.tweety.machinelearning.assoc.AprioriTest
test1() - Method in class net.sf.tweety.math.test.ApacheCommonsCMAESOptimizerTest
test1() - Method in class net.sf.tweety.math.test.SimpleGeneticOptimizationSolverTest
test2() - Method in class net.sf.tweety.logics.fol.test.Prover9Test
test2() - Method in class net.sf.tweety.logics.fol.test.SPASSTest
test2() - Method in class net.sf.tweety.logics.fol.test.TPTPTest
test2() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test2() - Method in class net.sf.tweety.logics.rdl.test.RDLJUnitTest
test2() - Method in class net.sf.tweety.machinelearning.assoc.AprioriTest
test2() - Method in class net.sf.tweety.math.test.ApacheCommonsCMAESOptimizerTest
test2() - Method in class net.sf.tweety.math.test.SimpleGeneticOptimizationSolverTest
test3() - Method in class net.sf.tweety.logics.fol.test.Prover9Test
test3() - Method in class net.sf.tweety.logics.fol.test.SPASSTest
test3() - Method in class net.sf.tweety.logics.fol.test.TPTPTest
test3() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test3() - Method in class net.sf.tweety.logics.rdl.test.RDLJUnitTest
test3() - Method in class net.sf.tweety.machinelearning.assoc.AprioriTest
test3() - Method in class net.sf.tweety.math.test.ApacheCommonsCMAESOptimizerTest
test3() - Method in class net.sf.tweety.math.test.SimpleGeneticOptimizationSolverTest
test4() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test4() - Method in class net.sf.tweety.logics.rdl.test.RDLJUnitTest
test4() - Method in class net.sf.tweety.machinelearning.assoc.AprioriTest
test5() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test5() - Method in class net.sf.tweety.logics.rdl.test.RDLJUnitTest
test6() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test7() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test8() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
test9() - Method in class net.sf.tweety.logics.pl.test.CspInconsistencyMeasureTest
testAddAll() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
testAllKppADFInstances() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testAllValid() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testArgumentationKnowledgeBase() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
testArgumentationReasoner() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
TestArguments - Class in net.sf.tweety.arg.delp: Testing argument syntax.
TestArguments() - Constructor for class net.sf.tweety.arg.delp.TestArguments
testAttack() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
testAttackFailsWeakMaximality() - Method in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
testAttacking() - Method in class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
testBordaScoringPreferenceAggregator_1() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
testCloneEqualAtom() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
TestConditionalStructure - Class in net.sf.tweety.logics.cl.test
TestConditionalStructure() - Constructor for class net.sf.tweety.logics.cl.test.TestConditionalStructure
testDefaultificationOfAlreadyDefaulticated() - Method in class net.sf.tweety.lp.asp.syntax.DefaultificationTest
testDefeat() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
testDefeatFailsWeakMaximality() - Method in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
TestDeLP - Class in net.sf.tweety.arg.delp: Testing the command line stuff for DeLP.
TestDeLP() - Constructor for class net.sf.tweety.arg.delp.TestDeLP
testDependent() - Method in class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
testDisjunctionFact() - Method in class net.sf.tweety.logics.cl.test.EvaluationTest
testDisjunctionFOLtoProp() - Method in class net.sf.tweety.logics.translators.folprop.TranslateTest
TestDTree - Class in net.sf.tweety.arg.delp: Testing dialectical trees.
TestDTree() - Constructor for class net.sf.tweety.arg.delp.TestDTree
testELPAtom() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
testEnumerationChordlessCircuits1() - Method in class net.sf.tweety.graphs.util.GraphUtilTest
testEquality1() - Method in class net.sf.tweety.arg.adf.syntax.test.AccEqualityTest
testEquality2() - Method in class net.sf.tweety.arg.adf.syntax.test.AccEqualityTest
testEquality3() - Method in class net.sf.tweety.arg.adf.syntax.test.AccEqualityTest
testExcludeSubsets1() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest
testExcludeSubsets1() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
testExcludeSubsets2() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest
testExcludeSubsets2() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
testExcludeSubsets3() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest
testExcludeSubsets3() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
testExcludeSubsets4() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest
testExcludeSubsets4() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
testExcludeSubsets5() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
testExcludeSubsets6() - Method in class net.sf.tweety.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest
testFailsWeakMaximality() - Method in class net.sf.tweety.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest
testFOLToPropAtomTranslation() - Method in class net.sf.tweety.logics.translators.folprop.TranslateTest
testFOLToPropAtomTranslationFAILCauseArgs() - Method in class net.sf.tweety.logics.translators.folprop.TranslateTest
TestFormulaParsing - Class in net.sf.tweety.arg.delp: Testing DeLP formula parsing.
TestFormulaParsing() - Constructor for class net.sf.tweety.arg.delp.TestFormulaParsing
testIterator1() - Method in class net.sf.tweety.arg.adf.util.test.InterpretationIteratorTest
TestKBParsing - Class in net.sf.tweety.arg.delp: Parsing DeLPs.
TestKBParsing() - Constructor for class net.sf.tweety.arg.delp.TestKBParsing
testKrue2008Ex1() - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
testKrue2008Ex2() - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityTest
testLiteralReasoner() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
testMissingDot1() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testMissingDot2() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testMissingDot3() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testMissingDot4() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testNestedConjunction() - Method in class net.sf.tweety.logics.translators.folprop.TranslateTest
TestNicePossibleWorld - Class in net.sf.tweety.logics.pl.test
TestNicePossibleWorld() - Constructor for class net.sf.tweety.logics.pl.test.TestNicePossibleWorld
testNoLinebreak() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testNoWhitespace() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testPluralityScoringPreferenceAggregator_1() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
testProgram() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
testPropToFOLAtomTranslation() - Method in class net.sf.tweety.logics.translators.folprop.TranslateTest
testQuantification() - Method in class net.sf.tweety.lp.nlp.syntax.NLPRuleTest
TestQueries - Class in net.sf.tweety.arg.delp: Testing some example KBs with various queries.
TestQueries() - Constructor for class net.sf.tweety.arg.delp.TestQueries
testRange() - Method in class net.sf.tweety.logics.commons.test.VariableTest
testRebut() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
testRedundant() - Method in class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
testRule() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
TestRules - Class in net.sf.tweety.arg.delp: Tests for rules: facts, strict and defeasible rules.
TestRules() - Constructor for class net.sf.tweety.arg.delp.TestRules
testSimpleDefaultifcation() - Method in class net.sf.tweety.lp.asp.syntax.DefaultificationTest
testStrongAttack() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
testStrongAttackFailsWeakMaximalityForEvenCycles() - Method in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
testStrongUndercut() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
testSupporting() - Method in class net.sf.tweety.arg.adf.semantics.test.LinkTypeTest
testUndefinedArgumentInACC() - Method in class net.sf.tweety.arg.adf.parser.test.KppADFFormatParserTest
testUndercut() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
testUnequality1() - Method in class net.sf.tweety.arg.adf.syntax.test.AccEqualityTest
testUnequality2() - Method in class net.sf.tweety.arg.adf.syntax.test.AccEqualityTest
testVetoScoringPreferenceAggregator_1() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
TextfileIterator - Class in net.sf.tweety.logics.pl.util: Enumerates all belief bases from a text file; the file contains one belief base per line.
TextfileIterator(String) - Constructor for class net.sf.tweety.logics.pl.util.TextfileIterator: Creates a new iterator based on the given file.
TFUZZY_MEASURE - Static variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure: static constant for the T-version of the measure
TGF - net.sf.tweety.arg.dung.parser.FileFormat
TgfParser - Class in net.sf.tweety.arg.dung.parser: Parses abstract argumentation frameworks given in the trivial graph format which is given by the following BNF (start symbol is S):

S ::== ARGUMENTS "#" "\n" ATTACKS
ARGUMENTS ::== "" | ARGUMENT "\n" ARGUMENTS
ATTACKS ::== "" | ATTACK "\n" ATTACKS
ATTACK ::== ARGUMENT ARGUMENT
where "ARGUMENT" represents any string (without blanks) as a terminal symbol.
TgfParser() - Constructor for class net.sf.tweety.arg.dung.parser.TgfParser
TgfWriter - Class in net.sf.tweety.arg.dung.writer: Writes an abstract argumentation framework into a file of the TGF format.
TgfWriter() - Constructor for class net.sf.tweety.arg.dung.writer.TgfWriter
Theory(FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
THING - Static variable in class net.sf.tweety.logics.commons.syntax.Sort: Default sort for unsorted first-order logics
ThreeValuedBitSet - Class in net.sf.tweety.arg.adf.util: Inspired by BitSet but with three values.
ThreeValuedBitSet(int) - Constructor for class net.sf.tweety.arg.adf.util.ThreeValuedBitSet: Creates a new bitset with the specified size and all values undefined.
timeout - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest
timeout - Static variable in class net.sf.tweety.agents.dialogues.examples.GroundedTest2
timeout - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest
timeout - Static variable in class net.sf.tweety.agents.dialogues.examples.LotteryDialogueTest2: Timeout
timeout - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService: Time out for the update operation (in seconds).
TIMEOUT - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
TIMEOUT - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
Timer - net.sf.tweety.logics.bpm.syntax.EventType
TIMES - net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
TIMES - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: RegularExpression Id.
TIMES - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: RegularExpression Id.
TMP_FILE_FOLDER - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample
TMP_FILE_FOLDER - Static variable in class net.sf.tweety.logics.pl.examples.StreamInconsistencyEvaluationExample2
TNorm - Class in net.sf.tweety.math.func.fuzzy: Represents a T-norm in fuzzy logic, i.e., a generalization of a logical conjunction on values in [0,1].
TNorm() - Constructor for class net.sf.tweety.math.func.fuzzy.TNorm
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.Attack
toAbbreviation() - Method in interface net.sf.tweety.arg.lp.semantics.attack.AttackStrategy: Returns the abbreviated identifier of this notion of attack, i.e.
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.Defeat
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.Rebut
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongAttack
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut
toAbbreviation() - Method in class net.sf.tweety.arg.lp.semantics.attack.Undercut
toArray() - Method in class net.sf.tweety.agents.MultiAgentSystem
toArray() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
toArray() - Method in class net.sf.tweety.arg.adf.util.UnionSetView
toArray() - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
toArray() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
toArray() - Method in class net.sf.tweety.arg.dung.semantics.Extension
toArray() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
toArray() - Method in class net.sf.tweety.commons.BeliefSet
toArray() - Method in class net.sf.tweety.commons.InterpretationSet
toArray() - Method in class net.sf.tweety.commons.SingleSetSignature: Returns an array containing all of the elements in this signature.
toArray() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
toArray() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
toArray() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
toArray() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
toArray() - Method in class net.sf.tweety.logics.rdl.semantics.Extension
toArray() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
toArray() - Method in class net.sf.tweety.math.Interval
toArray() - Method in class net.sf.tweety.preferences.PreferenceOrder: returns an array containing all objects
toArray(C[]) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
toArray(Object[]) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
toArray(Object[]) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
toArray(R[]) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
toArray(R[]) - Method in class net.sf.tweety.commons.BeliefSet
toArray(R[]) - Method in class net.sf.tweety.commons.InterpretationSet
toArray(S[]) - Method in class net.sf.tweety.agents.MultiAgentSystem
toArray(T[]) - Method in class net.sf.tweety.arg.adf.util.UnionSetView
toArray(T[]) - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
toArray(T[]) - Method in class net.sf.tweety.arg.dung.semantics.Extension
toArray(T[]) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
toArray(T[]) - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
toArray(T[]) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
toArray(T[]) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
toArray(T[]) - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
toArray(T[]) - Method in class net.sf.tweety.math.Interval
toArray(T[]) - Method in class net.sf.tweety.preferences.PreferenceOrder: returns all elements in an array
toASP(Disjunction) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toASP(FolAtom) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toASP(FolFormula) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toASP(Negation) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toASP(NLPProgram) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator: Translate the given NLP-program into an ASP-program.
toASP(NLPRule) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator: Translates the given NLP-rule into an ASP Program.
toBlakeCanonicalForm() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: This method returns this formula in Blake canonical form.
toCl(NLPProgram) - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator: Translate the given NLP-program into a conditional belief set.
toCl(NLPRule) - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator: Translates the given NLP-rule into a conditional.
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.Implication
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.Negation
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.PlBeliefSet: This method returns this belief set in conjunctive normal form (CNF).
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: This method returns this formula in conjunctive normal form (CNF).
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
toCnf() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula: In this case, this method returns this quantified boolean formula's cnf kernel.
toCnf() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula: In this case, this method returns this quantified boolean formula's cnf kernel.
toCollection() - Method in class net.sf.tweety.commons.SingleSetSignature: Returns a collection containing all of the elements in this signature.
toConjunction() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toConjunctionOfDisjunctions() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toConjunctionOfDisjunctivePairs() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toConjunctionOfDisjunctiveTriples() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toDAF() - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework: translates this NAF into the corresponding framework with support in a deductive sense only works for NAFs which contain only binary support relations See Cayrol, Lagasquie-Schiex.
toDefeasible() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
toDefinite() - Method in class net.sf.tweety.action.description.syntax.CActionDescription: Calculates a new action description which descibes the same transition system and contains only definite causal laws.
toDefinite() - Method in class net.sf.tweety.action.description.syntax.CLaw: Returns an equivalent definite causal law.
toDefinite() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
toDefinite() - Method in class net.sf.tweety.action.description.syntax.StaticLaw
toDisjunction() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toDisjunction(Function<T, ? extends PlFormula>[]) - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toDisjunctionOfConjunctions() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toDisjunctionOfConjunctivePairs() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toDisjunctionOfConjunctiveTriples() - Static method in class net.sf.tweety.arg.adf.util.PlCollectors
toDnf() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula: Makes a disjunctive normal form of this formula.
toDnf() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: This method returns this formula in disjunctive normal form (DNF).
toDotFormat() - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem: Returns this transition system in dot-format with collapsed transitions, which may be further processed using a graph drawing library such as graphviz.
toDungTheory() - Method in class net.sf.tweety.arg.bipolar.DeductiveArgumentationTest
toDungTheory() - Method in class net.sf.tweety.arg.saf.syntax.StructuredArgumentationFramework: Constructs a (pure) Dung theory from this structured argumentation framework.
ToDungTheoryMethodTest() - Method in class net.sf.tweety.arg.aba.AbaTest
toEAF() - Method in class net.sf.tweety.arg.bipolar.syntax.NecessityArgumentationFramework: translates this necessity argumentation framework into an evidential argumentation framework Translation algorithm from: Polberg, Oren.
toFOL(Conjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator: Translates the given propositional Conjunction to a FOL Conjunction
toFOL(Disjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator: Translates the given propositional Disjunction to a FOL Disjunction
toFOL(PlFormula) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
toFOL(Proposition) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator: Translates the given proposition into a FOL-Atom
toFOL(ASPAtom) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toFOL(ASPHead) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toFOL(ASPLiteral) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toFOL(StrictNegation) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
toggleOutputWhitelist(boolean) - Method in class net.sf.tweety.lp.asp.reasoner.ClingoSolver: Activates or deactivates the option to use a whitelist of predicates.
token - Variable in class net.sf.tweety.arg.delp.parser.DelpParser
token - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
token - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
token - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser: Current token.
token - Variable in class net.sf.tweety.preferences.io.POParser
token - Variable in class net.sf.tweety.preferences.io.UPParser: Current token.
Token - Class in net.sf.tweety.arg.delp.parser: Describes the input token stream.
Token - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser: Describes the input token stream.
Token - Class in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser: Describes the input token stream.
Token - Class in net.sf.tweety.lp.asp.parser: Describes the input token stream.
Token - Class in net.sf.tweety.preferences.io: Describes the input token stream.
Token() - Constructor for class net.sf.tweety.arg.delp.parser.Token: No-argument constructor
Token() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: No-argument constructor
Token() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: No-argument constructor
Token() - Constructor for class net.sf.tweety.lp.asp.parser.Token: No-argument constructor
Token() - Constructor for class net.sf.tweety.preferences.io.Token: No-argument constructor
Token(int) - Constructor for class net.sf.tweety.arg.delp.parser.Token
Token(int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
Token(int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
Token(int) - Constructor for class net.sf.tweety.lp.asp.parser.Token
Token(int) - Constructor for class net.sf.tweety.preferences.io.Token
Token(int, String) - Constructor for class net.sf.tweety.arg.delp.parser.Token
Token(int, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
Token(int, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
Token(int, String) - Constructor for class net.sf.tweety.lp.asp.parser.Token
Token(int, String) - Constructor for class net.sf.tweety.preferences.io.Token
token_source - Variable in class net.sf.tweety.arg.delp.parser.DelpParser
token_source - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
token_source - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
token_source - Variable in class net.sf.tweety.lp.asp.parser.ASPCore2Parser: Generated Token Manager.
token_source - Variable in class net.sf.tweety.preferences.io.POParser
token_source - Variable in class net.sf.tweety.preferences.io.UPParser: Generated Token Manager.
tokenImage - Static variable in interface net.sf.tweety.arg.delp.parser.DelpParserConstants: Literal token values.
tokenImage - Variable in exception net.sf.tweety.arg.delp.parser.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants
tokenImage - Variable in exception net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Static variable in interface net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants: Literal token values.
tokenImage - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2Constants: Literal token values.
tokenImage - Static variable in interface net.sf.tweety.lp.asp.parser.ASPCore2ParserConstants: Literal token values.
tokenImage - Variable in exception net.sf.tweety.lp.asp.parser.ParseException: This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.
tokenImage - Variable in exception net.sf.tweety.preferences.io.ParseException
tokenImage - Static variable in interface net.sf.tweety.preferences.io.POParserConstants: Literal token values.
tokenImage - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants: Literal token values.
tokenize(Stack<Object>, int) - Method in class net.sf.tweety.logics.dl.parser.DlParser: This method reads one character from the given reader and appropriately tokenizes it.
TokenMgrError - Error in net.sf.tweety.arg.delp.parser: Token Manager Error.
TokenMgrError - Error in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser: Token Manager Error.
TokenMgrError - Error in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser: Token Manager Error.
TokenMgrError - Error in net.sf.tweety.lp.asp.parser: Token Manager Error.
TokenMgrError - Error in net.sf.tweety.preferences.io: Token Manager Error.
TokenMgrError() - Constructor for error net.sf.tweety.arg.delp.parser.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError: No arg constructor.
TokenMgrError() - Constructor for error net.sf.tweety.preferences.io.TokenMgrError: No arg constructor.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.arg.delp.parser.TokenMgrError
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.preferences.io.TokenMgrError
TokenMgrError(String, int) - Constructor for error net.sf.tweety.arg.delp.parser.TokenMgrError
TokenMgrError(String, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
TokenMgrError(String, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
TokenMgrError(String, int) - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError
TokenMgrError(String, int) - Constructor for error net.sf.tweety.preferences.io.TokenMgrError
TOLERANCE - Static variable in class net.sf.tweety.logics.commons.analysis.streams.EvaluationInconsistencyListener
toLibsvmProblem() - Method in class net.sf.tweety.machinelearning.TrainingSet: Returns a svm_problem (the data data model of libsvm) of this training set.
toLinearForm() - Method in class net.sf.tweety.math.equation.Equation
toLinearForm() - Method in class net.sf.tweety.math.equation.Inequation
toLinearForm() - Method in class net.sf.tweety.math.equation.Statement: Brings both terms into linear form.
toLinearForm() - Method in class net.sf.tweety.math.term.Constant
toLinearForm() - Method in class net.sf.tweety.math.term.Difference
toLinearForm() - Method in class net.sf.tweety.math.term.Fraction
toLinearForm() - Method in class net.sf.tweety.math.term.FunctionalTerm
toLinearForm() - Method in class net.sf.tweety.math.term.Maximum
toLinearForm() - Method in class net.sf.tweety.math.term.Minimum
toLinearForm() - Method in class net.sf.tweety.math.term.Product
toLinearForm() - Method in class net.sf.tweety.math.term.Sum
toLinearForm() - Method in class net.sf.tweety.math.term.Term: Converts this term into a linear normal form, i.e.
toLinearForm() - Method in class net.sf.tweety.math.term.Variable
toMap(Interpretation) - Static method in interface net.sf.tweety.arg.adf.semantics.interpretation.Interpretation
toNAF() - Method in class net.sf.tweety.arg.bipolar.syntax.DeductiveArgumentationFramework: translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex.
toNAF() - Method in class net.sf.tweety.arg.bipolar.syntax.EvidentialArgumentationFramework: translates this EAF into the corresponding NAF can only translate framework which contain only binary attacks translation algorithm from: Polberg, Oren.
toNLP(ClBeliefSet) - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator: Translate the given conditional belief set into a NLP-program.
toNLP(Program) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.Conjunction
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.Disjunction
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.ExclusiveDisjunction
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.FolFormula: Makes the negation normal form of this formula.
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.Implication
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.Negation
toNnf() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
toNnf() - Method in class net.sf.tweety.logics.ml.syntax.Necessity
toNnf() - Method in class net.sf.tweety.logics.ml.syntax.Possibility
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.Implication
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.Negation
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: This method returns this formula in negation normal form (NNF).
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
toNnf() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
toNnf() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
toNnf() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
toNormalizedForm() - Method in class net.sf.tweety.math.equation.Equation
toNormalizedForm() - Method in class net.sf.tweety.math.equation.Inequation
toNormalizedForm() - Method in class net.sf.tweety.math.equation.Statement: Normalizes this constraint, i.e.
toNormalizedForm() - Method in class net.sf.tweety.math.opt.problem.ConstraintSatisfactionProblem: Normalizes this problem, i.e.
toOutputString() - Method in class net.sf.tweety.action.description.syntax.CActionDescription: Returns a string representation of this action description in human readable form, which may be written to a file or printed on screen.
TopConcept - Class in net.sf.tweety.logics.dl.syntax: This class models the top concept (universal concept) in description logics.
TopConcept() - Constructor for class net.sf.tweety.logics.dl.syntax.TopConcept: Creates a new TopConcept.
topElement() - Method in class net.sf.tweety.arg.social.semantics.AbstractSocialSemantics: Returns the top element of this semantics.
topElement() - Method in class net.sf.tweety.arg.social.semantics.SimpleProductSemantics
toProbabilityDistribution() - Method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution: Converts this condensed probability distribution into an ordinary probability distribution.
toPropositional(Conjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator: Translates the given FOL Conjunction to a propositional Conjunction
toPropositional(Disjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator: Translates the given FOL Disjunction to a propositional Disjunction
toPropositional(ExclusiveDisjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator: Translates the given FOL Exclusive Disjunction to a propositional Exclusive Disjunction
toPropositional(FolAtom) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator: Translates the given FOL-Atom into a Proposition
toPropositional(FolFormula) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
toStrict() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
toStrictRule() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleRule: returns the translation of this rule as a strict rule
toString() - Method in class net.sf.tweety.action.description.syntax.DynamicLaw
toString() - Method in class net.sf.tweety.action.description.syntax.StaticLaw
toString() - Method in class net.sf.tweety.action.grounding.VarConstNeqRequirement
toString() - Method in class net.sf.tweety.action.grounding.VarsNeqRequirement
toString() - Method in class net.sf.tweety.action.query.syntax.AlwaysQuery
toString() - Method in class net.sf.tweety.action.query.syntax.HoldsQuery
toString() - Method in class net.sf.tweety.action.query.syntax.NecessarilyQuery
toString() - Method in class net.sf.tweety.action.query.syntax.QueryProposition
toString() - Method in class net.sf.tweety.action.query.syntax.SActionQuery
toString() - Method in class net.sf.tweety.action.signature.ActionSignature
toString() - Method in class net.sf.tweety.action.signature.FolAction
toString() - Method in class net.sf.tweety.action.signature.FolActionName
toString() - Method in class net.sf.tweety.action.signature.FolFluentName
toString() - Method in class net.sf.tweety.action.transitionsystem.State
toString() - Method in class net.sf.tweety.action.transitionsystem.Transition
toString() - Method in class net.sf.tweety.action.transitionsystem.TransitionSystem
toString() - Method in class net.sf.tweety.agents.Agent
toString() - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DirectGameProtocol
toString() - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.DummyAgentGenerator
toString() - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator
toString() - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator
toString() - Method in class net.sf.tweety.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator
toString() - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameProtocol
toString() - Method in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
toString() - Method in class net.sf.tweety.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator
toString() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
toString() - Method in class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
toString() - Method in class net.sf.tweety.agents.DummyAgent
toString() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
toString() - Method in class net.sf.tweety.arg.aba.syntax.AbaTheory
toString() - Method in class net.sf.tweety.arg.aba.syntax.Assumption
toString() - Method in class net.sf.tweety.arg.aba.syntax.Deduction
toString() - Method in class net.sf.tweety.arg.aba.syntax.InferenceRule
toString() - Method in class net.sf.tweety.arg.aba.syntax.Negation
toString() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.EmptyInterpretation
toString() - Method in class net.sf.tweety.arg.adf.semantics.interpretation.SetInterpretation
toString() - Method in class net.sf.tweety.arg.adf.semantics.link.SimpleLink
toString() - Method in class net.sf.tweety.arg.adf.syntax.acc.AbstractAcceptanceCondition
toString() - Method in enum net.sf.tweety.arg.adf.syntax.acc.ContradictionAcceptanceCondition
toString() - Method in enum net.sf.tweety.arg.adf.syntax.acc.TautologyAcceptanceCondition
toString() - Method in class net.sf.tweety.arg.adf.syntax.Argument
toString() - Method in class net.sf.tweety.arg.adf.util.ThreeValuedBitSet
toString() - Method in class net.sf.tweety.arg.aspic.order.SimpleAspicOrder
toString() - Method in class net.sf.tweety.arg.aspic.reasoner.DirectionalAspicReasoner
toString() - Method in class net.sf.tweety.arg.aspic.reasoner.RandomAspicReasoner
toString() - Method in class net.sf.tweety.arg.aspic.semantics.AspicAttack
toString() - Method in class net.sf.tweety.arg.aspic.semantics.SimpleAspicOrder
toString() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgument
toString() - Method in class net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory
toString() - Method in class net.sf.tweety.arg.aspic.syntax.InferenceRule
toString() - Method in class net.sf.tweety.arg.bipolar.syntax.ArgumentSet
toString() - Method in interface net.sf.tweety.arg.bipolar.syntax.Attack
toString() - Method in class net.sf.tweety.arg.bipolar.syntax.BinaryAttack
toString() - Method in class net.sf.tweety.arg.bipolar.syntax.BinarySupport
toString() - Method in class net.sf.tweety.arg.bipolar.syntax.SetAttack
toString() - Method in class net.sf.tweety.arg.bipolar.syntax.SetSupport
toString() - Method in interface net.sf.tweety.arg.bipolar.syntax.Support
toString() - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
toString() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlLogicArgument
toString() - Method in class net.sf.tweety.arg.deductive.syntax.SimplePlRule
toString() - Method in class net.sf.tweety.arg.delp.parser.Token: Returns the image.
toString() - Method in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
toString() - Method in enum net.sf.tweety.arg.delp.semantics.DialecticalTree.Mark
toString() - Method in class net.sf.tweety.arg.delp.semantics.DialecticalTree
toString() - Method in class net.sf.tweety.arg.delp.syntax.DefeasibleLogicProgram
toString() - Method in class net.sf.tweety.arg.delp.syntax.DelpArgument
toString() - Method in class net.sf.tweety.arg.delp.syntax.DelpRule
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoArgument
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoBoxModality
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoDiamondModality
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphBoxModality
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoGraphDiamondModality
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoNegation
toString() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
toString() - Method in enum net.sf.tweety.arg.dung.parser.FileFormat
toString() - Method in enum net.sf.tweety.arg.dung.reasoner.ProboProblem
toString() - Method in class net.sf.tweety.arg.dung.semantics.AbstractArgumentationInterpretation
toString() - Method in class net.sf.tweety.arg.dung.semantics.Extension
toString() - Method in class net.sf.tweety.arg.dung.semantics.Labeling
toString() - Method in class net.sf.tweety.arg.dung.semantics.StratifiedLabeling
toString() - Method in class net.sf.tweety.arg.dung.syntax.Argument
toString() - Method in class net.sf.tweety.arg.dung.syntax.Attack
toString() - Method in class net.sf.tweety.arg.dung.syntax.DungTheory
toString() - Method in class net.sf.tweety.arg.dung.util.DefaultDungTheoryGenerator
toString() - Method in class net.sf.tweety.arg.dung.util.DungTheoryGenerationParameters
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.Attack
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentAttack
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.ConfidentRebut
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.Defeat
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.Rebut
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongAttack
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongConfidentAttack
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.StrongUndercut
toString() - Method in class net.sf.tweety.arg.lp.semantics.attack.Undercut
toString() - Method in class net.sf.tweety.arg.lp.syntax.Argument
toString() - Method in class net.sf.tweety.arg.prob.lotteries.ArgumentationLottery
toString() - Method in class net.sf.tweety.arg.prob.lotteries.LdoArgumentationLottery
toString() - Method in class net.sf.tweety.arg.prob.semantics.AbstractPASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.CoherentPASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.FoundedPASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.InvolutaryPASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.JustifiablePASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.NeutralPASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.OptimisticPASemantics
toString() - Method in interface net.sf.tweety.arg.prob.semantics.PASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.RationalPASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.SemiFoundedPASemantics
toString() - Method in class net.sf.tweety.arg.prob.semantics.SemiOptimisticPASemantics
toString() - Method in class net.sf.tweety.arg.prob.syntax.ProbabilisticArgumentationFramework
toString() - Method in class net.sf.tweety.arg.rankings.semantics.LatticeArgumentRanking
toString() - Method in class net.sf.tweety.arg.rankings.semantics.NumericalArgumentRanking
toString() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
toString() - Method in class net.sf.tweety.arg.social.semantics.SocialMapping
toString() - Method in class net.sf.tweety.arg.social.syntax.SocialAbstractArgumentationFramework
toString() - Method in class net.sf.tweety.beliefdynamics.mas.InformationObject
toString() - Method in interface net.sf.tweety.commons.BeliefBase
toString() - Method in class net.sf.tweety.commons.BeliefSet
toString() - Method in class net.sf.tweety.commons.DualSetSignature
toString() - Method in class net.sf.tweety.commons.InterpretationSet
toString() - Method in class net.sf.tweety.commons.postulates.PostulateEvaluationReport
toString() - Method in class net.sf.tweety.commons.QuadrupleSetSignature
toString() - Method in interface net.sf.tweety.commons.Signature
toString() - Method in class net.sf.tweety.commons.SingleSetSignature
toString() - Method in class net.sf.tweety.commons.TripleSetSignature
toString() - Method in class net.sf.tweety.commons.util.Pair: returns a string representation of a pair as "(obj1, obj2)"
toString() - Method in class net.sf.tweety.graphs.DefaultGraph
toString() - Method in class net.sf.tweety.graphs.DirectedEdge
toString() - Method in interface net.sf.tweety.graphs.Graph
toString() - Method in class net.sf.tweety.graphs.orders.Order
toString() - Method in class net.sf.tweety.graphs.SimpleNode
toString() - Method in class net.sf.tweety.graphs.UndirectedEdge
toString() - Method in class net.sf.tweety.logics.cl.kappa.KappaMin
toString() - Method in class net.sf.tweety.logics.cl.kappa.KappaSum
toString() - Method in class net.sf.tweety.logics.cl.kappa.KappaValue
toString() - Method in class net.sf.tweety.logics.cl.semantics.ConditionalStructure
toString() - Method in class net.sf.tweety.logics.cl.semantics.RankingFunction
toString() - Method in class net.sf.tweety.logics.cl.syntax.Conditional
toString() - Method in class net.sf.tweety.logics.commons.analysis.DfInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.commons.analysis.DrasticInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.commons.analysis.EtaInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.commons.analysis.HsInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.commons.analysis.MicInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.commons.analysis.MiInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
toString() - Method in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyUpdateEvent
toString() - Method in class net.sf.tweety.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess
toString() - Method in enum net.sf.tweety.logics.commons.error.LanguageException.LanguageExceptionReason
toString() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
toString() - Method in class net.sf.tweety.logics.commons.syntax.FunctionalTerm
toString() - Method in class net.sf.tweety.logics.commons.syntax.Functor
toString() - Method in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicProgram
toString() - Method in class net.sf.tweety.logics.commons.syntax.RelationalFormula
toString() - Method in class net.sf.tweety.logics.commons.syntax.Sort
toString() - Method in class net.sf.tweety.logics.commons.syntax.StringTerm
toString() - Method in class net.sf.tweety.logics.commons.syntax.TermAdapter
toString() - Method in class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter
toString() - Method in class net.sf.tweety.logics.dl.syntax.AssociativeDlFormula
toString() - Method in class net.sf.tweety.logics.dl.syntax.AtomicConcept
toString() - Method in class net.sf.tweety.logics.dl.syntax.AtomicRole
toString() - Method in class net.sf.tweety.logics.dl.syntax.BottomConcept
toString() - Method in class net.sf.tweety.logics.dl.syntax.Complement
toString() - Method in class net.sf.tweety.logics.dl.syntax.ConceptAssertion
toString() - Method in class net.sf.tweety.logics.dl.syntax.DlSignature: Returns signature as string in the order individuals - concept names - role names.
toString() - Method in class net.sf.tweety.logics.dl.syntax.EquivalenceAxiom
toString() - Method in class net.sf.tweety.logics.dl.syntax.ExistentialRestriction
toString() - Method in class net.sf.tweety.logics.dl.syntax.RoleAssertion
toString() - Method in class net.sf.tweety.logics.dl.syntax.TopConcept
toString() - Method in class net.sf.tweety.logics.dl.syntax.UniversalRestriction
toString() - Method in class net.sf.tweety.logics.fol.semantics.HerbrandInterpretation
toString() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFolFormula
toString() - Method in class net.sf.tweety.logics.fol.syntax.Contradiction
toString() - Method in class net.sf.tweety.logics.fol.syntax.Equivalence
toString() - Method in class net.sf.tweety.logics.fol.syntax.ExistsQuantifiedFormula
toString() - Method in class net.sf.tweety.logics.fol.syntax.FolAtom
toString() - Method in class net.sf.tweety.logics.fol.syntax.FolSignature: Returns a string representation of this first-order logic signature.
toString() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
toString() - Method in class net.sf.tweety.logics.fol.syntax.Implication
toString() - Method in class net.sf.tweety.logics.fol.syntax.LogicStructure
toString() - Method in class net.sf.tweety.logics.fol.syntax.Negation
toString() - Method in class net.sf.tweety.logics.fol.syntax.Tautology
toString() - Method in class net.sf.tweety.logics.fol.writer.Prover9Writer
toString() - Method in class net.sf.tweety.logics.fol.writer.TPTPWriter
toString() - Method in class net.sf.tweety.logics.ml.semantics.AccessibilityRelation
toString() - Method in class net.sf.tweety.logics.ml.semantics.KripkeModel
toString() - Method in class net.sf.tweety.logics.ml.semantics.MlHerbrandInterpretation
toString() - Method in class net.sf.tweety.logics.ml.syntax.Necessity
toString() - Method in class net.sf.tweety.logics.ml.syntax.Possibility
toString() - Method in class net.sf.tweety.logics.mln.analysis.AbstractCoherenceMeasure
toString() - Method in class net.sf.tweety.logics.mln.analysis.AggregatingCoherenceMeasure
toString() - Method in interface net.sf.tweety.logics.mln.analysis.CompatibilityMeasure
toString() - Method in class net.sf.tweety.logics.mln.analysis.DefaultCompatibilityMeasure
toString() - Method in class net.sf.tweety.logics.mln.syntax.MlnFormula
toString() - Method in class net.sf.tweety.logics.pcl.analysis.GeneralizedMeMachineShop
toString() - Method in class net.sf.tweety.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.pcl.semantics.ProbabilityDistribution
toString() - Method in class net.sf.tweety.logics.pcl.syntax.ProbabilisticConditional
toString() - Method in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasure
toString() - Method in class net.sf.tweety.logics.pl.analysis.ContensionInconsistencyMeasurementProcess
toString() - Method in class net.sf.tweety.logics.pl.analysis.HsInconsistencyMeasurementProcess
toString() - Method in class net.sf.tweety.logics.pl.semantics.FuzzyInterpretation
toString() - Method in class net.sf.tweety.logics.pl.semantics.NicePossibleWorld
toString() - Method in class net.sf.tweety.logics.pl.semantics.PriestWorld
toString() - Method in enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
toString() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePlFormula
toString() - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
toString() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
toString() - Method in class net.sf.tweety.logics.pl.syntax.Implication
toString() - Method in class net.sf.tweety.logics.pl.syntax.Negation
toString() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
toString() - Method in class net.sf.tweety.logics.pl.syntax.Tautology
toString() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
toString() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
toString() - Method in class net.sf.tweety.logics.rcl.semantics.RelationalRankingFunction
toString() - Method in class net.sf.tweety.logics.rcl.syntax.RelationalConditional
toString() - Method in class net.sf.tweety.logics.rdl.semantics.DefaultSequence
toString() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultRule
toString() - Method in class net.sf.tweety.logics.rdl.syntax.DefaultTheory
toString() - Method in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token: Returns the image.
toString() - Method in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token: Returns the image.
toString() - Method in class net.sf.tweety.logics.rpcl.semantics.AbstractRpclSemantics
toString() - Method in class net.sf.tweety.logics.rpcl.semantics.AggregatingSemantics
toString() - Method in class net.sf.tweety.logics.rpcl.semantics.AveragingSemantics
toString() - Method in class net.sf.tweety.logics.rpcl.semantics.InstanceAssignment
toString() - Method in class net.sf.tweety.logics.rpcl.semantics.ReferenceWorld
toString() - Method in class net.sf.tweety.logics.rpcl.semantics.RpclProbabilityDistribution
toString() - Method in interface net.sf.tweety.logics.rpcl.semantics.RpclSemantics
toString() - Method in class net.sf.tweety.logics.rpcl.syntax.RelationalProbabilisticConditional
toString() - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
toString() - Method in enum net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
toString() - Method in class net.sf.tweety.lp.asp.parser.SimpleNode
toString() - Method in class net.sf.tweety.lp.asp.parser.Token: Returns the image.
toString() - Method in exception net.sf.tweety.lp.asp.reasoner.SolverException
toString() - Method in class net.sf.tweety.lp.asp.semantics.AnswerSet
toString() - Method in class net.sf.tweety.lp.asp.syntax.AggregateAtom
toString() - Method in class net.sf.tweety.lp.asp.syntax.AggregateElement
toString() - Method in class net.sf.tweety.lp.asp.syntax.ArithmeticTerm
toString() - Method in class net.sf.tweety.lp.asp.syntax.ASPAtom
toString() - Method in class net.sf.tweety.lp.asp.syntax.ASPHead
toString() - Method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.AggregateFunction
toString() - Method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.ArithmeticOperator
toString() - Method in enum net.sf.tweety.lp.asp.syntax.ASPOperator.BinaryOperator
toString() - Method in class net.sf.tweety.lp.asp.syntax.ASPRule
toString() - Method in class net.sf.tweety.lp.asp.syntax.ComparativeAtom
toString() - Method in class net.sf.tweety.lp.asp.syntax.DefaultNegation
toString() - Method in class net.sf.tweety.lp.asp.syntax.Program
toString() - Method in class net.sf.tweety.lp.asp.syntax.StrictNegation
toString() - Method in class net.sf.tweety.lp.nlp.syntax.NLPNot
toString() - Method in class net.sf.tweety.machinelearning.assoc.AssociationRule
toString() - Method in class net.sf.tweety.machinelearning.DoubleCategory
toString() - Method in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
toString() - Method in class net.sf.tweety.machinelearning.TrainingParameter
toString() - Method in class net.sf.tweety.math.ComplexNumber
toString() - Method in class net.sf.tweety.math.equation.Statement
toString() - Method in interface net.sf.tweety.math.func.AggregationFunction
toString() - Method in class net.sf.tweety.math.func.AverageAggregator
toString() - Method in class net.sf.tweety.math.func.MaxAggregator
toString() - Method in class net.sf.tweety.math.func.MinAggregator
toString() - Method in class net.sf.tweety.math.func.ProductAggregator
toString() - Method in class net.sf.tweety.math.func.SumAggregator
toString() - Method in class net.sf.tweety.math.matrix.Matrix
toString() - Method in class net.sf.tweety.math.norm.AggregatingNorm
toString() - Method in class net.sf.tweety.math.norm.ProbabilisticAggregatingNorm
toString() - Method in class net.sf.tweety.math.norm.ProbabilisticPNorm
toString() - Method in class net.sf.tweety.math.opt.problem.ConstraintSatisfactionProblem
toString() - Method in class net.sf.tweety.math.opt.problem.OptimizationProblem
toString() - Method in class net.sf.tweety.math.probability.Probability
toString() - Method in class net.sf.tweety.math.probability.ProbabilityFunction
toString() - Method in class net.sf.tweety.math.term.AbsoluteValue
toString() - Method in class net.sf.tweety.math.term.Difference
toString() - Method in class net.sf.tweety.math.term.Exp
toString() - Method in class net.sf.tweety.math.term.FloatConstant
toString() - Method in class net.sf.tweety.math.term.Fraction
toString() - Method in class net.sf.tweety.math.term.FunctionalTerm
toString() - Method in class net.sf.tweety.math.term.IntegerConstant
toString() - Method in class net.sf.tweety.math.term.Logarithm
toString() - Method in class net.sf.tweety.math.term.Maximum
toString() - Method in class net.sf.tweety.math.term.Minimum
toString() - Method in class net.sf.tweety.math.term.Power
toString() - Method in class net.sf.tweety.math.term.Product
toString() - Method in class net.sf.tweety.math.term.Root
toString() - Method in class net.sf.tweety.math.term.Sum
toString() - Method in class net.sf.tweety.math.term.Term
toString() - Method in class net.sf.tweety.math.term.Variable
toString() - Method in interface net.sf.tweety.preferences.BinaryRelation: returns a String with the elements of this set
toString() - Method in class net.sf.tweety.preferences.io.Token: Returns the image.
toString() - Method in class net.sf.tweety.preferences.PreferenceOrder: returns a String with the elements of this set
toString() - Method in class net.sf.tweety.preferences.ranking.Functions: returns a string representation for this ranking function
toString(String) - Method in class net.sf.tweety.lp.asp.parser.SimpleNode
toSvmNode() - Method in class net.sf.tweety.machinelearning.DefaultObservation
toSvmNode() - Method in interface net.sf.tweety.machinelearning.Observation: Returns the svm_node (the data model of libsvm) representation of this observation.
TOTAL - Static variable in class net.sf.tweety.arg.rankings.postulates.RankingPostulate: The TOTAL postulate
TPTPParser - Class in net.sf.tweety.logics.fol.parser: This class implements a parser for the TPTP syntax that parses single fol formulas and knowledge bases (TPTP problem files or axiom files).
TPTPParser() - Constructor for class net.sf.tweety.logics.fol.parser.TPTPParser
TPTPParserExample - Class in net.sf.tweety.logics.fol.examples: Examples for using TPTPParser.
TPTPParserExample() - Constructor for class net.sf.tweety.logics.fol.examples.TPTPParserExample
TPTPTest - Class in net.sf.tweety.logics.fol.test: JUnitTest to test TPTP printer and EProver implementation
TPTPTest() - Constructor for class net.sf.tweety.logics.fol.test.TPTPTest
TPTPWriter - Class in net.sf.tweety.logics.fol.writer: Prints single first-order logic formulas and full knowledge bases to TPTP format.
TPTPWriter() - Constructor for class net.sf.tweety.logics.fol.writer.TPTPWriter: Creates new TPTPWriter
TPTPWriter(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.TPTPWriter: Creates new TPTPWriter
TRACE - net.sf.tweety.commons.TweetyConfiguration.LogLevel
train(TrainingSet<DefaultObservation, DoubleCategory>) - Method in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
train(TrainingSet<DefaultObservation, DoubleCategory>, ParameterSet) - Method in class net.sf.tweety.machinelearning.svm.MultiClassRbfTrainer
train(TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
train(TrainingSet<S, T>) - Method in interface net.sf.tweety.machinelearning.Trainer: Trains a classifier on the given training set.
train(TrainingSet<S, T>, ParameterSet) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
train(TrainingSet<S, T>, ParameterSet) - Method in interface net.sf.tweety.machinelearning.Trainer: Trains a classifier on the given training set with the given parameters
Trainer<S extends Observation,T extends Category> - Interface in net.sf.tweety.machinelearning
TrainingParameter - Class in net.sf.tweety.machinelearning: A single parameter for a training method.
TrainingParameter(String, double, double, double) - Constructor for class net.sf.tweety.machinelearning.TrainingParameter: Creates a new training parameter with the given values and actual value as default value.
TrainingParameter(String, double, double, double, double) - Constructor for class net.sf.tweety.machinelearning.TrainingParameter: Creates a new training parameter with the given values.
TrainingSet<S extends Observation,T extends Category> - Class in net.sf.tweety.machinelearning: A set of observations together with their category.
TrainingSet() - Constructor for class net.sf.tweety.machinelearning.TrainingSet
transform(Collection<PlFormula>) - Method in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
transform(Collection<ASPRule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
transform(Collection<ASPRule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
transform(Collection<T>) - Method in interface net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction: Transforms the given set of formulas for selective revision.
transform(AcceptanceCondition) - Method in class net.sf.tweety.arg.adf.transform.AbstractCollector
transform(AcceptanceCondition) - Method in class net.sf.tweety.arg.adf.transform.AbstractTransformer
transform(AcceptanceCondition) - Method in interface net.sf.tweety.arg.adf.transform.Transformer: Transforms the given acceptance condition into another structure.
transform(AbstractDialecticalFramework, Transformer<AcceptanceCondition>) - Static method in interface net.sf.tweety.arg.adf.syntax.adf.AbstractDialecticalFramework: Creates a new AbstractDialecticalFramework with transformed acceptance conditions.
transform(ASPRule) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction: "Transforms" the single fact by either accepting or rejecting it.
transform(ASPRule) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction: "Transforms" the single rule by either accepting or rejecting it.
transform(T) - Method in interface net.sf.tweety.beliefdynamics.selectiverevision.TransformationFunction: Transforms the given formula for selective revision.
TransformationFunction<T extends Formula> - Interface in net.sf.tweety.beliefdynamics.selectiverevision: This interface represents a transformation function for selective revision [Ferme:1999].
Transformer<R> - Interface in net.sf.tweety.arg.adf.transform: Transforms an acceptance condition into an arbitrary structure.
Transition - Class in net.sf.tweety.action.transitionsystem: Represents a transition in an action transition system, which is a representation of the execution of an action which causes a state change from a source state to a target state.
Transition(State, FolAction, State) - Constructor for class net.sf.tweety.action.transitionsystem.Transition: Creates a new transition with the given parameters.
TransitionSystem - Class in net.sf.tweety.action.transitionsystem: This class represents an action transition system for a fixed action signature with a set of states and a set of transitions between states.
TransitionSystem(Set<State>, Set<Transition>, ActionSignature) - Constructor for class net.sf.tweety.action.transitionsystem.TransitionSystem: Creates a new transition system.
TransitionSystem(Set<State>, ActionSignature) - Constructor for class net.sf.tweety.action.transitionsystem.TransitionSystem: Creates a new transition system.
TransitionSystem(ActionSignature) - Constructor for class net.sf.tweety.action.transitionsystem.TransitionSystem: Creates a new empty transition system with the given ActionSignature.
translate(List<Program>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision: Translates the given list of programs to the credibility logic program.
translateAssociative(A, Class<?>) - Method in class net.sf.tweety.logics.translators.Translator: Translates the given AssociativeFormula into another AssociativeFormula thats type is given by the parameter assocCls
translateAtom(Atom, Class<?>) - Method in class net.sf.tweety.logics.translators.Translator: Translates the given source atom into an instance of atomCls and returns the translation.
translatePredicate(Predicate, Class<C>) - Method in class net.sf.tweety.logics.translators.Translator: Translates the given source predicate into an instance of the given predicate class and returns the translation.
translateRule(Rule<? extends SimpleLogicalFormula, ? extends SimpleLogicalFormula>, Class<?>) - Method in class net.sf.tweety.logics.translators.Translator
TranslateTest - Class in net.sf.tweety.logics.translators.folprop: Tests the FOLPropTranslator
TranslateTest() - Constructor for class net.sf.tweety.logics.translators.folprop.TranslateTest
translateTwoDisjunctions() - Method in class net.sf.tweety.logics.translators.aspnlp.ASPNLPTranslatorTest
translateUsingMap(SimpleLogicalFormula) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
translateUsingMap(SimpleLogicalFormula) - Method in class net.sf.tweety.logics.translators.Translator
TranslationTest - Class in net.sf.tweety.arg.bipolar
TranslationTest() - Constructor for class net.sf.tweety.arg.bipolar.TranslationTest
Translator - Class in net.sf.tweety.logics.translators: Allows translation between different logic languages, sub classes have to implement the translation between complex formulas but this base class provides methods to translate, predicates, Atoms, Associative formulas and Rules.
Translator() - Constructor for class net.sf.tweety.logics.translators.Translator
transpose() - Method in class net.sf.tweety.math.matrix.Matrix: Transposes this matrix, i.e.
TravelingSalesman - Class in net.sf.tweety.math.examples: implements the traveling salesman problem.
TravelingSalesman(ArrayList<ElementOfCombinatoricsProb>) - Constructor for class net.sf.tweety.math.examples.TravelingSalesman
TravelingSalesmanEx - Class in net.sf.tweety.math.examples: Class implementing an example for a TSP on a cartesian fully connected graph
TravelingSalesmanEx() - Constructor for class net.sf.tweety.math.examples.TravelingSalesmanEx
TravelingSalesmanEx2 - Class in net.sf.tweety.math.examples: Class implementing an example for a TSP on a cartesian fully connected graph
TravelingSalesmanEx2() - Constructor for class net.sf.tweety.math.examples.TravelingSalesmanEx2
trim() - Method in class net.sf.tweety.logics.pl.syntax.Conjunction
trim() - Method in class net.sf.tweety.logics.pl.syntax.Disjunction
trim() - Method in class net.sf.tweety.logics.pl.syntax.Equivalence
trim() - Method in class net.sf.tweety.logics.pl.syntax.ExclusiveDisjunction
trim() - Method in class net.sf.tweety.logics.pl.syntax.Implication
trim() - Method in class net.sf.tweety.logics.pl.syntax.Negation
trim() - Method in class net.sf.tweety.logics.pl.syntax.PlFormula: Removes duplicates (identical formulas) from conjunctions and disjunctions and removes duplicate negations.
trim() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
trim() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
trim() - Method in class net.sf.tweety.logics.qbf.syntax.ExistsQuantifiedFormula
trim() - Method in class net.sf.tweety.logics.qbf.syntax.ForallQuantifiedFormula
Triple<E,F,G> - Class in net.sf.tweety.commons.util: This class implements a simple triple of elements.
Triple() - Constructor for class net.sf.tweety.commons.util.Triple: Initializes an empty triple.
Triple(E, F, G) - Constructor for class net.sf.tweety.commons.util.Triple: Initializes the elements of this triple with the given parameters
TripleSetSignature<T,S,U> - Class in net.sf.tweety.commons: This class models a signature as three sets of formulas.
TripleSetSignature() - Constructor for class net.sf.tweety.commons.TripleSetSignature: Creates a new empty signature.
TRUE - net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
TruthfulArgumentationAgent - Class in net.sf.tweety.agents.dialogues.structured: This class models a truthful argumentation agent, i.e.
TruthfulArgumentationAgent(StructuredArgumentationFramework, UtilityFunction) - Constructor for class net.sf.tweety.agents.dialogues.structured.TruthfulArgumentationAgent: Creates a new (non-single-step) agent with the given (local) view and utility function.
TruthfulArgumentationAgent(StructuredArgumentationFramework, UtilityFunction, boolean) - Constructor for class net.sf.tweety.agents.dialogues.structured.TruthfulArgumentationAgent: Creates a new agent with the given (local) view and utility function.
TseitinTransformer - Class in net.sf.tweety.arg.adf.transform
TseitinTransformer.Builder - Class in net.sf.tweety.arg.adf.transform
TT_ASSOC - Static variable in class net.sf.tweety.logics.translators.Translator
TT_ATOM - Static variable in class net.sf.tweety.logics.translators.Translator
TT_NEGATION - Static variable in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
TT_PREDICATE - Static variable in class net.sf.tweety.logics.translators.Translator
TT_RULE - Static variable in class net.sf.tweety.logics.translators.Translator
TuplesExample() - Static method in class net.sf.tweety.arg.rankings.examples.RaPostulateExample
TuplesRankingReasoner - Class in net.sf.tweety.arg.rankings.reasoner: This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.
TuplesRankingReasoner() - Constructor for class net.sf.tweety.arg.rankings.reasoner.TuplesRankingReasoner
TWEETY - net.sf.tweety.logics.pl.parser.PlParserFactory.Format
TWEETY_CLI_DEFAULT_CONFIG - Static variable in class net.sf.tweety.cli.plugins.CliMain
TweetyCli - Class in net.sf.tweety.cli: This class implements a simple command line interface for accessing the functionalities provided by the Tweety libraries.
TweetyCli() - Constructor for class net.sf.tweety.cli.TweetyCli
TweetyConfiguration - Interface in net.sf.tweety.commons: This interface contains some configuration options for Tweety.
TweetyConfiguration.LogLevel - Enum in net.sf.tweety.commons: The possible log levels.
TweetyLogging - Class in net.sf.tweety.commons: This class handles the global logging configuration.
TweetyLogging() - Constructor for class net.sf.tweety.commons.TweetyLogging
TweetyPlugin - Interface in net.sf.tweety.plugin: This class provides the base for each plugin's functionality
TweetyServer - Class in net.sf.tweety.web: Uses the Grizzly HTTP server to instantiate the Tweety server that provides API access to Tweety services.
TweetyServer() - Constructor for class net.sf.tweety.web.TweetyServer
TwoValuedInterpretationIterator - Class in net.sf.tweety.arg.adf.semantics.interpretation
TwoValuedInterpretationIterator(Set<Argument>) - Constructor for class net.sf.tweety.arg.adf.semantics.interpretation.TwoValuedInterpretationIterator
TwoValuedModelSatEncoding - Class in net.sf.tweety.arg.adf.reasoner.sat.encodings
TwoValuedModelSatEncoding() - Constructor for class net.sf.tweety.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding
TypedStructure - Interface in net.sf.tweety.logics.commons.syntax.interfaces: This interface defines method which are given by every TypedStructure like a Predicate or an Functor.
TypedStructureAdapter - Class in net.sf.tweety.logics.commons.syntax: The abstract parent for predicates and functors implementing the TypedStructure interface.
TypedStructureAdapter() - Constructor for class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter: Default-Ctor: Creating empty typed structure
TypedStructureAdapter(String) - Constructor for class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter: Initializes a structure of arity zero with the given name;
TypedStructureAdapter(String, int) - Constructor for class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter: Initializes a structure with the given name and of the given arity.
TypedStructureAdapter(String, List<Sort>) - Constructor for class net.sf.tweety.logics.commons.syntax.TypedStructureAdapter: Initializes a structure with the given name and the given list of argument sorts.
TypesTest() - Method in class net.sf.tweety.logics.qbf.test.QbfTest

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