Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

T

T1BeliefState - Class in org.tweetyproject.agents.dialogues.oppmodels

This belief state consists of a simple recursive opponent model.

T1BeliefState(Extension<DungTheory>, UtilityFunction<Argument, Extension<DungTheory>>) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState

Creates a new T1-belief-state with the given parameters and without nesting.

T1BeliefState(Extension<DungTheory>, UtilityFunction<Argument, Extension<DungTheory>>, T1BeliefState) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState

Creates a new T1-belief-state with the given parameters.

T1Configuration - Class in org.tweetyproject.agents.dialogues.oppmodels.sim

This class encapsulates configuration options for generating T1 belief states.

T1Configuration() - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.T1Configuration

T2BeliefState - Class in org.tweetyproject.agents.dialogues.oppmodels

This belief state consists of a probability distribution over other opponent models.

T2BeliefState(Extension<DungTheory>, UtilityFunction<Argument, Extension<DungTheory>>) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState

Creates a new T2-belief-state with the given parameters and without nesting.

T2BeliefState(Extension<DungTheory>, UtilityFunction<Argument, Extension<DungTheory>>, ProbabilityFunction<T2BeliefState>) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState

Creates a new T2-belief-state with the given parameters.

T2Configuration - Class in org.tweetyproject.agents.dialogues.oppmodels.sim

This class encapsulates configuration options for generating T2 belief states.

T2Configuration() - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.T2Configuration

T3BeliefState - Class in org.tweetyproject.agents.dialogues.oppmodels

This belief state consists of a probability distribution over other opponent models with virtual arguments.

T3BeliefState(Extension<DungTheory>, UtilityFunction<Argument, Extension<DungTheory>>, Set<Argument>, Set<Attack>, RecognitionFunction, ProbabilityFunction<T3BeliefState>) - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.T3BeliefState

Creates a new T3-belief-state with the given parameters.

T3Configuration - Class in org.tweetyproject.agents.dialogues.oppmodels.sim

This class encapsulates configuration options for generating T3 belief states.

T3Configuration() - Constructor for class org.tweetyproject.agents.dialogues.oppmodels.sim.T3Configuration

TabuSearch - Class in org.tweetyproject.math.opt.solver

implements a simple Tabu Search without long term memory for combinatorics problems

TabuSearch(int, int, int) - Constructor for class org.tweetyproject.math.opt.solver.TabuSearch

TabuSearchOnConstrProb - Class in org.tweetyproject.math.opt.solver

implements a simple Tabu Search without long term memory for optimization problems

TabuSearchOnConstrProb(int, int, int) - Constructor for class org.tweetyproject.math.opt.solver.TabuSearchOnConstrProb

Constructor

TabuSearchOnConstrProbEx - Class in org.tweetyproject.math.examples

This class implements an example for Tabu search.

TabuSearchOnConstrProbEx() - Constructor for class org.tweetyproject.math.examples.TabuSearchOnConstrProbEx

Task - Class in org.tweetyproject.logics.bpm.syntax

A class to represent tasks in a BPMN Model

Task() - Constructor for class org.tweetyproject.logics.bpm.syntax.Task

Create a new instance

TaskParser - Class in org.tweetyproject.logics.bpm.parser.xml_to_bpmn

Parse a task of a BPMN model

TaskParser(RootParser) - Constructor for class org.tweetyproject.logics.bpm.parser.xml_to_bpmn.TaskParser

Create a new instance

TaskStep - Interface in org.tweetyproject.arg.adf.reasoner.query

TaskType - Enum in org.tweetyproject.logics.bpm.syntax

Possible types of tasks in a BPMN model

taut1() - Method in class org.tweetyproject.sat.test.LingelingTest

taut1() - Method in class org.tweetyproject.sat.test.MinisatTest

taut1() - Method in class org.tweetyproject.sat.test.PicosatTest

Tautology - Class in org.tweetyproject.logics.fol.syntax

A tautological formula.

Tautology - Class in org.tweetyproject.logics.pl.syntax

A tautological formula.

Tautology() - Constructor for class org.tweetyproject.logics.fol.syntax.Tautology

Creates a new tautology.

Tautology() - Constructor for class org.tweetyproject.logics.pl.syntax.Tautology

Creates a new tautology.

TAUTOLOGY - Static variable in interface org.tweetyproject.arg.adf.syntax.acc.AcceptanceCondition

This constant is an alias for TautologyAcceptanceCondition.INSTANCE, its only purpose is readability.

TAUTOLOGY() - Static method in class org.tweetyproject.logics.commons.LogicalSymbols

TautologyAcceptanceCondition - Enum in org.tweetyproject.arg.adf.syntax.acc

TautologyAsQueryTest() - Method in class org.tweetyproject.logics.ml.MlReasonerTest

TautologyTest() - Method in class org.tweetyproject.logics.fol.test.FolParserTest

TautologyTest() - Method in class org.tweetyproject.logics.pl.test.PlParserTest

TCoNorm - Class in org.tweetyproject.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 org.tweetyproject.math.func.fuzzy.TCoNorm

tearDown() - Method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest

Perform post-test clean-up.

tearDown() - Method in class org.tweetyproject.sat.test.LingelingTest

tearDown() - Method in class org.tweetyproject.sat.test.MinisatTest

tearDown() - Method in class org.tweetyproject.sat.test.PicosatTest

tempFolder - Variable in class org.tweetyproject.arg.delp.TestDeLP

tempFolder - Variable in class org.tweetyproject.arg.delp.TestKBParsing

Term - Class in org.tweetyproject.math.term

This class models a mathematical term.

Term<T> - Interface in org.tweetyproject.logics.commons.syntax.interfaces

A term of a logical language, that can be given as argument for logical constructs like atoms or functors.

Term() - Constructor for class org.tweetyproject.math.term.Term

Term() - Method in class org.tweetyproject.lp.asp.parser.ASPParser

