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