Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 

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>, T1BeliefState) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.T1BeliefState
Creates a new T1-belief-state with the given parameters.
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.
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>, ProbabilityFunction<T2BeliefState>) - Constructor for class net.sf.tweety.agents.dialogues.oppmodels.T2BeliefState
Creates a new T2-belief-state with the given parameters.
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.
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
 
tabSize - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
 
tabSize - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
 
tabSize - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
 
tabSize - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
 
tabSize - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
 
tail - Variable in class net.sf.tweety.lp.asp.syntax.ListTermValue
 
tail() - Method in class net.sf.tweety.lp.asp.syntax.ListTermValue
 
targetFunction - Variable in class net.sf.tweety.math.opt.OptimizationProblem
The target function of this problem.
targetSort - Variable in class net.sf.tweety.logics.commons.syntax.Functor
The sort of a functional term using this functor
TAUTOLOGY() - Static method in class net.sf.tweety.logics.commons.LogicalSymbols
 
Tautology - Class in net.sf.tweety.logics.fol.syntax
A tautological formula.
Tautology() - Constructor for class net.sf.tweety.logics.fol.syntax.Tautology
Creates a new tautology.
Tautology - Class in net.sf.tweety.logics.pl.syntax
A tautological formula.
Tautology() - Constructor for class net.sf.tweety.logics.pl.syntax.Tautology
Creates a new tautology.
TautologyAsQueryTest() - Method in class net.sf.tweety.logics.ml.ModalReasonerTest
 
TautologyTest() - Method in class net.sf.tweety.logics.fol.test.FolParserTest
 
TautologyTest() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
 
tconorm - Variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
The used T-conorm
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.
temp - Variable in class net.sf.tweety.commons.util.RandomSubsetIterator
Only used when avoidDuplicats is set to true.
tempDirectory - Variable in class net.sf.tweety.logics.mln.reasoner.NaiveMlnReasoner
Directory for temporary files.
tempFolder - Variable in class net.sf.tweety.arg.delp.TestDeLP
 
tempFolder - Variable in class net.sf.tweety.arg.delp.TestKBParsing
 