Term(DefeasibleLogicProgram, FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser

TermAdapter<T> - Class in org.tweetyproject.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 org.tweetyproject.logics.commons.syntax.TermAdapter

Default-Ctor: Creates an TermAdapter with the Sort "Thing"

TermAdapter(T, Sort) - Constructor for class org.tweetyproject.logics.commons.syntax.TermAdapter

Ctor: Creates a TermAdapter with the given Sort

Terminate - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType

Terminate

terminationFunction(DungTheory, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisableExtensionReasoner

Checks whether the current state satisfies some condition, i.e.

terminationFunction(DungTheory, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedAdmissibleReasoner

terminationFunction(DungTheory, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedCompleteReasoner

a set is accepted iff the specified framework has no unattacked arguments

terminationFunction(DungTheory, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedPreferredReasoner

a set S is accepted, iff the framework has no initial extensions

terminationFunction(DungTheory, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedStableReasoner

A set S is accepted iff the framework is empty

terminationFunction(DungTheory, Extension<DungTheory>) - Method in class org.tweetyproject.arg.dung.reasoner.serialisable.SerialisedUnchallengedReasoner

terminate if there is no unattacked or unchallenged initial set remaining

Terms() - Method in class org.tweetyproject.lp.asp.parser.ASPParser

test() - Method in class org.tweetyproject.logics.pl.test.FuzzyInconsistencyMeasureTest

test(Classifier, TrainingSet<S, T>) - Method in class org.tweetyproject.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 org.tweetyproject.machinelearning.ClassificationTester

This methods takes a trainer and a training set and returns the performance (in [0,1]) of the trained classifier on the training set (e.g.

test(Trainer<S, T>, TrainingSet<S, T>) - Method in class org.tweetyproject.machinelearning.CrossValidator

test1() - Method in class org.tweetyproject.logics.fol.test.Prover9Test

test1() - Method in class org.tweetyproject.logics.fol.test.SPASSTest

test1() - Method in class org.tweetyproject.logics.fol.test.TPTPTest

test1() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test1() - Method in class org.tweetyproject.logics.rdl.test.RDLJUnitTest

test1() - Method in class org.tweetyproject.lp.asp.analysis.AspInconsistencyMeasureTest

example

test1() - Method in class org.tweetyproject.machinelearning.assoc.AprioriTest

test1() - Method in class org.tweetyproject.math.test.ApacheCommonsCMAESOptimizerTest

test1() - Method in class org.tweetyproject.math.test.SimpleGeneticOptimizationSolverTest

test2() - Method in class org.tweetyproject.logics.fol.test.Prover9Test

test2() - Method in class org.tweetyproject.logics.fol.test.SPASSTest

test2() - Method in class org.tweetyproject.logics.fol.test.TPTPTest

test2() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test2() - Method in class org.tweetyproject.logics.rdl.test.RDLJUnitTest

test2() - Method in class org.tweetyproject.machinelearning.assoc.AprioriTest

test2() - Method in class org.tweetyproject.math.test.ApacheCommonsCMAESOptimizerTest

test2() - Method in class org.tweetyproject.math.test.SimpleGeneticOptimizationSolverTest

test3() - Method in class org.tweetyproject.logics.fol.test.Prover9Test

test3() - Method in class org.tweetyproject.logics.fol.test.SPASSTest

test3() - Method in class org.tweetyproject.logics.fol.test.TPTPTest

test3() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test3() - Method in class org.tweetyproject.logics.rdl.test.RDLJUnitTest

test3() - Method in class org.tweetyproject.machinelearning.assoc.AprioriTest

test3() - Method in class org.tweetyproject.math.test.ApacheCommonsCMAESOptimizerTest

test3() - Method in class org.tweetyproject.math.test.SimpleGeneticOptimizationSolverTest

test4() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test4() - Method in class org.tweetyproject.logics.rdl.test.RDLJUnitTest

test4() - Method in class org.tweetyproject.machinelearning.assoc.AprioriTest

test5() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test5() - Method in class org.tweetyproject.logics.rdl.test.RDLJUnitTest

test6() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test7() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test8() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

test9() - Method in class org.tweetyproject.logics.pl.test.CspInconsistencyMeasureTest

testAddAll() - Method in class org.tweetyproject.lp.asp.syntax.EqualsTester

add all test

testAllKppADFInstances() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testAllValid() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testArgumentationKnowledgeBase() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

testArgumentationReasoner() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

TestArguments - Class in org.tweetyproject.arg.delp

Testing argument syntax.

TestArguments() - Constructor for class org.tweetyproject.arg.delp.TestArguments

testAtomPairEquality1() - Method in class org.tweetyproject.arg.adf.util.test.PairTest

testAtomPairEquality2() - Method in class org.tweetyproject.arg.adf.util.test.PairTest

testAtomPairUnquality1() - Method in class org.tweetyproject.arg.adf.util.test.PairTest

testAtomPairUnquality2() - Method in class org.tweetyproject.arg.adf.util.test.PairTest

testAttack() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest

testAttackFailsWeakMaximality() - Method in class org.tweetyproject.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest

testAttacking() - Method in class org.tweetyproject.arg.adf.semantics.test.LinkTypeTest

testBordaScoringPreferenceAggregator_1() - Method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest

testing borda scoring preference aggregator

testCloneEqualAtom() - Method in class org.tweetyproject.lp.asp.syntax.EqualsTester

clone equals test

TestConditionalStructure - Class in org.tweetyproject.logics.cl.test

TestConditionalStructure() - Constructor for class org.tweetyproject.logics.cl.test.TestConditionalStructure

testDefaultificationOfAlreadyDefaulticated() - Method in class org.tweetyproject.lp.asp.syntax.DefaultificationTest

defaultification of already defaultified test

testDefeat() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest

testDefeatFailsWeakMaximality() - Method in class org.tweetyproject.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest

TestDeLP - Class in org.tweetyproject.arg.delp

Testing the command line stuff for DeLP.

TestDeLP() - Constructor for class org.tweetyproject.arg.delp.TestDeLP

testDependent() - Method in class org.tweetyproject.arg.adf.semantics.test.LinkTypeTest

testDisjunctionFact() - Method in class org.tweetyproject.logics.cl.test.EvaluationTest

testDisjunctionFOLtoProp() - Method in class org.tweetyproject.logics.translators.folprop.TranslateTest

TestDTree - Class in org.tweetyproject.arg.delp

Testing dialectical trees.

TestDTree() - Constructor for class org.tweetyproject.arg.delp.TestDTree

testELPAtom() - Method in class org.tweetyproject.lp.asp.syntax.EqualsTester

elp atom test

testEnumerationChordlessCircuits1() - Method in class org.tweetyproject.graphs.util.GraphUtilTest

testEquality1() - Method in class org.tweetyproject.arg.adf.syntax.test.AccEqualityTest

testEquality2() - Method in class org.tweetyproject.arg.adf.syntax.test.AccEqualityTest

testExcludeSubsets1() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest

testExcludeSubsets1() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest

testExcludeSubsets2() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest

testExcludeSubsets2() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest

testExcludeSubsets3() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest

testExcludeSubsets3() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest

testExcludeSubsets4() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeSubinterpretationsIteratorTest

testExcludeSubsets4() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest

testExcludeSubsets5() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest

testExcludeSubsets6() - Method in class org.tweetyproject.arg.adf.util.test.ExcludeTwoValuedSubinterpretationsIteratorTest

testFailsWeakMaximality() - Method in class org.tweetyproject.lp.asp.beliefdynamics.NaiveLiteralTransformationFunctionTest

testFOLToPropAtomTranslation() - Method in class org.tweetyproject.logics.translators.folprop.TranslateTest

testFOLToPropAtomTranslationFAILCauseArgs() - Method in class org.tweetyproject.logics.translators.folprop.TranslateTest

TestFormulaParsing - Class in org.tweetyproject.arg.delp

Testing DeLP formula parsing.

TestFormulaParsing() - Constructor for class org.tweetyproject.arg.delp.TestFormulaParsing

testIntegerPairEquality() - Method in class org.tweetyproject.arg.adf.util.test.PairTest

testIterator1() - Method in class org.tweetyproject.arg.adf.util.test.InterpretationIteratorTest

TestKBParsing - Class in org.tweetyproject.arg.delp

Parsing DeLPs.

TestKBParsing() - Constructor for class org.tweetyproject.arg.delp.TestKBParsing

testKrue2008Ex1() - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityTest

testKrue2008Ex2() - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityTest

testLiteralReasoner() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

testMissingDot1() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testMissingDot2() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testMissingDot3() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testMissingDot4() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testNestedConjunction() - Method in class org.tweetyproject.logics.translators.folprop.TranslateTest

TestNicePossibleWorld - Class in org.tweetyproject.logics.pl.test

TestNicePossibleWorld() - Constructor for class org.tweetyproject.logics.pl.test.TestNicePossibleWorld

testNoLinebreak() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testNoWhitespace() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testPluralityScoringPreferenceAggregator_1() - Method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest

testing plurality scoring preference aggreagator

testProgram() - Method in class org.tweetyproject.lp.asp.syntax.EqualsTester

program test

testPropToFOLAtomTranslation() - Method in class org.tweetyproject.logics.translators.folprop.TranslateTest

testQuantification() - Method in class org.tweetyproject.lp.nlp.syntax.NLPRuleTest

TestQueries - Class in org.tweetyproject.arg.delp

Testing some example KBs with various queries.

TestQueries() - Constructor for class org.tweetyproject.arg.delp.TestQueries

testRange() - Method in class org.tweetyproject.logics.commons.test.VariableTest

testRebut() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest

testRedundant() - Method in class org.tweetyproject.arg.adf.semantics.test.LinkTypeTest

testRule() - Method in class org.tweetyproject.lp.asp.syntax.EqualsTester

rule test

TestRules - Class in org.tweetyproject.arg.delp

Tests for rules: facts, strict and defeasible rules.

TestRules() - Constructor for class org.tweetyproject.arg.delp.TestRules

testSimpleDefaultifcation() - Method in class org.tweetyproject.lp.asp.syntax.DefaultificationTest

defaultification test

testStrongAttack() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest

testStrongAttackFailsWeakMaximalityForEvenCycles() - Method in class org.tweetyproject.lp.asp.beliefdynamics.ScepticalLiteralTransformationFunctionTest

testStrongUndercut() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest

testSupporting() - Method in class org.tweetyproject.arg.adf.semantics.test.LinkTypeTest

TestToQuadraticForm - Class in org.tweetyproject.math.examples

testing the function to model a quadratic function to quadratic form

TestToQuadraticForm() - Constructor for class org.tweetyproject.math.examples.TestToQuadraticForm

testUndefinedArgumentInACC() - Method in class org.tweetyproject.arg.adf.parser.test.KppADFFormatParserTest

testUndercut() - Method in class org.tweetyproject.argumentation.parameterisedhierarchy.AttackTest

testUnequality1() - Method in class org.tweetyproject.arg.adf.syntax.test.AccEqualityTest

testUnequality2() - Method in class org.tweetyproject.arg.adf.syntax.test.AccEqualityTest

testVetoScoringPreferenceAggregator_1() - Method in class org.tweetyproject.preferences.test.ScoringPreferenceAggregatorTest

testing veto scoring preference aggregator

TextfileIterator - Class in org.tweetyproject.logics.pl.util

Enumerates all belief bases from a text file; the file contains one belief base per line.

TextfileIterator(String) - Constructor for class org.tweetyproject.logics.pl.util.TextfileIterator

Creates a new iterator based on the given file.

TFUZZY_MEASURE - Static variable in class org.tweetyproject.logics.pl.analysis.FuzzyInconsistencyMeasure

static constant for the T-version of the measure

TGF - Enum constant in enum org.tweetyproject.arg.dung.parser.FileFormat

tgf

TgfFilenameFilter - Class in org.tweetyproject.arg.dung.parser

Filename filter for TGF files.

TgfFilenameFilter() - Constructor for class org.tweetyproject.arg.dung.parser.TgfFilenameFilter

TgfParser - Class in org.tweetyproject.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 org.tweetyproject.arg.dung.parser.TgfParser

TgfWriter - Class in org.tweetyproject.arg.dung.writer

Writes an abstract argumentation framework into a file of the TGF format.

TgfWriter() - Constructor for class org.tweetyproject.arg.dung.writer.TgfWriter

Theory(FolSignature) - Method in class org.tweetyproject.arg.delp.parser.DelpParser

TheoryLearner - Class in org.tweetyproject.arg.dung.learning

Improved version of the MaxSAT algorithm from: Niskanen, Andreas, Johannes Wallner, and Matti Järvisalo.

TheoryLearner(Collection<Argument>, Semantics, String) - Constructor for class org.tweetyproject.arg.dung.learning.TheoryLearner

THING - Static variable in class org.tweetyproject.logics.commons.syntax.Sort

Default sort for unsorted first-order logics

ThreeValuedBitSet - Class in org.tweetyproject.arg.adf.util

Inspired by BitSet but with three values.

ThreeValuedBitSet(int) - Constructor for class org.tweetyproject.arg.adf.util.ThreeValuedBitSet

Creates a new bitset with the specified size and all values undefined.

ThreeValuedWorld - Class in org.tweetyproject.logics.translators.adfconditional

This class models a three-valued interpretation for propositional logic Formulas are interpreted using completions Every atom is assigned one of the three truth values: TRUE, FALSE, UNDECIDED.

ThreeValuedWorld() - Constructor for class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld

Creates an empty 3-valued world

ThreeValuedWorld(ThreeValuedWorld) - Constructor for class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld

Creates a new world which is a copy of the given world

ThreeValuedWorld.TruthValue - Enum in org.tweetyproject.logics.translators.adfconditional

The three truth values.

time(double) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse

*description missing*

time(double) - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse

*description missing*

time(double) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse

*description missing*

time(int) - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse

*description missing*

timeout - Static variable in class GroundedTest

timeout - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest

timeout - Static variable in class org.tweetyproject.agents.dialogues.examples.GroundedTest2

timeout - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest

timeout - Static variable in class org.tweetyproject.agents.dialogues.examples.LotteryDialogueTest2

Timeout

timeout - Static variable in class org.tweetyproject.web.services.InconsistencyMeasurementService

Time out for the update operation (in seconds).

timeout() - Static method in class org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult

timeout(int) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost

*description missing*

timeout(int) - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse

*description missing*

timeout(int) - Method in class org.tweetyproject.web.spring_services.delp.DelpPost

*description missing*

timeout(int) - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse

*description missing*

timeout(int) - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost

*description missing*

TIMEOUT - Enum constant in enum org.tweetyproject.logics.commons.analysis.InconsistencyMeasureResult.Status

TIMEOUT - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample

TIMEOUT

TIMEOUT - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2

TIMEOUT

Timer - Enum constant in enum org.tweetyproject.logics.bpm.syntax.EventType

Timer

TIMES - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction

TIMES - Enum constant in enum org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator

TIMES - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants

RegularExpression Id.

TIMES - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants

RegularExpression Id.

TMP_FILE_FOLDER - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample

TMP FILE FOLDER

TMP_FILE_FOLDER - Static variable in class org.tweetyproject.logics.pl.examples.StreamInconsistencyEvaluationExample2

TMP FILE FOLDER

TNorm - Class in org.tweetyproject.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 org.tweetyproject.math.func.fuzzy.TNorm

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.Attack

toAbbreviation() - Method in interface org.tweetyproject.arg.lp.semantics.attack.AttackStrategy

Returns the abbreviated identifier of this notion of attack, i.e.

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentAttack

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentRebut

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.Defeat

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.Rebut

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongAttack

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongConfidentAttack

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongUndercut

toAbbreviation() - Method in class org.tweetyproject.arg.lp.semantics.attack.Undercut

toArray() - Method in class org.tweetyproject.agents.MultiAgentSystem

toArray() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension

toArray() - Method in class org.tweetyproject.arg.adf.util.UnionSetView

toArray() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet

toArray() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

toArray() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet

toArray() - Method in class org.tweetyproject.arg.dung.semantics.Extension

toArray() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure

toArray() - Method in class org.tweetyproject.commons.BeliefSet

toArray() - Method in class org.tweetyproject.commons.InterpretationSet

toArray() - Method in class org.tweetyproject.commons.SingleSetSignature

Returns an array containing all of the elements in this signature.

toArray() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

toArray() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

toArray() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

toArray() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula

toArray() - Method in class org.tweetyproject.logics.rdl.semantics.Extension

toArray() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

toArray() - Method in class org.tweetyproject.math.Interval

toArray() - Method in class org.tweetyproject.preferences.PreferenceOrder

returns an array containing all objects

toArray(C[]) - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

toArray(Object[]) - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

toArray(Object[]) - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula

toArray(R[]) - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension

toArray(R[]) - Method in class org.tweetyproject.commons.BeliefSet

toArray(R[]) - Method in class org.tweetyproject.commons.InterpretationSet

toArray(S[]) - Method in class org.tweetyproject.agents.MultiAgentSystem

toArray(T[]) - Method in class org.tweetyproject.arg.adf.util.UnionSetView

toArray(T[]) - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet

toArray(T[]) - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet

toArray(T[]) - Method in class org.tweetyproject.arg.dung.semantics.Extension

toArray(T[]) - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure

toArray(T[]) - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

toArray(T[]) - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

toArray(T[]) - Method in class org.tweetyproject.logics.rdl.semantics.Extension

toArray(T[]) - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

toArray(T[]) - Method in class org.tweetyproject.math.Interval

toArray(T[]) - Method in class org.tweetyproject.preferences.PreferenceOrder

returns all elements in an array

toASP(Disjunction) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toASP(FolAtom) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toASP(FolFormula) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toASP(Negation) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toASP(NLPProgram) - Method in class org.tweetyproject.logics.translators.aspnlp.AspNlpTranslator

Translate the given NLP-program into an ASP-program.

toASP(NLPRule) - Method in class org.tweetyproject.logics.translators.aspnlp.AspNlpTranslator

Translates the given NLP-rule into an ASP Program.

toBlakeCanonicalForm() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

This method returns this formula in Blake canonical form.

toCl(NLPProgram) - Method in class org.tweetyproject.logics.translators.clnlp.ClNLPTranslator

Translate the given NLP-program into a conditional belief set.

toCl(NLPRule) - Method in class org.tweetyproject.logics.translators.clnlp.ClNLPTranslator

Translates the given NLP-rule into a conditional.

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.Implication

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.Negation

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.PlBeliefSet

This method returns this belief set in conjunctive normal form (CNF).

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

This method returns this formula in conjunctive normal form (CNF).

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.Proposition

toCnf() - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula

toCnf() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

In this case, this method returns this quantified boolean formula's cnf kernel.

toCnf() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula

In this case, this method returns this quantified boolean formula's cnf kernel.

toCnf() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision

toCnf() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation

toCollection() - Method in class org.tweetyproject.commons.SingleSetSignature

Returns a collection containing all of the elements in this signature.

toDAF() - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

translates this NAF into the corresponding framework with support in a deductive sense only works for NAFs which contain only binary support relations See Cayrol, Lagasquie-Schiex.

toDefeasible() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

toDefinite() - Method in class org.tweetyproject.action.description.syntax.CActionDescription

Calculates a new action description which describes the same transition system and contains only definite causal laws.

toDefinite() - Method in class org.tweetyproject.action.description.syntax.CLaw

Returns an equivalent definite causal law.

toDefinite() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw

toDefinite() - Method in class org.tweetyproject.action.description.syntax.StaticLaw

toDnf() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula

Makes a disjunctive normal form of this formula.

toDnf() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

This method returns this formula in disjunctive normal form (DNF).

toDotFormat() - Method in class org.tweetyproject.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 org.tweetyproject.arg.bipolar.DeductiveArgumentationTest

toDungTheory() - Method in class org.tweetyproject.arg.saf.syntax.StructuredArgumentationFramework

Constructs a (pure) Dung theory from this structured argumentation framework.

ToDungTheoryMethodTest() - Method in class org.tweetyproject.arg.aba.AbaTest

toEAF() - Method in class org.tweetyproject.arg.bipolar.syntax.NecessityArgumentationFramework

translates this necessity argumentation framework into an evidential argumentation framework Translation algorithm from: Polberg, Oren.

toFOL(Conjunction) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

Translates the given propositional Conjunction to a FOL Conjunction

toFOL(Disjunction) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

Translates the given propositional Disjunction to a FOL Disjunction

toFOL(PlFormula) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

toFOL(Proposition) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

Translates the given proposition into a FOL-Atom

toFOL(ASPAtom) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toFOL(ASPLiteral) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toFOL(ClassicalHead) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toFOL(StrictNegation) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

toggleOutputWhitelist(boolean) - Method in class org.tweetyproject.lp.asp.reasoner.ClingoSolver

Activates or deactivates the option to use a whitelist of predicates.

token - Variable in class org.tweetyproject.arg.delp.parser.DelpParser

token - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

token - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

token - Variable in class org.tweetyproject.lp.asp.parser.ASPParser

Current token.

token - Variable in class org.tweetyproject.preferences.io.POParser

token - Variable in class org.tweetyproject.preferences.io.UPParser

Current token.

Token - Class in org.tweetyproject.arg.delp.parser

Token - Class in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Describes the input token stream.

Token - Class in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Describes the input token stream.

Token - Class in org.tweetyproject.lp.asp.parser

Describes the input token stream.

Token - Class in org.tweetyproject.preferences.io

Describes the input token stream.

Token() - Constructor for class org.tweetyproject.arg.delp.parser.Token

Token() - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

No-argument constructor

Token() - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

No-argument constructor

Token() - Constructor for class org.tweetyproject.lp.asp.parser.Token

No-argument constructor

Token() - Constructor for class org.tweetyproject.preferences.io.Token

No-argument constructor

Token(int) - Constructor for class org.tweetyproject.arg.delp.parser.Token

Token(int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

Token(int) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

Token(int) - Constructor for class org.tweetyproject.lp.asp.parser.Token

Constructs a new token for the specified Image.

Token(int) - Constructor for class org.tweetyproject.preferences.io.Token

Token(int, String) - Constructor for class org.tweetyproject.arg.delp.parser.Token

Token(int, String) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

Token(int, String) - Constructor for class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

Token(int, String) - Constructor for class org.tweetyproject.lp.asp.parser.Token

Constructs a new token for the specified Image and Kind.

Token(int, String) - Constructor for class org.tweetyproject.preferences.io.Token

token_source - Variable in class org.tweetyproject.arg.delp.parser.DelpParser

token_source - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParser

token_source - Static variable in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParser

token_source - Variable in class org.tweetyproject.lp.asp.parser.ASPParser

Generated Token Manager.

token_source - Variable in class org.tweetyproject.preferences.io.POParser

token_source - Variable in class org.tweetyproject.preferences.io.UPParser

Generated Token Manager.

tokenImage - Static variable in interface org.tweetyproject.arg.delp.parser.DelpParserConstants

tokenImage - Variable in exception org.tweetyproject.arg.delp.parser.ParseException

tokenImage - Variable in exception org.tweetyproject.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 org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.RpclCondensedProbabilityDistributionParserConstants

tokenImage - Variable in exception org.tweetyproject.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 org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.RpclProbabilityDistributionParserConstants

Literal token values.

tokenImage - Static variable in interface org.tweetyproject.lp.asp.parser.ASPCore2Constants

Literal token values.

tokenImage - Static variable in interface org.tweetyproject.lp.asp.parser.ASPParserConstants

Literal token values.

tokenImage - Variable in exception org.tweetyproject.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 org.tweetyproject.preferences.io.ParseException

tokenImage - Static variable in interface org.tweetyproject.preferences.io.POParserConstants

Literal token values.

tokenImage - Static variable in interface org.tweetyproject.preferences.io.UPParserConstants

Literal token values.

tokenize(Stack<Object>, int) - Method in class org.tweetyproject.logics.dl.parser.DlParser

This method reads one character from the given reader and appropriately tokenizes it.

TokenMgrError - Error in org.tweetyproject.arg.delp.parser

TokenMgrError - Error in org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Token Manager Error.

TokenMgrError - Error in org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser

Token Manager Error.

TokenMgrError - Error in org.tweetyproject.lp.asp.parser

Token Manager Error.

TokenMgrError - Error in org.tweetyproject.preferences.io

Token Manager Error.

TokenMgrError() - Constructor for error org.tweetyproject.arg.delp.parser.TokenMgrError

TokenMgrError() - Constructor for error org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError

No arg constructor.

TokenMgrError() - Constructor for error org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError

No arg constructor.

TokenMgrError() - Constructor for error org.tweetyproject.lp.asp.parser.TokenMgrError

No arg constructor.

TokenMgrError() - Constructor for error org.tweetyproject.preferences.io.TokenMgrError

No arg constructor.

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error org.tweetyproject.arg.delp.parser.TokenMgrError

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error org.tweetyproject.lp.asp.parser.TokenMgrError

Full Constructor.

TokenMgrError(boolean, int, int, int, String, char, int) - Constructor for error org.tweetyproject.preferences.io.TokenMgrError

TokenMgrError(String, int) - Constructor for error org.tweetyproject.arg.delp.parser.TokenMgrError

TokenMgrError(String, int) - Constructor for error org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.TokenMgrError

TokenMgrError(String, int) - Constructor for error org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.TokenMgrError

TokenMgrError(String, int) - Constructor for error org.tweetyproject.lp.asp.parser.TokenMgrError

Constructor with message and reason.

TokenMgrError(String, int) - Constructor for error org.tweetyproject.preferences.io.TokenMgrError

TOLERANCE - Static variable in class org.tweetyproject.logics.commons.analysis.streams.EvaluationInconsistencyListener

toLibsvmProblem() - Method in class org.tweetyproject.machinelearning.TrainingSet

Returns a svm_problem (the data data model of libsvm) of this training set.

toLinearForm() - Method in class org.tweetyproject.math.equation.Equation

toLinearForm() - Method in class org.tweetyproject.math.equation.Inequation

toLinearForm() - Method in class org.tweetyproject.math.equation.Statement

Brings both terms into linear form.

toLinearForm() - Method in class org.tweetyproject.math.term.Constant

toLinearForm() - Method in class org.tweetyproject.math.term.Difference

toLinearForm() - Method in class org.tweetyproject.math.term.Fraction

toLinearForm() - Method in class org.tweetyproject.math.term.FunctionalTerm

toLinearForm() - Method in class org.tweetyproject.math.term.Maximum

toLinearForm() - Method in class org.tweetyproject.math.term.Minimum

toLinearForm() - Method in class org.tweetyproject.math.term.Product

toLinearForm() - Method in class org.tweetyproject.math.term.Sum

toLinearForm() - Method in class org.tweetyproject.math.term.Term

Converts this term into a linear normal form, i.e.

toLinearForm() - Method in class org.tweetyproject.math.term.Variable

toMap(Interpretation) - Static method in interface org.tweetyproject.arg.adf.semantics.interpretation.Interpretation

toNAF() - Method in class org.tweetyproject.arg.bipolar.syntax.DeductiveArgumentationFramework

translates this DAF into the corresponding framework with support in a necessary sense See Cayrol, Lagasquie-Schiex.

toNAF() - Method in class org.tweetyproject.arg.bipolar.syntax.EvidentialArgumentationFramework

translates this EAF into the corresponding NAF can only translate framework which contain only binary attacks translation algorithm from: Polberg, Oren.

toNewEAFTheory() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF

toNLP(ClBeliefSet) - Method in class org.tweetyproject.logics.translators.clnlp.ClNLPTranslator

Translate the given conditional belief set into a NLP-program.

toNLP(Program) - Method in class org.tweetyproject.logics.translators.aspnlp.AspNlpTranslator

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.Conjunction

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.Disjunction

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.ExclusiveDisjunction

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.FolFormula

Makes the negation normal form of this formula.

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.Implication

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.Negation

toNnf() - Method in class org.tweetyproject.logics.fol.syntax.SpecialFormula

toNnf() - Method in class org.tweetyproject.logics.ml.syntax.Necessity

toNnf() - Method in class org.tweetyproject.logics.ml.syntax.Possibility

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.Implication

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.Negation

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

This method returns this formula in negation normal form (NNF).

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.Proposition

toNnf() - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula

toNnf() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

toNnf() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula

toNnf() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision

toNnf() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation

toNnf() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

toNormalizedForm() - Method in class org.tweetyproject.math.equation.Equation

toNormalizedForm() - Method in class org.tweetyproject.math.equation.Inequation

toNormalizedForm() - Method in class org.tweetyproject.math.equation.Statement

Normalizes this constraint, i.e.

toNormalizedForm() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem

Normalizes this problem, i.e.

toOutputString() - Method in class org.tweetyproject.action.description.syntax.CActionDescription

Returns a string representation of this action description in human readable form, which may be written to a file or printed on screen.

TopConcept - Class in org.tweetyproject.logics.dl.syntax

This class models the top concept (universal concept) in description logics.

TopConcept() - Constructor for class org.tweetyproject.logics.dl.syntax.TopConcept

Creates a new TopConcept.

topElement() - Method in class org.tweetyproject.arg.social.semantics.AbstractSocialSemantics

Returns the top element of this semantics.

topElement() - Method in class org.tweetyproject.arg.social.semantics.SimpleProductSemantics

toProbabilityDistribution() - Method in class org.tweetyproject.logics.rpcl.semantics.CondensedProbabilityDistribution

Converts this condensed probability distribution into an ordinary probability distribution.

toPropositional(Conjunction) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

Translates the given FOL Conjunction to a propositional Conjunction

toPropositional(Disjunction) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

Translates the given FOL Disjunction to a propositional Disjunction

toPropositional(ExclusiveDisjunction) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

Translates the given FOL Exclusive Disjunction to a propositional Exclusive Disjunction

toPropositional(FolAtom) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

Translates the given FOL-Atom into a Proposition

toPropositional(FolFormula) - Method in class org.tweetyproject.logics.translators.folprop.FOLPropTranslator

toQuadraticForm() - Method in class org.tweetyproject.math.term.Constant

toQuadraticForm() - Method in class org.tweetyproject.math.term.Difference

toQuadraticForm() - Method in class org.tweetyproject.math.term.Fraction

toQuadraticForm() - Method in class org.tweetyproject.math.term.FunctionalTerm

toQuadraticForm() - Method in class org.tweetyproject.math.term.Maximum

toQuadraticForm() - Method in class org.tweetyproject.math.term.Minimum

toQuadraticForm() - Method in class org.tweetyproject.math.term.Power

toQuadraticForm() - Method in class org.tweetyproject.math.term.Product

toQuadraticForm() - Method in class org.tweetyproject.math.term.Sum

toQuadraticForm() - Method in class org.tweetyproject.math.term.Term

toQuadraticForm() - Method in class org.tweetyproject.math.term.Variable

toQuadraticFormHelper(Term) - Method in class org.tweetyproject.math.opt.solver.GurobiOptimizer

toStrict() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

toStrictRule() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleRule

returns the translation of this rule as a strict rule

toString() - Method in class org.tweetyproject.action.description.syntax.DynamicLaw

toString() - Method in class org.tweetyproject.action.description.syntax.StaticLaw

toString() - Method in class org.tweetyproject.action.grounding.VarConstNeqRequirement

toString() - Method in class org.tweetyproject.action.grounding.VarsNeqRequirement

toString() - Method in class org.tweetyproject.action.query.syntax.AlwaysQuery

toString() - Method in class org.tweetyproject.action.query.syntax.HoldsQuery

toString() - Method in class org.tweetyproject.action.query.syntax.NecessarilyQuery

toString() - Method in class org.tweetyproject.action.query.syntax.QueryProposition

toString() - Method in class org.tweetyproject.action.query.syntax.SActionQuery

toString() - Method in class org.tweetyproject.action.signature.ActionSignature

toString() - Method in class org.tweetyproject.action.signature.FolAction

toString() - Method in class org.tweetyproject.action.signature.FolActionName

toString() - Method in class org.tweetyproject.action.signature.FolFluentName

toString() - Method in class org.tweetyproject.action.transitionsystem.State

toString() - Method in class org.tweetyproject.action.transitionsystem.Transition

toString() - Method in class org.tweetyproject.action.transitionsystem.TransitionSystem

toString() - Method in class org.tweetyproject.agents.Agent

toString() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DirectGameProtocol

toString() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.DummyAgentGenerator

toString() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.ProbabilisticLotteryAgentGenerator

toString() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.RandomLotteryAgentGenerator

toString() - Method in class org.tweetyproject.agents.dialogues.lotteries.sim.UtilityBasedAgentGenerator

toString() - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameProtocol

toString() - Method in class org.tweetyproject.agents.dialogues.oppmodels.GroundedGameUtilityFunction

toString() - Method in class org.tweetyproject.agents.dialogues.oppmodels.sim.GroundedGameAgentGenerator

toString() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T1BeliefState

toString() - Method in class org.tweetyproject.agents.dialogues.oppmodels.T2BeliefState

toString() - Method in class org.tweetyproject.agents.DummyAgent

toString() - Method in class org.tweetyproject.arg.aba.semantics.AbaExtension

toString() - Method in class org.tweetyproject.arg.aba.syntax.AbaTheory

toString() - Method in class org.tweetyproject.arg.aba.syntax.Assumption

toString() - Method in class org.tweetyproject.arg.aba.syntax.Deduction

toString() - Method in class org.tweetyproject.arg.aba.syntax.InferenceRule

toString() - Method in class org.tweetyproject.arg.aba.syntax.Negation

toString() - Method in class org.tweetyproject.arg.adf.syntax.acc.BinaryAcceptanceCondition

toString() - Method in enum org.tweetyproject.arg.adf.syntax.acc.ContradictionAcceptanceCondition

toString() - Method in class org.tweetyproject.arg.adf.syntax.acc.NegationAcceptanceCondition

toString() - Method in enum org.tweetyproject.arg.adf.syntax.acc.TautologyAcceptanceCondition

toString() - Method in class org.tweetyproject.arg.adf.syntax.Argument

toString() - Method in class org.tweetyproject.arg.adf.util.ThreeValuedBitSet

toString() - Method in class org.tweetyproject.arg.aspic.order.SimpleAspicOrder

toString() - Method in class org.tweetyproject.arg.aspic.reasoner.DirectionalAspicReasoner

toString() - Method in class org.tweetyproject.arg.aspic.reasoner.RandomAspicReasoner

toString() - Method in class org.tweetyproject.arg.aspic.semantics.AspicAttack

toString() - Method in class org.tweetyproject.arg.aspic.semantics.SimpleAspicOrder

toString() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgument

toString() - Method in class org.tweetyproject.arg.aspic.syntax.AspicArgumentationTheory

toString() - Method in class org.tweetyproject.arg.aspic.syntax.InferenceRule

toString() - Method in enum org.tweetyproject.arg.bipolar.analysis.AnalysisType

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.AbstractEAFTheory

Pretty print of the EAFTheory

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.ArgumentSet

toString() - Method in interface org.tweetyproject.arg.bipolar.syntax.Attack

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.BinaryAttack

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.BinarySupport

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.EAFTheory

Pretty print of the EAFTheory

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.EAttack

Returns the attack object in string format for debug purposes

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.InducibleEAF

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.NamedPEAFTheory

Print the NamedPEAFTheory for debugging purposes

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Argument

Returns Argument as a string (good for debugging)

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Attack

Returns Attack as a string (good for debugging)

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.PEEAFTheory.Support

Returns Argument as a string (good for debugging)

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.SetAttack

toString() - Method in class org.tweetyproject.arg.bipolar.syntax.SetSupport

toString() - Method in interface org.tweetyproject.arg.bipolar.syntax.Support

toString() - Method in class org.tweetyproject.arg.deductive.semantics.DeductiveArgument

toString() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlLogicArgument

prints String representation

toString() - Method in class org.tweetyproject.arg.deductive.syntax.SimplePlRule

toString() - Method in class org.tweetyproject.arg.delp.parser.Token

toString() - Method in enum org.tweetyproject.arg.delp.semantics.DelpAnswer.Type

toString() - Method in enum org.tweetyproject.arg.delp.semantics.DialecticalTree.Mark

toString() - Method in class org.tweetyproject.arg.delp.semantics.DialecticalTree

toString() - Method in class org.tweetyproject.arg.delp.syntax.DefeasibleLogicProgram

toString() - Method in class org.tweetyproject.arg.delp.syntax.DelpArgument

toString() - Method in class org.tweetyproject.arg.delp.syntax.DelpRule

toString() - Method in class org.tweetyproject.arg.dung.causal.syntax.InducedArgument

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoArgument

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoBoxModality

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoDiamondModality

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoGraphBoxModality

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoGraphDiamondModality

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoNegation

toString() - Method in class org.tweetyproject.arg.dung.ldo.syntax.LdoRelation

toString() - Method in class org.tweetyproject.arg.dung.learning.syntax.ClausalAttackConstraint

toString() - Method in class org.tweetyproject.arg.dung.learning.syntax.Input

toString() - Method in class org.tweetyproject.arg.dung.learning.syntax.SimpleAttackConstraint

toString() - Method in enum org.tweetyproject.arg.dung.parser.FileFormat

toString() - Method in enum org.tweetyproject.arg.dung.reasoner.ProboProblem

toString() - Method in class org.tweetyproject.arg.dung.semantics.AbstractArgumentationInterpretation

toString() - Method in class org.tweetyproject.arg.dung.semantics.ClaimSet

toString() - Method in class org.tweetyproject.arg.dung.semantics.Extension

toString() - Method in class org.tweetyproject.arg.dung.semantics.Labeling

toString() - Method in class org.tweetyproject.arg.dung.semantics.StratifiedLabeling

toString() - Method in class org.tweetyproject.arg.dung.serialisibility.syntax.SerialisationGraph

toString() - Method in class org.tweetyproject.arg.dung.syntax.Argument

toString() - Method in class org.tweetyproject.arg.dung.syntax.Attack

toString() - Method in class org.tweetyproject.arg.dung.syntax.Claim

return the name

toString() - Method in class org.tweetyproject.arg.dung.syntax.ClaimArgument

reurn string representation

toString() - Method in class org.tweetyproject.arg.dung.syntax.DungTheory

toString() - Method in class org.tweetyproject.arg.dung.util.DefaultDungTheoryGenerator

toString() - Method in class org.tweetyproject.arg.dung.util.DungTheoryGenerationParameters

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.Attack

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentAttack

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.ConfidentRebut

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.Defeat

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.Rebut

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongAttack

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongConfidentAttack

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.StrongUndercut

toString() - Method in class org.tweetyproject.arg.lp.semantics.attack.Undercut

toString() - Method in class org.tweetyproject.arg.lp.syntax.Argument

toString() - Method in class org.tweetyproject.arg.prob.lotteries.ArgumentationLottery

toString() - Method in class org.tweetyproject.arg.prob.lotteries.LdoArgumentationLottery

toString() - Method in class org.tweetyproject.arg.prob.semantics.AbstractPASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.CoherentPASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.FoundedPASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.InvolutaryPASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.JustifiablePASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.NeutralPASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.OptimisticPASemantics

toString() - Method in interface org.tweetyproject.arg.prob.semantics.PASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.RationalPASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.SemiFoundedPASemantics

toString() - Method in class org.tweetyproject.arg.prob.semantics.SemiOptimisticPASemantics

toString() - Method in class org.tweetyproject.arg.prob.syntax.ProbabilisticArgumentationFramework

toString() - Method in class org.tweetyproject.arg.saf.syntax.ArgumentStructure

toString() - Method in class org.tweetyproject.arg.setaf.syntax.SetAf

toString() - Method in class org.tweetyproject.arg.setaf.syntax.SetAttack

toString() - Method in class org.tweetyproject.arg.social.semantics.SocialMapping

toString() - Method in class org.tweetyproject.arg.social.syntax.SocialAbstractArgumentationFramework

toString() - Method in class org.tweetyproject.beliefdynamics.mas.InformationObject

toString() - Method in interface org.tweetyproject.commons.BeliefBase

toString() - Method in class org.tweetyproject.commons.BeliefSet

toString() - Method in class org.tweetyproject.commons.DualSetSignature

toString() - Method in class org.tweetyproject.commons.InterpretationSet

toString() - Method in class org.tweetyproject.commons.postulates.PostulateEvaluationReport

toString() - Method in class org.tweetyproject.commons.QuadrupleSetSignature

toString() - Method in interface org.tweetyproject.commons.Signature

toString() - Method in class org.tweetyproject.commons.SingleSetSignature

toString() - Method in class org.tweetyproject.commons.TripleSetSignature

toString() - Method in class org.tweetyproject.commons.util.Pair

returns a string representation of a pair as "(obj1, obj2)"

toString() - Method in class org.tweetyproject.comparator.LatticePartialOrder

toString() - Method in class org.tweetyproject.comparator.NumericalPartialOrder

toString() - Method in class org.tweetyproject.comparator.Order

toString() - Method in class org.tweetyproject.graphs.DefaultGraph

toString() - Method in class org.tweetyproject.graphs.DirectedEdge

toString() - Method in interface org.tweetyproject.graphs.DirHyperGraph

toString() - Method in interface org.tweetyproject.graphs.Graph

toString() - Method in class org.tweetyproject.graphs.HyperDirEdge

toString() - Method in class org.tweetyproject.graphs.HyperGraph

toString() - Method in class org.tweetyproject.graphs.SimpleNode

toString() - Method in class org.tweetyproject.graphs.UndirectedEdge

toString() - Method in class org.tweetyproject.logics.cl.kappa.KappaMin

toString() - Method in class org.tweetyproject.logics.cl.kappa.KappaSum

toString() - Method in class org.tweetyproject.logics.cl.kappa.KappaValue

toString() - Method in class org.tweetyproject.logics.cl.semantics.ConditionalStructure

toString() - Method in class org.tweetyproject.logics.cl.semantics.RankingFunction

toString() - Method in class org.tweetyproject.logics.cl.syntax.Conditional

toString() - Method in class org.tweetyproject.logics.commons.analysis.DfInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.DHitInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.DMaxInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.DrasticInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.DSumInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.EtaInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.HsInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.MicInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.MiInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.streams.DefaultStreamBasedInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.commons.analysis.streams.InconsistencyMeasurementProcess

toString() - Method in class org.tweetyproject.logics.commons.analysis.streams.InconsistencyUpdateEvent

toString() - Method in class org.tweetyproject.logics.commons.analysis.streams.WindowInconsistencyMeasurementProcess

toString() - Method in enum org.tweetyproject.logics.commons.error.LanguageException.LanguageExceptionReason

toString() - Method in class org.tweetyproject.logics.commons.syntax.AssociativeFormulaSupport

toString() - Method in class org.tweetyproject.logics.commons.syntax.FunctionalTerm

toString() - Method in class org.tweetyproject.logics.commons.syntax.Functor

toString() - Method in interface org.tweetyproject.logics.commons.syntax.interfaces.LogicProgram

toString() - Method in class org.tweetyproject.logics.commons.syntax.RelationalFormula

toString() - Method in class org.tweetyproject.logics.commons.syntax.Sort

toString() - Method in class org.tweetyproject.logics.commons.syntax.StringTerm

toString() - Method in class org.tweetyproject.logics.commons.syntax.TermAdapter

toString() - Method in class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

toString() - Method in class org.tweetyproject.logics.dl.syntax.AssociativeDlFormula

toString() - Method in class org.tweetyproject.logics.dl.syntax.AtomicConcept

toString() - Method in class org.tweetyproject.logics.dl.syntax.AtomicRole

toString() - Method in class org.tweetyproject.logics.dl.syntax.BottomConcept

toString() - Method in class org.tweetyproject.logics.dl.syntax.Complement

toString() - Method in class org.tweetyproject.logics.dl.syntax.ConceptAssertion

toString() - Method in class org.tweetyproject.logics.dl.syntax.DlSignature

Returns the signature as a string in the order individuals - concept names - role names.

toString() - Method in class org.tweetyproject.logics.dl.syntax.EquivalenceAxiom

toString() - Method in class org.tweetyproject.logics.dl.syntax.ExistentialRestriction

toString() - Method in class org.tweetyproject.logics.dl.syntax.RoleAssertion

toString() - Method in class org.tweetyproject.logics.dl.syntax.TopConcept

toString() - Method in class org.tweetyproject.logics.dl.syntax.UniversalRestriction

toString() - Method in class org.tweetyproject.logics.fol.semantics.HerbrandInterpretation

toString() - Method in class org.tweetyproject.logics.fol.syntax.AssociativeFolFormula

toString() - Method in class org.tweetyproject.logics.fol.syntax.Contradiction

toString() - Method in class org.tweetyproject.logics.fol.syntax.Equivalence

toString() - Method in class org.tweetyproject.logics.fol.syntax.ExistsQuantifiedFormula

toString() - Method in class org.tweetyproject.logics.fol.syntax.FolAtom

toString() - Method in class org.tweetyproject.logics.fol.syntax.FolSignature

Returns a string representation of this first-order logic signature.

toString() - Method in class org.tweetyproject.logics.fol.syntax.ForallQuantifiedFormula

toString() - Method in class org.tweetyproject.logics.fol.syntax.Implication

toString() - Method in class org.tweetyproject.logics.fol.syntax.LogicStructure

toString() - Method in class org.tweetyproject.logics.fol.syntax.Negation

toString() - Method in class org.tweetyproject.logics.fol.syntax.Tautology

toString() - Method in class org.tweetyproject.logics.fol.writer.Prover9Writer

toString() - Method in class org.tweetyproject.logics.fol.writer.TPTPWriter

toString() - Method in class org.tweetyproject.logics.ml.semantics.AccessibilityRelation

toString() - Method in class org.tweetyproject.logics.ml.semantics.KripkeModel

toString() - Method in class org.tweetyproject.logics.ml.semantics.MlHerbrandInterpretation

toString() - Method in class org.tweetyproject.logics.ml.syntax.Necessity

toString() - Method in class org.tweetyproject.logics.ml.syntax.Possibility

toString() - Method in class org.tweetyproject.logics.mln.analysis.AbstractCoherenceMeasure

toString() - Method in class org.tweetyproject.logics.mln.analysis.AggregatingCoherenceMeasure

toString() - Method in interface org.tweetyproject.logics.mln.analysis.CompatibilityMeasure

toString() - Method in class org.tweetyproject.logics.mln.analysis.DefaultCompatibilityMeasure

toString() - Method in class org.tweetyproject.logics.mln.syntax.MlnFormula

toString() - Method in class org.tweetyproject.logics.pcl.analysis.GeneralizedMeMachineShop

toString() - Method in class org.tweetyproject.logics.pcl.analysis.MinimalViolation2InconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.pcl.semantics.ProbabilityDistribution

toString() - Method in class org.tweetyproject.logics.pcl.syntax.ProbabilisticConditional

toString() - Method in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.pl.analysis.ContensionInconsistencyMeasurementProcess

toString() - Method in class org.tweetyproject.logics.pl.analysis.ContensionSatInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.pl.analysis.DHitSatInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.pl.analysis.DMaxSatInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.pl.analysis.DSumSatInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.pl.analysis.HsInconsistencyMeasurementProcess

toString() - Method in class org.tweetyproject.logics.pl.analysis.HsSatInconsistencyMeasure

toString() - Method in class org.tweetyproject.logics.pl.semantics.FuzzyInterpretation

toString() - Method in class org.tweetyproject.logics.pl.semantics.NicePossibleWorld

toString() - Method in class org.tweetyproject.logics.pl.semantics.PriestWorld

toString() - Method in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue

to string

toString() - Method in class org.tweetyproject.logics.pl.syntax.AssociativePlFormula

toString() - Method in class org.tweetyproject.logics.pl.syntax.Contradiction

toString() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence

toString() - Method in class org.tweetyproject.logics.pl.syntax.Implication

toString() - Method in class org.tweetyproject.logics.pl.syntax.Negation

toString() - Method in class org.tweetyproject.logics.pl.syntax.Proposition

toString() - Method in class org.tweetyproject.logics.pl.syntax.Tautology

toString() - Method in class org.tweetyproject.logics.pl.util.CardinalityConstraintEncoder

toString() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

toString() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula

toString() - Method in class org.tweetyproject.logics.rcl.semantics.RelationalRankingFunction

toString() - Method in class org.tweetyproject.logics.rcl.syntax.RelationalConditional

toString() - Method in class org.tweetyproject.logics.rdl.semantics.DefaultSequence

toString() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultRule

toString() - Method in class org.tweetyproject.logics.rdl.syntax.DefaultTheory

toString() - Method in class org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.Token

Returns the image.

toString() - Method in class org.tweetyproject.logics.rpcl.parser.rpclprobabilitydistributionparser.Token

Returns the image.

toString() - Method in class org.tweetyproject.logics.rpcl.semantics.AbstractRpclSemantics

toString() - Method in class org.tweetyproject.logics.rpcl.semantics.AggregatingSemantics

toString() - Method in class org.tweetyproject.logics.rpcl.semantics.AveragingSemantics

toString() - Method in class org.tweetyproject.logics.rpcl.semantics.InstanceAssignment

toString() - Method in class org.tweetyproject.logics.rpcl.semantics.ReferenceWorld

toString() - Method in class org.tweetyproject.logics.rpcl.semantics.RpclProbabilityDistribution

toString() - Method in interface org.tweetyproject.logics.rpcl.semantics.RpclSemantics

toString() - Method in class org.tweetyproject.logics.rpcl.syntax.RelationalProbabilisticConditional

toString() - Method in class org.tweetyproject.logics.translators.adfconditional.FourValuedWorld

toString() - Method in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue

toString() - Method in class org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld

toString() - Method in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue

toString() - Method in class org.tweetyproject.logics.translators.adfpossibilistic.PossibilityDistribution

toString() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision

toString() - Method in class org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted

toString() - Method in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue

toString() - Method in class org.tweetyproject.logics.translators.adfrevision.RankingFunctionThreeValued

toString() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation

toString() - Method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator

toString() - Method in enum org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType

toString() - Method in class org.tweetyproject.lp.asp.parser.SimpleNode

toString() - Method in class org.tweetyproject.lp.asp.parser.Token

Returns the image.

toString() - Method in exception org.tweetyproject.lp.asp.reasoner.SolverException

toString() - Method in class org.tweetyproject.lp.asp.semantics.AnswerSet

toString() - Method in class org.tweetyproject.lp.asp.syntax.AggregateAtom

toString() - Method in class org.tweetyproject.lp.asp.syntax.AggregateElement

toString() - Method in class org.tweetyproject.lp.asp.syntax.AggregateHead

toString() - Method in class org.tweetyproject.lp.asp.syntax.ArithmeticTerm

toString() - Method in class org.tweetyproject.lp.asp.syntax.ASPAtom

toString() - Method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.AggregateFunction

toString() - Method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.ArithmeticOperator

toString() - Method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.BinaryOperator

toString() - Method in enum org.tweetyproject.lp.asp.syntax.ASPOperator.OptimizeFunction

toString() - Method in class org.tweetyproject.lp.asp.syntax.ASPRule

toString() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceElement

toString() - Method in class org.tweetyproject.lp.asp.syntax.ChoiceHead

toString() - Method in class org.tweetyproject.lp.asp.syntax.ClassicalHead

toString() - Method in class org.tweetyproject.lp.asp.syntax.ComparativeAtom

toString() - Method in class org.tweetyproject.lp.asp.syntax.DefaultNegation

toString() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationElement

toString() - Method in class org.tweetyproject.lp.asp.syntax.OptimizationStatement

toString() - Method in class org.tweetyproject.lp.asp.syntax.Program

toString() - Method in class org.tweetyproject.lp.asp.syntax.StrictNegation

toString() - Method in class org.tweetyproject.lp.nlp.syntax.NLPNot

toString() - Method in class org.tweetyproject.machinelearning.assoc.AssociationRule

toString() - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode

toString() - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree

toString() - Method in class org.tweetyproject.machinelearning.DoubleCategory

toString() - Method in class org.tweetyproject.machinelearning.rl.mdp.Episode

toString() - Method in class org.tweetyproject.machinelearning.rl.mdp.FixedPolicy

toString() - Method in class org.tweetyproject.machinelearning.rl.mdp.NamedAction

toString() - Method in class org.tweetyproject.machinelearning.rl.mdp.NamedState

toString() - Method in class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer

toString() - Method in class org.tweetyproject.machinelearning.TrainingParameter

toString() - Method in class org.tweetyproject.math.ComplexNumber

toString() - Method in class org.tweetyproject.math.equation.Statement

toString() - Method in interface org.tweetyproject.math.func.AggregationFunction

toString() - Method in class org.tweetyproject.math.func.AverageAggregator

toString() - Method in class org.tweetyproject.math.func.MaxAggregator

toString() - Method in class org.tweetyproject.math.func.MinAggregator

toString() - Method in class org.tweetyproject.math.func.ProductAggregator

toString() - Method in class org.tweetyproject.math.func.SumAggregator

toString() - Method in class org.tweetyproject.math.matrix.Matrix

toString() - Method in class org.tweetyproject.math.norm.AggregatingNorm

toString() - Method in class org.tweetyproject.math.norm.ProbabilisticAggregatingNorm

toString() - Method in class org.tweetyproject.math.norm.ProbabilisticPNorm

toString() - Method in class org.tweetyproject.math.opt.problem.ConstraintSatisfactionProblem

toString() - Method in class org.tweetyproject.math.opt.problem.OptimizationProblem

toString() - Method in class org.tweetyproject.math.probability.Probability

toString() - Method in class org.tweetyproject.math.probability.ProbabilityFunction

toString() - Method in class org.tweetyproject.math.term.AbsoluteValue

toString() - Method in class org.tweetyproject.math.term.Difference

toString() - Method in class org.tweetyproject.math.term.Exp

toString() - Method in class org.tweetyproject.math.term.FloatConstant

toString() - Method in class org.tweetyproject.math.term.Fraction

toString() - Method in class org.tweetyproject.math.term.FunctionalTerm

toString() - Method in class org.tweetyproject.math.term.IntegerConstant

toString() - Method in class org.tweetyproject.math.term.Logarithm

toString() - Method in class org.tweetyproject.math.term.Maximum

toString() - Method in class org.tweetyproject.math.term.Minimum

toString() - Method in class org.tweetyproject.math.term.Power

toString() - Method in class org.tweetyproject.math.term.Product

toString() - Method in class org.tweetyproject.math.term.Root

toString() - Method in class org.tweetyproject.math.term.Sum

toString() - Method in class org.tweetyproject.math.term.Term

toString() - Method in class org.tweetyproject.math.term.Variable

toString() - Method in interface org.tweetyproject.preferences.BinaryRelation

returns a String with the elements of this set

toString() - Method in class org.tweetyproject.preferences.io.Token

Returns the image.

toString() - Method in class org.tweetyproject.preferences.PreferenceOrder

returns a String with the elements of this set

toString() - Method in class org.tweetyproject.preferences.ranking.Functions

returns a string representation for this ranking function

toString() - Method in class org.tweetyproject.web.spring_services.aba.AbaGetSemanticsResponse

toString() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerPost

toString() - Method in class org.tweetyproject.web.spring_services.aba.AbaReasonerResponse

toString() - Method in class org.tweetyproject.web.spring_services.delp.DelpPost

toString() - Method in class org.tweetyproject.web.spring_services.delp.DelpResponse

toString() - Method in class org.tweetyproject.web.spring_services.dung.DungReasonerResponse

toString() - Method in class org.tweetyproject.web.spring_services.dung.DungServicesInfoResponse

toString() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyGetMeasuresResponse

toString() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyPost

toString() - Method in class org.tweetyproject.web.spring_services.incmes.InconsistencyValueResponse

toString() - Method in class org.tweetyproject.web.spring_services.Ping

toString() - Method in class org.tweetyproject.web.spring_services.Post

toString(boolean) - Method in class org.tweetyproject.commons.BeliefSet

returns a string representation of this belief set

toString(int) - Method in class org.tweetyproject.machinelearning.assoc.FrequentPatternTree.FrequentPatternTreeNode

Returns a string representation of the node with 2*indent leading white spaces

toString(String) - Method in class org.tweetyproject.lp.asp.parser.SimpleNode

toSvmNode() - Method in class org.tweetyproject.machinelearning.DefaultObservation

toSvmNode() - Method in interface org.tweetyproject.machinelearning.Observation

Returns the svm_node (the data model of libsvm) representation of this observation.

total - Variable in class org.tweetyproject.arg.bipolar.analysis.ConcurrentApproxAnalysis

total - Variable in class org.tweetyproject.arg.bipolar.analysis.ConcurrentExactAnalysis

TOTAL - Static variable in class org.tweetyproject.arg.rankings.postulates.RankingPostulate

The TOTAL postulate

totalProbability - Variable in class org.tweetyproject.arg.bipolar.analysis.AnalysisResult

toUndirectedGraph() - Method in class org.tweetyproject.graphs.SimpleGraph

convert the graph into a undirected graph

TPTPParser - Class in org.tweetyproject.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 org.tweetyproject.logics.fol.parser.TPTPParser

TPTPParserExample - Class in org.tweetyproject.logics.fol.examples

Examples for using TPTPParser.

TPTPParserExample() - Constructor for class org.tweetyproject.logics.fol.examples.TPTPParserExample

TPTPTest - Class in org.tweetyproject.logics.fol.test

JUnitTest to test TPTP printer and EProver implementation

TPTPTest() - Constructor for class org.tweetyproject.logics.fol.test.TPTPTest

TPTPWriter - Class in org.tweetyproject.logics.fol.writer

Prints single first-order logic formulas and full knowledge bases to TPTP format.

TPTPWriter() - Constructor for class org.tweetyproject.logics.fol.writer.TPTPWriter

Creates new TPTPWriter

TPTPWriter(Writer) - Constructor for class org.tweetyproject.logics.fol.writer.TPTPWriter

Creates new TPTPWriter

TRACE - Enum constant in enum org.tweetyproject.commons.TweetyConfiguration.LogLevel

TRACE

train(TrainingSet<DefaultObservation, DoubleCategory>) - Method in class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer

train(TrainingSet<DefaultObservation, DoubleCategory>, ParameterSet) - Method in class org.tweetyproject.machinelearning.svm.MultiClassRbfTrainer

train(TrainingSet<S, T>) - Method in class org.tweetyproject.machinelearning.ParameterTrainer

train(TrainingSet<S, T>) - Method in interface org.tweetyproject.machinelearning.Trainer

Trains a classifier on the given training set.

train(TrainingSet<S, T>, ParameterSet) - Method in class org.tweetyproject.machinelearning.ParameterTrainer

train(TrainingSet<S, T>, ParameterSet) - Method in interface org.tweetyproject.machinelearning.Trainer

Trains a classifier on the given training set with the given parameters

Trainer<S extends Observation,T extends Category> - Interface in org.tweetyproject.machinelearning

TrainingParameter - Class in org.tweetyproject.machinelearning

A single parameter for a training method.

TrainingParameter(String, double, double, double) - Constructor for class org.tweetyproject.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 org.tweetyproject.machinelearning.TrainingParameter

Creates a new training parameter with the given values.

TrainingSet<S extends Observation,T extends Category> - Class in org.tweetyproject.machinelearning

A set of observations together with their category.

TrainingSet() - Constructor for class org.tweetyproject.machinelearning.TrainingSet

transform(Collection<PlFormula>) - Method in class org.tweetyproject.beliefdynamics.selectiverevision.argumentative.ArgumentativeTransformationFunction

transform(Collection<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction

transform(Collection<ASPRule>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction

transform(Collection<T>) - Method in interface org.tweetyproject.beliefdynamics.selectiverevision.MultipleTransformationFunction

Transforms the given set of formulas for selective revision.

transform(BiFunction<Argument, AcceptanceCondition, AcceptanceCondition>) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework

transform(Function<AcceptanceCondition, AcceptanceCondition>) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework

Creates a new AbstractDialecticalFramework with transformed acceptance conditions.

transform(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.transform.AbstractCollector

transform(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.transform.AbstractTransformer

transform(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.transform.FixPartialTransformer

transform(AcceptanceCondition) - Method in interface org.tweetyproject.arg.adf.transform.Transformer

Transforms the given acceptance condition into another structure.

transform(AcceptanceCondition) - Method in class org.tweetyproject.arg.adf.transform.TseitinTransformer

transform(Transformer<AcceptanceCondition>) - Method in interface org.tweetyproject.arg.adf.syntax.adf.AbstractDialecticalFramework

Creates a new AbstractDialecticalFramework with transformed acceptance conditions.

transform(ASPRule) - Method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.NaiveLiteralTransformationFunction

"Transforms" the single fact by either accepting or rejecting it.

transform(ASPRule) - Method in class org.tweetyproject.lp.asp.beliefdynamics.selectiverevision.ScepticalLiteralTransformationFunction

"Transforms" the single rule by either accepting or rejecting it.

transform(T) - Method in interface org.tweetyproject.beliefdynamics.selectiverevision.TransformationFunction

Transforms the given formula for selective revision.

TransformationFunction<T extends Formula> - Interface in org.tweetyproject.beliefdynamics.selectiverevision

This interface represents a transformation function for selective revision [Ferme:1999].

Transformer<R> - Interface in org.tweetyproject.arg.adf.transform

Transforms an acceptance condition into an arbitrary structure.

transformToShortCircuit() - Method in class org.tweetyproject.logics.petri.syntax.PetriNet

Transform the Petri net to the short-circuited version, where the final place and initial place are linked via a transition

Transition - Class in org.tweetyproject.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 - Class in org.tweetyproject.logics.petri.syntax

A class to describe transitions in a Petri net

Transition(String) - Constructor for class org.tweetyproject.logics.petri.syntax.Transition

Create a new transition

Transition(String, String) - Constructor for class org.tweetyproject.logics.petri.syntax.Transition

Create a new transition

Transition(State, FolAction, State) - Constructor for class org.tweetyproject.action.transitionsystem.Transition

Creates a new transition with the given parameters.

TRANSITION_TO_PLACE - Enum constant in enum org.tweetyproject.logics.petri.syntax.Ark.Direction

TransitionState - Class in org.tweetyproject.arg.dung.serialisibility.syntax

A state of the transition system for serialised semantics It consists of an argumentation framework and a set of arguments

TransitionState(DungTheory, Extension<DungTheory>) - Constructor for class org.tweetyproject.arg.dung.serialisibility.syntax.TransitionState

TransitionStateSequence - Class in org.tweetyproject.arg.dung.serialisibility.syntax

This class represents a sequence of TransitionStates.

TransitionStateSequence(DungTheory, SerialisationSequence) - Constructor for class org.tweetyproject.arg.dung.serialisibility.syntax.TransitionStateSequence

Creates a new TransitionStateSequence

TransitionSystem - Class in org.tweetyproject.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 org.tweetyproject.action.transitionsystem.TransitionSystem

Creates a new transition system.

TransitionSystem(Set<State>, ActionSignature) - Constructor for class org.tweetyproject.action.transitionsystem.TransitionSystem

Creates a new transition system.

TransitionSystem(ActionSignature) - Constructor for class org.tweetyproject.action.transitionsystem.TransitionSystem

Creates a new empty transition system with the given ActionSignature.

translate(List<Program>) - Method in class org.tweetyproject.lp.asp.beliefdynamics.revision.CredibilityRevision

Translates the given list of programs to the credibility logic program.

translateAssociative(A, Class<?>) - Method in class org.tweetyproject.logics.translators.Translator

Translates the given AssociativeFormula into another AssociativeFormula thats type is given by the parameter assocCls

translateAtom(Atom, Class<?>) - Method in class org.tweetyproject.logics.translators.Translator

Translates the given source atom into an instance of atomCls and returns the translation.

translatePredicate(Predicate, Class<C>) - Method in class org.tweetyproject.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 org.tweetyproject.logics.translators.Translator

TranslateTest - Class in org.tweetyproject.logics.translators.folprop

Tests the FOLPropTranslator

TranslateTest() - Constructor for class org.tweetyproject.logics.translators.folprop.TranslateTest

translateTwoDisjunctions() - Method in class org.tweetyproject.logics.translators.aspnlp.ASPNLPTranslatorTest

translateUsingMap(SimpleLogicalFormula) - Method in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

translateUsingMap(SimpleLogicalFormula) - Method in class org.tweetyproject.logics.translators.Translator

TranslationTest - Class in org.tweetyproject.arg.bipolar

TranslationTest() - Constructor for class org.tweetyproject.arg.bipolar.TranslationTest

Translator - Class in org.tweetyproject.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 org.tweetyproject.logics.translators.Translator

Translator

transpose() - Method in class org.tweetyproject.math.matrix.Matrix

Transposes this matrix, i.e.

TravelingSalesman - Class in org.tweetyproject.math.examples

implements the traveling salesman problem.

TravelingSalesman(ArrayList<ElementOfCombinatoricsProb>) - Constructor for class org.tweetyproject.math.examples.TravelingSalesman

constructor

TravelingSalesman_solvedWithAntOpt - Class in org.tweetyproject.math.examples

This class implements an example for the ant colony algorithm using isula for combinatrics problems

TravelingSalesman_solvedWithAntOpt() - Constructor for class org.tweetyproject.math.examples.TravelingSalesman_solvedWithAntOpt

TravelingSalesman_solvedWithGeneticOpt - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

TravelingSalesman_solvedWithGeneticOpt() - Constructor for class org.tweetyproject.math.examples.TravelingSalesman_solvedWithGeneticOpt

TravelingSalesman_solvedWithIteratedLocalSearch - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

TravelingSalesman_solvedWithIteratedLocalSearch() - Constructor for class org.tweetyproject.math.examples.TravelingSalesman_solvedWithIteratedLocalSearch

TravelingSalesman_solvedWithSimAn - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

TravelingSalesman_solvedWithSimAn() - Constructor for class org.tweetyproject.math.examples.TravelingSalesman_solvedWithSimAn

TravelingSalesman_solvedWithStochasticLocalSearch - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

TravelingSalesman_solvedWithStochasticLocalSearch() - Constructor for class org.tweetyproject.math.examples.TravelingSalesman_solvedWithStochasticLocalSearch

TravelingSalesman_solvedWithTabuSearch - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

TravelingSalesman_solvedWithTabuSearch() - Constructor for class org.tweetyproject.math.examples.TravelingSalesman_solvedWithTabuSearch

TravelingSalesmanEx2 - Class in org.tweetyproject.math.examples

Class implementing an example for a TSP on a cartesian fully connected graph

TravelingSalesmanEx2() - Constructor for class org.tweetyproject.math.examples.TravelingSalesmanEx2

trim() - Method in class org.tweetyproject.logics.pl.syntax.Conjunction

trim() - Method in class org.tweetyproject.logics.pl.syntax.Disjunction

trim() - Method in class org.tweetyproject.logics.pl.syntax.Equivalence

trim() - Method in class org.tweetyproject.logics.pl.syntax.ExclusiveDisjunction

trim() - Method in class org.tweetyproject.logics.pl.syntax.Implication

trim() - Method in class org.tweetyproject.logics.pl.syntax.Negation

trim() - Method in class org.tweetyproject.logics.pl.syntax.PlFormula

Removes duplicates (identical formulas) from conjunctions and disjunctions and removes duplicate negations.

trim() - Method in class org.tweetyproject.logics.pl.syntax.Proposition

trim() - Method in class org.tweetyproject.logics.pl.syntax.SpecialFormula

trim() - Method in class org.tweetyproject.logics.qbf.syntax.ExistsQuantifiedFormula

trim() - Method in class org.tweetyproject.logics.qbf.syntax.ForallQuantifiedFormula

trim() - Method in class org.tweetyproject.logics.translators.adfrevision.Indecision

trim() - Method in class org.tweetyproject.logics.translators.adfrevision.WeakNegation

Triple<E,F,G> - Class in org.tweetyproject.commons.util

This class implements a simple triple of elements.

Triple() - Constructor for class org.tweetyproject.commons.util.Triple

Initializes an empty triple.

Triple(E, F, G) - Constructor for class org.tweetyproject.commons.util.Triple

Initializes the elements of this triple with the given parameters

TripleSetSignature<T,S,U> - Class in org.tweetyproject.commons

This class models a signature as three sets of formulas.

TripleSetSignature() - Constructor for class org.tweetyproject.commons.TripleSetSignature

Creates a new empty signature.

TRUE - Enum constant in enum org.tweetyproject.logics.pl.semantics.PriestWorld.TruthValue

true

TRUE - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.FourValuedWorld.TruthValue

true

TRUE - Enum constant in enum org.tweetyproject.logics.translators.adfconditional.ThreeValuedWorld.TruthValue

true

TRUE - Enum constant in enum org.tweetyproject.logics.translators.adfrevision.PriestWorldAdapted.TruthValue

TRUE

TruthfulArgumentationAgent - Class in org.tweetyproject.agents.dialogues.structured

This class models a truthful argumentation agent, i.e.

TruthfulArgumentationAgent(StructuredArgumentationFramework, UtilityFunction) - Constructor for class org.tweetyproject.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 org.tweetyproject.agents.dialogues.structured.TruthfulArgumentationAgent

Creates a new agent with the given (local) view and utility function.

TseitinTransformer - Class in org.tweetyproject.arg.adf.transform

TT_ASSOC - Static variable in class org.tweetyproject.logics.translators.Translator

TT_Assoc

TT_ATOM - Static variable in class org.tweetyproject.logics.translators.Translator

TT_Atom

TT_NEGATION - Static variable in class org.tweetyproject.logics.translators.aspfol.AspFolTranslator

TT_Negation

TT_PREDICATE - Static variable in class org.tweetyproject.logics.translators.Translator

TT_Predicate

TT_RULE - Static variable in class org.tweetyproject.logics.translators.Translator

TT_Rule

TuplesExample() - Static method in class org.tweetyproject.arg.rankings.examples.RankingPostulatesExample

TuplesRankingReasoner - Class in org.tweetyproject.arg.rankings.reasoner

This class implements the "tuples*" argument ranking approach as proposed by [Cayrol, Lagasquie-Schiex.

TuplesRankingReasoner() - Constructor for class org.tweetyproject.arg.rankings.reasoner.TuplesRankingReasoner

TWEETY - Enum constant in enum org.tweetyproject.logics.pl.parser.PlParserFactory.Format

TWEETY

TWEETY_CLI_DEFAULT_CONFIG - Static variable in class org.tweetyproject.cli.plugins.CliMain

TweetyCli - Class in org.tweetyproject.cli

This class implements a simple command line interface for accessing the functionalities provided by the TweetyProject libraries.

TweetyCli() - Constructor for class org.tweetyproject.cli.TweetyCli

TweetyConfiguration - Interface in org.tweetyproject.commons

This interface contains some configuration options for Tweety.

TweetyConfiguration.LogLevel - Enum in org.tweetyproject.commons

The possible log levels.

TweetyPlugin - Interface in org.tweetyproject.plugin

This class provides the base for each plugin's functionality

TweetyServer - Class in org.tweetyproject.web

Uses the Grizzly HTTP server to instantiate the TweetyProject server that provides API access to TweetyProject services.

TweetyServer() - Constructor for class org.tweetyproject.web.TweetyServer

TwoValuedInterpretationIterator - Class in org.tweetyproject.arg.adf.semantics.interpretation

TwoValuedInterpretationIterator(Collection<Argument>) - Constructor for class org.tweetyproject.arg.adf.semantics.interpretation.TwoValuedInterpretationIterator

TwoValuedModelSatEncoding - Class in org.tweetyproject.arg.adf.reasoner.sat.encodings

TwoValuedModelSatEncoding(AbstractDialecticalFramework, PropositionalMapping) - Constructor for class org.tweetyproject.arg.adf.reasoner.sat.encodings.TwoValuedModelSatEncoding

type - Variable in class org.tweetyproject.arg.bipolar.analysis.AnalysisResult

TypedStructure - Interface in org.tweetyproject.logics.commons.syntax.interfaces

This interface defines method which are given by every TypedStructure like a Predicate or an Functor.

TypedStructureAdapter - Class in org.tweetyproject.logics.commons.syntax

The abstract parent for predicates and functors implementing the TypedStructure interface.

TypedStructureAdapter() - Constructor for class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

Default-Ctor: Creating empty typed structure

TypedStructureAdapter(String) - Constructor for class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

Initializes a structure of arity zero with the given name;

TypedStructureAdapter(String, int) - Constructor for class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

Initializes a structure with the given name and of the given arity.

TypedStructureAdapter(String, List<Sort>) - Constructor for class org.tweetyproject.logics.commons.syntax.TypedStructureAdapter

Initializes a structure with the given name and the given list of argument sorts.

TypesTest() - Method in class org.tweetyproject.logics.qbf.test.QbfTest

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form