T

t0 - Variable in class argutia.tools.Chrono
Temps système au déclenchement du chronomètre.
tabToSelect - Variable in class argutia.Argutia.Builder
Indice de l'onglet à sélectionner.
TAUTOLOGY - Static variable in class argutia.logic.sets.SetOfFormulas
TAUTOLOGY - Static variable in class argutia.logic.TruthSymbol
La tautologie, notée usuellement ⊤, est une formule atomique vraie dans tous les cas.
tempsDeCalcul - Variable in class argutia.events.ComputationEvent
Temps de calcul associé à l'événement.
test.argutia.logic - package test.argutia.logic
test.argutia.logic.syntax.node - package test.argutia.logic.syntax.node
testGetContents() - Method in class test.argutia.logic.syntax.node.NodeTest
Test method for Node.getContents().
testGetFilsD() - Method in class test.argutia.logic.syntax.node.NodeTest
Test method for Node.getFilsD().
testGetFilsG() - Method in class test.argutia.logic.syntax.node.NodeTest
Test method for Node.getFilsG().
testGetOppose() - Method in class test.argutia.logic.PropositionalVariableTest
Test method for PropositionalVariable.getOppose().
testGetOppose() - Method in class test.argutia.logic.TruthSymbolTest
Test method for TruthSymbol.getOppose().
testGetOrNew() - Method in class test.argutia.logic.PropositionalVariableTest
Test method for PropositionalVariable.getOrNew(String).
testIsSyntaxValid() - Method in class test.argutia.logic.PropositionalVariableTest
Test method for PropositionalVariable.isSyntaxValid(String).
title - Variable in class argutia.gui.DocumentColore
title - Variable in class argutia.logic.argumentationFramework.Agent
TITRE_SECTION_ECRITURE - Static variable in class argutia.Files
TITRE_SECTION_LECTURE - Static variable in class argutia.Files
toCNF(Node) - Static method in class argutia.logic.syntax.node.CNFNode
toEscapedString() - Method in class argutia.logic.syntax.WrongSyntacticUnit
toImmutable() - Method in class argutia.logic.sets.FamilyOfSets
toImmutable() - Method in interface argutia.logic.sets.IFamilyOfSets
toImmutable() - Method in interface argutia.logic.sets.ISetOfFormulas
toImmutable() - Method in class argutia.logic.sets.MutableFamilyOfSets
toImmutable() - Method in class argutia.logic.sets.MutableSetOfFormulas
toImmutable() - Method in interface argutia.logic.sets.Set
toImmutable() - Method in class argutia.logic.sets.SetOfFormulas
TOOLTIP - Static variable in class argutia.MyResourceBundle
Suffixe de clef du ResourceBundle pour récupérer une bulle d'information (un tool tip).
toString() - Method in class argutia.events.ComputationEvent
toString() - Method in class argutia.events.FileEvent
toString() - Method in class argutia.gui.DocumentColore
toString() - Method in class argutia.gui.Representation
Retourne l'orthographe de l'instance.
toString() - Method in class argutia.gui.StyledMessageFormat
toString() - Method in enum argutia.logic.argumentationFramework.Agent.Attitude
toString() - Method in enum argutia.logic.argumentationFramework.Agent.Interdit
toString() - Method in class argutia.logic.argumentationFramework.Agent
toString() - Method in class argutia.logic.argumentationFramework.Argument
toString() - Method in class argutia.logic.Clause
toString() - Method in class argutia.logic.Formula
toString() - Method in class argutia.logic.NegativeLiteral
toString() - Method in class argutia.logic.PropositionalVariable
Retourne l'orthographe de la variable propositionnelle.
toString() - Method in class argutia.logic.resolution.Maillon
toString() - Method in class argutia.logic.sets.FamilyOfSets
toString() - Method in class argutia.logic.sets.MutableFamilyOfSets
toString() - Method in class argutia.logic.sets.MutableSetOfFormulas
toString() - Method in class argutia.logic.sets.Partition
toString() - Method in class argutia.logic.sets.SetOfFormulas
toString() - Method in class argutia.logic.syntax.ConfigurableSyntacticUnit
Retourne l'orthographe de l'instance, via un appel à Representation.toString().
toString() - Method in class argutia.logic.syntax.Decomposition
toString() - Method in class argutia.logic.syntax.node.Node
toString(Node) - Method in class argutia.logic.syntax.node.Node
toString() - Method in class argutia.logic.syntax.WrongSyntacticUnit
toString() - Method in class argutia.tools.Chrono
Retourne une chaîne indiquant le temps écoulé en millisecondes depuis le déclenchement du chronomètre.
toStyledString(BatchStyledDocument) - Method in interface argutia.gui.batchStyledDocument.AffichableAvecStyle
Ajoute du texte mis en forme au BatchedContent passé en paramètre.
toStyledString(BatchStyledDocument) - Method in class argutia.gui.DocumentColore
toStyledString(BatchStyledDocument) - Method in class argutia.gui.Representation
Ajoute du style au résultat d'un appel à Representation.toString() et l'ajoute au BatchedContent passé en paramètre.
toStyledString(BatchStyledDocument) - Method in class argutia.logic.argumentationFramework.Argument
toStyledString(BatchStyledDocument) - Method in class argutia.logic.Formula
toStyledString(BatchStyledDocument) - Method in class argutia.logic.PropositionalVariable
Ajoute du style au résultat d'un appel à PropositionalVariable.toString() et l'ajoute en attente d'insertion dans le document spécifié.
toStyledString(BatchStyledDocument) - Method in class argutia.logic.sets.FamilyOfSets
toStyledString(BatchStyledDocument) - Method in class argutia.logic.sets.MutableFamilyOfSets
toStyledString(BatchStyledDocument) - Method in class argutia.logic.sets.MutableSetOfFormulas
toStyledString(BatchStyledDocument) - Method in class argutia.logic.sets.Partition
toStyledString(BatchStyledDocument) - Method in class argutia.logic.sets.SetOfFormulas
toStyledString(BatchStyledDocument) - Method in class argutia.logic.syntax.ConfigurableSyntacticUnit
Ajoute du style au résultat d'un appel à ConfigurableSyntacticUnit.toString() et l'ajoute au BatchedContent passé en paramètre.
toStyledString(BatchStyledDocument) - Method in class argutia.logic.syntax.Decomposition
toStyledString(BatchStyledDocument) - Method in class argutia.logic.syntax.node.Node
toStyledString(BatchStyledDocument, Node) - Method in class argutia.logic.syntax.node.Node
toStyledString(BatchStyledDocument) - Method in class argutia.logic.syntax.WrongSyntacticUnit
toStyleString(BatchStyledDocument, List<Argument>) - Static method in class argutia.logic.argumentationFramework.Argument
toUnescapedString() - Method in class argutia.logic.syntax.WrongSyntacticUnit
toUpdate(Representation) - Method in class argutia.gui.SpellingInputVerifier
TruthSymbol - Class in argutia.logic
Un symbole de vérité est soit la tautologie, soit la contradiction, formules atomiques respectivement interprétées à vrai et faux dans tous les cas.
TruthSymbol(String) - Constructor for class argutia.logic.TruthSymbol
Construit un symbole de vérité.
TruthSymbolTest - Class in test.argutia.logic
Test de la classe TruthSymbol.
TruthSymbolTest(String) - Constructor for class test.argutia.logic.TruthSymbolTest
Construit un test de la classe TruthSymbol.
type - Variable in class argutia.Argutia.Builder
Type de création de l'interface.
type - Variable in class argutia.events.ComputationEvent
Type de l'événement.
type - Variable in class argutia.events.FileEvent
Type de l'événement.
Argutia JavaDoc
23 décembre 2007