tempFolder - Static variable in class net.sf.tweety.logics.pl.sat.SatSolver
For temporary files.
Term(DefeasibleLogicProgram, FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
 
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() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
 
term - Variable in class net.sf.tweety.math.term.FunctionalTerm
The inner term of this operation.
Term - Class in net.sf.tweety.math.term
This class models a mathematical term.
Term() - Constructor for class net.sf.tweety.math.term.Term
 
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
TermLst() - Method in class net.sf.tweety.lp.asp.parser.ASPParser
 
terms - Variable in class net.sf.tweety.math.term.AssociativeOperation
The terms of this operation.
test(ClBeliefSet) - Static method in class net.sf.tweety.logics.cl.examples.ReasonerExample
 
test() - Method in class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest
 
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(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.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
 
testAggregate() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testAnswerSetParsing() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
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
 
testArithmetic() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testAttack() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
 
testAttackFailsWeakMaximality() - Method in class net.sf.tweety.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest
 
testBordaScoringPreferenceAggregator_1() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
 
testCloneEqualAtom() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
 
testComparative() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
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
 
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
 
tester - Variable in class net.sf.tweety.logics.commons.analysis.NaiveMusEnumerator
Used for making consistency checks.
tester - Variable in class net.sf.tweety.machinelearning.GridSearchParameterLearner
The tester used for measuring the performance of each parameter combination.
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
 
testFunctionalTerm() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
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
 
testList(ListTermValue, InstantiateVisitor) - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testListTermParsing() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testLiteralParsing() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testLiteralReasoner() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest
 
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
 
testPluralityScoringPreferenceAggregator_1() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
 
testProgram() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
 
testProgramParsing() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testPropToFOLAtomTranslation() - Method in class net.sf.tweety.logics.translators.folprop.TranslateTest
 
testQuantification() - Method in class net.sf.tweety.logicprogramming.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
 
testRule() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
 
testRuleParsing() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
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
 
testSet(Set<Term<?>>, InstantiateVisitor) - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testSetTerm() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testSimpleDefaultifcation() - Method in class net.sf.tweety.lp.asp.syntax.DefaultificationTest
 
testSimpleTermParsing() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
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
 
testSymbolicSet() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testUndercut() - Method in class net.sf.tweety.argumentation.parameterisedhierarchy.AttackTest
 
testUpperCaseFunctionalTerm() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
 
testVetoScoringPreferenceAggregator_1() - Method in class net.sf.tweety.preferences.test.ScoringPreferenceAggregatorTest
 
text - Variable in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
 
TFUZZY_MEASURE - Static variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
static constant for the T-version of the measure
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
 
theMap - Variable in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
The actual map used for storing acceptability values
theory - Variable in class net.sf.tweety.agents.dialogues.lotteries.AbstractLotteryAgent
The theory of this agent.
theory - Variable in class net.sf.tweety.agents.dialogues.oppmodels.GroundedGameUtilityFunction
The underlying Dung theory
Theory(FolSignature) - Method in class net.sf.tweety.arg.delp.parser.DelpParser
 
theory - Variable in class net.sf.tweety.arg.dung.ldo.semantics.LdoInterpretation
The abstract argumentation framework
theory - Variable in class net.sf.tweety.arg.prob.lotteries.SubgraphProbabilityFunction
The theory of this probability function.
THING - Static variable in class net.sf.tweety.logics.commons.syntax.Sort
Default sort for unsorted first-order logics
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 - Variable in class net.sf.tweety.logics.commons.analysis.streams.InconsistencyMeasurementProcess
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
 
timeout - Static variable in class net.sf.tweety.web.services.InconsistencyMeasurementService
Time out for the update operation (in seconds).
TINA - Static variable in class net.sf.tweety.arg.delp.TestArguments
 
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
 
tmpFolder - Static variable in class net.sf.tweety.math.opt.solver.GlpkSolver
For temporary files.
tmpFolder - Static variable in class net.sf.tweety.math.opt.solver.LpSolve
For temporary files.
tnorm - Variable in class net.sf.tweety.logics.pl.analysis.FuzzyInconsistencyMeasure
The used T-norm
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
 
to - Variable in class net.sf.tweety.action.transitionsystem.Transition
 
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(S[]) - Method in class net.sf.tweety.agents.MultiAgentSystem
 
toArray() - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
 
toArray(R[]) - Method in class net.sf.tweety.arg.aba.semantics.AbaExtension
 
toArray() - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
toArray(Object[]) - Method in class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula
 
toArray() - Method in class net.sf.tweety.arg.dung.semantics.Extension
 
toArray(T[]) - Method in class net.sf.tweety.arg.dung.semantics.Extension
 
toArray() - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
 
toArray(T[]) - Method in class net.sf.tweety.arg.saf.syntax.ArgumentStructure
 
toArray() - Method in class net.sf.tweety.commons.BeliefSet
 
toArray(S[]) - Method in class net.sf.tweety.commons.BeliefSet
 
toArray() - Method in class net.sf.tweety.commons.InterpretationSet
 
toArray(R[]) - Method in class net.sf.tweety.commons.InterpretationSet
 
toArray() - Method in class net.sf.tweety.commons.SetSignature
 
toArray(S[]) - Method in class net.sf.tweety.commons.SetSignature
 
toArray() - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
toArray(C[]) - Method in class net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport
 
toArray() - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
 
toArray(T[]) - Method in class net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula
 
toArray() - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
 
toArray(Object[]) - Method in class net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula
 
toArray() - Method in class net.sf.tweety.logics.rdl.semantics.Extension
 
toArray(T[]) - Method in class net.sf.tweety.logics.rdl.semantics.Extension
 
toArray() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
 
toArray(T[]) - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
 
toArray() - Method in class net.sf.tweety.math.Interval
 
toArray(T[]) - Method in class net.sf.tweety.math.Interval
 
toArray() - Method in class net.sf.tweety.preferences.PreferenceOrder
returns an array containing all objects
toArray(T[]) - Method in class net.sf.tweety.preferences.PreferenceOrder
returns all elements in an array
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(Disjunction) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
 
toASP(NLPRule) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
Translates the given NLP-rule into an ASP Program.
toASP(NLPProgram) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
Translate the given NLP-program into an ASP-program.
toBlakeCanonicalForm() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
This method returns this formula in Blake canonical form.
toCl(NLPRule) - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
Translates the given NLP-rule into a conditional.
toCl(NLPProgram) - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
Translate the given NLP-program into a conditional belief set.
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.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.Proposition
 
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
This method returns this formula in conjunctive normal form (CNF).
toCnf() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
 
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
 
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.PropositionalFormula
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.saf.syntax.StructuredArgumentationFramework
Constructs a (pure) Dung theory from this structured argumentation framework.
ToDungTheoryMethodTest() - Method in class net.sf.tweety.arg.aba.ABATest
 
toFOL(DLPAtom) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
 
toFOL(DLPNeg) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
 
toFOL(DLPLiteral) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
 
toFOL(DLPHead) - Method in class net.sf.tweety.logics.translators.aspfol.AspFolTranslator
 
toFOL(Proposition) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
Translates the given proposition into a FOL-Atom
toFOL(Disjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
Translates the given propositional Disjunction to a FOL Disjunction
toFOL(Conjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
Translates the given propositional Conjunction to a FOL Conjunction
toFOL(PropositionalFormula) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
 
token - Variable in class net.sf.tweety.arg.delp.parser.DelpParser
Current token.
Token - Class in net.sf.tweety.arg.delp.parser
Describes the input token stream.
Token() - Constructor for class net.sf.tweety.arg.delp.parser.Token
No-argument constructor
Token(int) - Constructor for class net.sf.tweety.arg.delp.parser.Token
Constructs a new token for the specified Image.
Token(int, String) - Constructor for class net.sf.tweety.arg.delp.parser.Token
Constructs a new token for the specified Image and Kind.
token - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Current token.
Token - Class in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Describes the input token stream.
Token() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
No-argument constructor
Token(int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
Constructs a new token for the specified Image.
Token(int, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token
Constructs a new token for the specified Image and Kind.
token - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
Current token.
Token - Class in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
Describes the input token stream.
Token() - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
No-argument constructor
Token(int) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
Constructs a new token for the specified Image.
Token(int, String) - Constructor for class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.Token
Constructs a new token for the specified Image and Kind.
token - Variable in class net.sf.tweety.lp.asp.parser.ASPParser
Current token.
Token - Class in net.sf.tweety.lp.asp.parser
Describes the input token stream.
Token() - Constructor for class net.sf.tweety.lp.asp.parser.Token
No-argument constructor
Token(int) - Constructor for class net.sf.tweety.lp.asp.parser.Token
Constructs a new token for the specified Image.
Token(int, String) - Constructor for class net.sf.tweety.lp.asp.parser.Token
Constructs a new token for the specified Image and Kind.
token - Variable in class net.sf.tweety.preferences.io.POParser
Current token.
Token - Class in net.sf.tweety.preferences.io
Describes the input token stream.
Token() - Constructor for class net.sf.tweety.preferences.io.Token
No-argument constructor
Token(int) - Constructor for class net.sf.tweety.preferences.io.Token
Constructs a new token for the specified Image.
Token(int, String) - Constructor for class net.sf.tweety.preferences.io.Token
Constructs a new token for the specified Image and Kind.
token - Variable in class net.sf.tweety.preferences.io.UPParser
Current token.
token_source - Variable in class net.sf.tweety.arg.delp.parser.DelpParser
Generated Token Manager.
token_source - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser
Generated Token Manager.
token_source - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser
Generated Token Manager.
token_source - Variable in class net.sf.tweety.lp.asp.parser.ASPParser
Generated Token Manager.
token_source - Variable in class net.sf.tweety.preferences.io.POParser
Generated Token Manager.
token_source - Variable in class net.sf.tweety.preferences.io.UPParser
Generated Token Manager.
tokenBegin - Variable in class net.sf.tweety.arg.delp.parser.SimpleCharStream
 
tokenBegin - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.SimpleCharStream
 
tokenBegin - Static variable in class net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.SimpleCharStream
 
tokenBegin - Variable in class net.sf.tweety.lp.asp.parser.SimpleCharStream
 
tokenBegin - Variable in class net.sf.tweety.preferences.io.SimpleCharStream
 
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
Literal token values.
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.ASPParserConstants
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
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.preferences.io.POParserConstants
Literal token values.
tokenImage - Static variable in interface net.sf.tweety.preferences.io.UPParserConstants
Literal token values.
TokenMgrError - Error in net.sf.tweety.arg.delp.parser
Token Manager Error.
TokenMgrError() - Constructor for error net.sf.tweety.arg.delp.parser.TokenMgrError
No arg constructor.
TokenMgrError(String, int) - Constructor for error net.sf.tweety.arg.delp.parser.TokenMgrError
Constructor with message and reason.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.arg.delp.parser.TokenMgrError
Full Constructor.
TokenMgrError - Error in net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser
Token Manager Error.
TokenMgrError() - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
No arg constructor.
TokenMgrError(String, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
Constructor with message and reason.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError
Full Constructor.
TokenMgrError - Error in net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser
Token Manager Error.
TokenMgrError() - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
No arg constructor.
TokenMgrError(String, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
Constructor with message and reason.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError
Full Constructor.
TokenMgrError - Error in net.sf.tweety.lp.asp.parser
Token Manager Error.
TokenMgrError() - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError
No arg constructor.
TokenMgrError(String, int) - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError
Constructor with message and reason.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.lp.asp.parser.TokenMgrError
Full Constructor.
TokenMgrError - Error in net.sf.tweety.preferences.io
Token Manager Error.
TokenMgrError() - Constructor for error net.sf.tweety.preferences.io.TokenMgrError
No arg constructor.
TokenMgrError(String, int) - Constructor for error net.sf.tweety.preferences.io.TokenMgrError
Constructor with message and reason.
TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.preferences.io.TokenMgrError
Full Constructor.
tolerance - Variable in class net.sf.tweety.arg.social.reasoner.IssReasoner
The tolerance of the ISS algorithm.
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
 
toNLP(Rule) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
Translates the given ASP rule to a NLP-rule.
toNLP(Program) - Method in class net.sf.tweety.logics.translators.aspnlp.AspNlpTranslator
 
toNLP(Conditional) - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
Translates the given conditional to a NLP-rule.
toNLP(ClBeliefSet) - Method in class net.sf.tweety.logics.translators.clnlp.ClNLPTranslator
Translate the given conditional belief set into a NLP-program.
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.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.Negation
 
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
 
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
This method returns this formula in negation normal form (NNF).
toNnf() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
 
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.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.
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
 
toPowerSet(Collection<S>) - Static method in class net.sf.tweety.arg.aba.syntax.ABATheory
Computes the power set of a collection
toProbabilityDistribution() - Method in class net.sf.tweety.logics.rpcl.semantics.CondensedProbabilityDistribution
Converts this condensed probability distribution into an ordinary probability distribution.
toPropositional(FOLAtom) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
Translates the given FOL-Atom into a Proposition
toPropositional(Disjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
Translates the given FOL Disjunction to a propositional Disjunction
toPropositional(Conjunction) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
Translates the given FOL Conjunction to a propositional Conjunction
toPropositional(FolFormula) - Method in class net.sf.tweety.logics.translators.folprop.FOLPropTranslator
 
toprule - Variable in class net.sf.tweety.arg.aspic.syntax.AspicArgument
The srgument's top rule
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.aspic.order.SimpleAspicOrder
 
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.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 class net.sf.tweety.arg.delp.semantics.ArgumentCompletion
 
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.LatticeArgumentRanking
 
toString() - Method in class net.sf.tweety.arg.dung.semantics.NumericalArgumentRanking
 
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.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.gui.RevisionComparePresenter.MockFormula
 
toString() - Method in class net.sf.tweety.beliefdynamics.gui.RevisionComparePresenter.MockOperator
 
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.InterpretationSet
 
toString() - Method in class net.sf.tweety.commons.postulates.PostulateEvaluationReport
 
toString() - Method in class net.sf.tweety.commons.SetSignature
 
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 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.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 the 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.ModalHerbrandInterpretation
 
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.AssociativePropositionalFormula
 
toString() - Method in class net.sf.tweety.logics.pl.syntax.Contradiction
 
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.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.gui.SimpleRevisionComparePresenter.MockOperator
 
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(String) - 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.semantics.AnswerSetList
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.Aggregate
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.Arithmetic
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.Comparative
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.DLPAtom
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.DLPHead
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.DLPNeg
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.DLPNot
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.ListTermValue
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.Program
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.Rule
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.SetTerm
 
toString() - Method in class net.sf.tweety.lp.asp.syntax.SymbolicSet
 
toString() - Method in class net.sf.tweety.lp.asp.util.AnswerSet
 
toString() - Method in class net.sf.tweety.lp.asp.util.AnswerSetList
 
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.ConstraintSatisfactionProblem
 
toString() - Method in class net.sf.tweety.math.opt.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
toStringFlat() - Method in class net.sf.tweety.lp.asp.syntax.Program
 
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.
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(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.TPTPWriter
Creates new TPTPWriter
TPTPWriter() - Constructor for class net.sf.tweety.logics.fol.writer.TPTPWriter
Creates new TPTPWriter
trace - Variable in class net.sf.tweety.agents.dialogues.ArgumentationEnvironment
The current dialogue trace.
trace - Variable in class net.sf.tweety.agents.dialogues.LotteryArgumentationEnvironment
The current dialogue trace.
trace - Variable in class net.sf.tweety.agents.dialogues.oppmodels.DeductiveEnvironment
The current dialogue trace.
train(TrainingSet<S, T>) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
 
train(TrainingSet<S, T>, ParameterSet) - Method in class net.sf.tweety.machinelearning.ParameterTrainer
 
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 interface net.sf.tweety.machinelearning.Trainer
Trains a classifier on the given training set.
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 - Variable in class net.sf.tweety.machinelearning.ParameterTrainer
The trainer for which we seek the best 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<PropositionalFormula>) - Method in class net.sf.tweety.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction
 
transform(Collection<T>) - Method in interface net.sf.tweety.beliefdynamics.selectiverevision.MultipleTransformationFunction
Transforms the given set of formulas for selective revision.
transform(T) - Method in interface net.sf.tweety.beliefdynamics.selectiverevision.TransformationFunction
Transforms the given formula for selective revision.
transform(Collection<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
 
transform(Rule) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction
"Transforms" the single fact by either accepting or rejecting it.
transform(Collection<Rule>) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
 
transform(Rule) - Method in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction
"Transforms" the single rule by either accepting or rejecting it.
transformationFunction - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.MultipleSelectiveRevisionOperator
The transformation function for this revision.
transformationFunction - Variable in class net.sf.tweety.beliefdynamics.selectiverevision.SelectiveRevisionOperator
The transformation function for this revision.
TransformationFunction<T extends Formula> - Interface in net.sf.tweety.beliefdynamics.selectiverevision
This interface represents a transformation function for selective revision [Ferme:1999].
transformationType - Variable in class net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
 
TransformationType() - Constructor for enum net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
 
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.
transitions - Variable in class net.sf.tweety.action.transitionsystem.TransitionSystem
 
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.
translate(Program, int) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
Helper method: Translates the given 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.
translateLiteral(DLPLiteral) - Method in class net.sf.tweety.lp.asp.beliefdynamics.revision.CredibilityRevision
Helper method: creates a string representing the literal and an literal representing the prioritzed version of the literal.
translateMap - Variable in class net.sf.tweety.logics.translators.Translator
 
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
 
translator - Static variable in class net.sf.tweety.logics.translators.folprop.TranslateTest
 
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.
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.Negation
 
trim() - Method in class net.sf.tweety.logics.pl.syntax.Proposition
 
trim() - Method in class net.sf.tweety.logics.pl.syntax.PropositionalFormula
Removes duplicates (identical formulas) from conjunctions and disjunctions and duplicate negations.
trim() - Method in class net.sf.tweety.logics.pl.syntax.SpecialFormula
 
Triple<E,F,G> - Class in net.sf.tweety.commons.util
This class implements a simple triple of elements.
Triple(E, F, G) - Constructor for class net.sf.tweety.commons.util.Triple
Initializes the elements of this triple with the given parameters
Triple() - Constructor for class net.sf.tweety.commons.util.Triple
Initializes an empty triple.
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.
TruthValue() - Constructor for enum net.sf.tweety.logics.pl.semantics.PriestWorld.TruthValue
 
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
 
tuples - Variable in class net.sf.tweety.logics.ml.semantics.AccessibilityRelation
The actual relation
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
 
txtBeliefBase - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
 
txtBeliefBases - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
 
txtNewBeliefs - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
 
txtResultLeft - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
 
txtResultLeft - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
 
txtResultRight - Variable in class net.sf.tweety.beliefdynamics.gui.RevisionCompareView
 
txtResultRight - Variable in class net.sf.tweety.lp.asp.beliefdynamics.gui.SimpleRevisionCompareView
 
Type(String) - Constructor for enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
 
type - Variable in class net.sf.tweety.math.equation.Inequation
 
type - Variable in class net.sf.tweety.math.opt.OptimizationProblem
The type of the optimization problem.
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.
typeForBoolean(boolean) - Static method in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
 
typeForDouble(Double) - Static method in enum net.sf.tweety.arg.delp.semantics.DelpAnswer.Type
 
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 
Skip navigation links