- 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.arg.dung.parser.SimpleCharStream
-
- tabSize - Variable in class net.sf.tweety.logics.fol.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 - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
-
RegularExpression Id.
- 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.
- 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
-
- 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.ml.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(FolSignature, Sort) - Method in class net.sf.tweety.logics.fol.parser.FolParserB
-
- 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.test.ReasonerCompare
-
- test() - Static method in class net.sf.tweety.logics.fol.test.FolTest
-
- test() - Method in class net.sf.tweety.logics.pl.test.FuzzyInconsistencyMeasureTest
-
- test() - Method in class net.sf.tweety.logics.pl.test.PlParserTest
-
- 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.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.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.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.fol.test.Prover9Test
-
- 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
-
- testCloneEqualAtom() - Method in class net.sf.tweety.lp.asp.syntax.EqualsTester
-
- testComparative() - Method in class net.sf.tweety.lp.asp.parser.ParserTest
-
- 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
-
- testDisjunctionFOLtoProp() - Method in class net.sf.tweety.logics.translators.folprop.TranslateTest
-
- testDivider() - Static method in class net.sf.tweety.arg.dung.test.LdoTest
-
- 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
-
- 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
-
- 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
-
- 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
-
- text - Variable in enum net.sf.tweety.arg.delp.DelpAnswer.Type
-
- text - Variable in class net.sf.tweety.commons.Answer
-
A textual description of the answer to the query.
- 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() - Static method in class net.sf.tweety.arg.dung.parser.DungParser
-
- 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.test.GroundedTest
-
- timeout - Static variable in class net.sf.tweety.agents.dialogues.test.GroundedTest2
-
- timeout - Static variable in class net.sf.tweety.agents.dialogues.test.LotteryDialogueTest
-
- timeout - Static variable in class net.sf.tweety.agents.dialogues.test.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.test.StreamInconsistencyEvaluation
-
- TIMEOUT - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
-
- 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.test.StreamInconsistencyEvaluation
-
- TMP_FILE_FOLDER - Static variable in class net.sf.tweety.logics.pl.test.StreamInconsistencyEvaluation2
-
- 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.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(S[]) - 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.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.PlBeliefSet
-
This method returns this belief set in conjunctive normal form (CNF).
- 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.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.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.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.arg.dung.parser.DungParser
-
Current token.
- Token - Class in net.sf.tweety.arg.dung.parser
-
Describes the input token stream.
- Token() - Constructor for class net.sf.tweety.arg.dung.parser.Token
-
No-argument constructor
- Token(int) - Constructor for class net.sf.tweety.arg.dung.parser.Token
-
Constructs a new token for the specified Image.
- Token(int, String) - Constructor for class net.sf.tweety.arg.dung.parser.Token
-
Constructs a new token for the specified Image and Kind.
- token - Variable in class net.sf.tweety.logics.fol.parser.FolParserB
-
Current token.
- Token - Class in net.sf.tweety.logics.fol.parser
-
Describes the input token stream.
- Token() - Constructor for class net.sf.tweety.logics.fol.parser.Token
-
No-argument constructor
- Token(int) - Constructor for class net.sf.tweety.logics.fol.parser.Token
-
Constructs a new token for the specified Image.
- Token(int, String) - Constructor for class net.sf.tweety.logics.fol.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.arg.dung.parser.DungParser
-
Generated Token Manager.
- token_source - Variable in class net.sf.tweety.logics.fol.parser.FolParserB
-
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.arg.dung.parser.SimpleCharStream
-
- tokenBegin - Variable in class net.sf.tweety.logics.fol.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 - Static variable in interface net.sf.tweety.arg.dung.parser.DungParserConstants
-
Literal token values.
- tokenImage - Variable in exception net.sf.tweety.arg.dung.parser.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.fol.parser.FolParserBConstants
-
Literal token values.
- tokenImage - Variable in exception net.sf.tweety.logics.fol.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.arg.dung.parser
-
Token Manager Error.
- TokenMgrError() - Constructor for error net.sf.tweety.arg.dung.parser.TokenMgrError
-
No arg constructor.
- TokenMgrError(String, int) - Constructor for error net.sf.tweety.arg.dung.parser.TokenMgrError
-
Constructor with message and reason.
- TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.arg.dung.parser.TokenMgrError
-
Full Constructor.
- TokenMgrError - Error in net.sf.tweety.logics.fol.parser
-
Token Manager Error.
- TokenMgrError() - Constructor for error net.sf.tweety.logics.fol.parser.TokenMgrError
-
No arg constructor.
- TokenMgrError(String, int) - Constructor for error net.sf.tweety.logics.fol.parser.TokenMgrError
-
Constructor with message and reason.
- TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error net.sf.tweety.logics.fol.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.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.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.Negation
-
- toNnf() - Method in class net.sf.tweety.logics.fol.syntax.SpecialFormula
-
- 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.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.ABATheory
-
Computes the power set of a collection
- toProbabilityDistribution() - Method in class net.sf.tweety.logics.rpcl.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.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.AspicArgumentationTheory
-
- 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.InferenceRule
-
- toString() - Method in class net.sf.tweety.arg.deductive.semantics.DeductiveArgument
-
- toString() - Method in class net.sf.tweety.arg.delp.DefeasibleLogicProgram
-
- toString() - Method in enum net.sf.tweety.arg.delp.DelpAnswer.Type
-
- 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.DialecticalTree.Mark
-
- toString() - Method in class net.sf.tweety.arg.delp.semantics.DialecticalTree
-
- 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.DungTheory
-
- 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 class net.sf.tweety.arg.dung.parser.Token
-
Returns the image.
- 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 enum net.sf.tweety.arg.dung.semantics.Problem
-
- 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.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.ProbabilisticArgumentationFramework
-
- 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.test.deductive.DeductiveProbabilisticKnowledgebase
-
- 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.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 class net.sf.tweety.commons.Answer
-
- 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.SetSignature
-
- toString() - Method in class net.sf.tweety.commons.util.DigraphNode
-
- 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.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.el.syntax.Necessity
-
- toString() - Method in class net.sf.tweety.logics.el.syntax.Possibility
-
- toString() - Method in class net.sf.tweety.logics.fol.parser.Token
-
Returns the image.
- 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.ExistsQuantifiedFormula
-
- toString() - Method in class net.sf.tweety.logics.fol.syntax.FOLAtom
-
- toString() - Method in class net.sf.tweety.logics.fol.syntax.ForallQuantifiedFormula
-
- 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.RelationalFormula
-
- 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.analysis.AbstractCoherenceMeasure
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.AggregatingCoherenceMeasure
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.AggregatingDistanceFunction
-
- toString() - Method in interface net.sf.tweety.logics.ml.analysis.AggregationFunction
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.AverageAggregator
-
- toString() - Method in interface net.sf.tweety.logics.ml.analysis.CompatibilityMeasure
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.DefaultCompatibilityMeasure
-
- toString() - Method in interface net.sf.tweety.logics.ml.analysis.DistanceFunction
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.MaxAggregator
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.MinAggregator
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.PNormDistanceFunction
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.ProbabilisticAggregatingDistanceFunction
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.ProbabilisticPNormDistanceFunction
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.ProductAggregator
-
- toString() - Method in class net.sf.tweety.logics.ml.analysis.SumAggregator
-
- toString() - Method in class net.sf.tweety.logics.ml.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.DefaultTheory
-
- 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.rpcl.InstanceAssignment
-
- 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.ReferenceWorld
-
- 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 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.solver.SolverException
-
- 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 class net.sf.tweety.math.matrix.Matrix
-
- 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.
- TPTPTest - Class in net.sf.tweety.logics.fol.test
-
JUnitTest to test TPTP priter and Eprover implemnetation
- TPTPTest() - Constructor for class net.sf.tweety.logics.fol.test.TPTPTest
-
- TptpWriter - Class in net.sf.tweety.logics.fol.writer
-
Prints single fol formulas and full knowledge bases to TPTP
- TptpWriter(Writer) - Constructor for class net.sf.tweety.logics.fol.writer.TptpWriter
-
creates new Prover9Writer
- TptpWriter() - Constructor for class net.sf.tweety.logics.fol.writer.TptpWriter
-
creates new Prover9Writer
- 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
-
- translateSemantics(Semantics) - Method in class net.sf.tweety.arg.dung.prover.TweetySolver
-
Returns the integer constant from Tweety of the given semantics.
- 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.
- tree - Variable in class net.sf.tweety.logics.rdl.NaiveDefaultReasoner
-
- 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.el.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
-
- TweetySolver - Class in net.sf.tweety.arg.dung.prover
-
This is an example of a solver based on the "Tweety libraries for
logical aspects of artificial intelligence and knowledge representation".
- TweetySolver() - Constructor for class net.sf.tweety.arg.dung.prover.TweetySolver
-
- 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.DelpAnswer.Type
-
- TYPE - Static variable in interface net.sf.tweety.logics.fol.parser.FolParserBConstants
-
RegularExpression Id.
- 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.DelpAnswer.Type
-
- typeForDouble(Double) - Static method in enum net.sf.tweety.arg.delp.DelpAnswer.Type
-