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