G
- GENERATOR -
Static variable in class argutia.tools.HashCodes
- Générateur de nombre pseudo-aléatoires.
- get(ConfigurableSyntacticUnit) -
Method in class argutia.gui.Representations
- get(K) -
Method in class argutia.logic.sets.Partition
- getAccelerator(String) -
Method in class argutia.MyResourceBundle
- Récupère le raccourci clavier (un accelerator)
rattaché à la clef spécifiée du ResourceBundle.
- getAdmissible() -
Method in class argutia.logic.argumentationFramework.Situation
- getAgent() -
Method in class argutia.logic.argumentationFramework.Situation
- getAnalyseSyntaxiqueSituation() -
Method in class argutia.gui.Onglets
- getArgument() -
Method in class argutia.logic.argumentationFramework.Situation
- getArguments() -
Method in class argutia.logic.argumentationFramework.Situation
- getAtome(UnmodifiableListIterator<SyntaxNode>) -
Static method in class argutia.logic.syntax.Syntax
- getAttitude(Formula) -
Method in class argutia.logic.argumentationFramework.Agent
- getBaseFontSize() -
Method in class argutia.Argutia.Builder
- Retourne la taille du texte de base.
- getBaseFontSize() -
Method in class argutia.gui.MyStyles
- Retourne la taille de base du texte en points.
- getCNF() -
Method in class argutia.logic.Formula
- getCNF() -
Method in interface argutia.logic.sets.ISetOfFormulas
- getCNF() -
Method in class argutia.logic.sets.MutableSetOfFormulas
- getCNF() -
Method in class argutia.logic.sets.SetOfFormulas
- getConclusion() -
Method in class argutia.logic.argumentationFramework.Argument
- getConjonction(UnmodifiableListIterator<SyntaxNode>) -
Static method in class argutia.logic.syntax.Syntax
- getContents() -
Method in class argutia.logic.syntax.node.Node
- getContenu() -
Method in class argutia.logic.resolution.Maillon
- getDefaultString(String) -
Method in class argutia.MyResourceBundle
- getDenomination() -
Method in class argutia.gui.Representation
- Retourne la dénomination, l'intitulé de l'unité syntaxique configurable
associée à la représentation.
- getDescription() -
Method in class argutia.gui.Menu.ArgutiaFileFilter
- Retourne une description du filtre (s'affiche dans le menu déroulant des fenêtres de choix d'un fichier).
- getDimension() -
Method in class argutia.Argutia.Builder
- Retourne la taille que doit avoir la fenêtre principale.
- getDisjonction(UnmodifiableListIterator<SyntaxNode>) -
Static method in class argutia.logic.syntax.Syntax
- getEdF() -
Method in class argutia.logic.argumentationFramework.Situation
- getEtat() -
Method in class argutia.logic.resolution.Maillon
- getFile() -
Method in class argutia.events.FileEvent
- Retourne le fichier associé à l'événement.
- getFileSectionTitle() -
Method in class argutia.gui.DocumentColore
- getFilsD() -
Method in class argutia.logic.syntax.node.CNFNode
- getFilsD() -
Method in class argutia.logic.syntax.node.Node
- getFilsG() -
Method in class argutia.logic.syntax.node.CNFNode
- getFilsG() -
Method in class argutia.logic.syntax.node.Node
- getFont(MyStyles.StyleNames) -
Method in class argutia.gui.MyStyles
- Récupère la fonte du style spécifié.
- getFormule(UnmodifiableListIterator<SyntaxNode>) -
Static method in class argutia.logic.syntax.Syntax
- getFormuleNegation() -
Method in interface argutia.logic.sets.ISetOfFormulas
- getFormuleNegation() -
Method in class argutia.logic.sets.MutableSetOfFormulas
- getFormuleNegation() -
Method in class argutia.logic.sets.SetOfFormulas
- getInstance(Contexte, Clause) -
Static method in class argutia.logic.resolution.MaillonClause
- getInstance(Contexte, Literal) -
Static method in class argutia.logic.resolution.MaillonLitteral
- getK() -
Method in class argutia.logic.argumentationFramework.Agent
- getListCellRendererComponent(JList, Object, int, boolean, boolean) -
Method in class argutia.gui.Onglets.ComboBoxRenderer
- getLitteral(UnmodifiableListIterator<SyntaxNode>) -
Static method in class argutia.logic.syntax.Syntax
- getLitterauxDeOuArbre(CNFNode) -
Method in class argutia.logic.syntax.node.CNFNode
- getLocale() -
Method in class argutia.Argutia.Builder
- Retourne la locale.
- getLocale() -
Method in class argutia.MyResourceBundle
- getMC() -
Method in class argutia.logic.resolution.MaillonData
- getMessage() -
Method in exception argutia.logic.syntax.SyntaxException
- getMinimumsEnsembliste() -
Method in class argutia.logic.sets.FamilyOfSets
- getMinimumsEnsembliste() -
Method in interface argutia.logic.sets.IFamilyOfSets
- getMinimumsEnsembliste() -
Method in class argutia.logic.sets.MutableFamilyOfSets
- getML() -
Method in class argutia.logic.resolution.MaillonData
- getMnemonic(String) -
Method in class argutia.MyResourceBundle
- Récupère le pseudo raccourci clavier (un keybord mnemonic pour être précis)
rattaché à la clef spécifiée du ResourceBundle.
- getMsgTempsDeCalcul(String, double) -
Method in class argutia.gui.Onglets
- getNbLitterauxNonAffectés() -
Method in class argutia.logic.resolution.MaillonClause
- getNbOccurencesNonAffectées() -
Method in class argutia.logic.resolution.MaillonLitteral
- getNegation() -
Method in class argutia.logic.Formula
- getNextC() -
Method in class argutia.logic.resolution.MaillonData
- getNextL() -
Method in class argutia.logic.resolution.MaillonData
- getNextMLInconnu() -
Method in class argutia.logic.resolution.Resolution
- getNonAdmissible() -
Method in class argutia.logic.argumentationFramework.Situation
- getNumLigne(int) -
Method in class argutia.gui.DocumentColore
- getOffset() -
Method in class argutia.logic.syntax.node.SyntaxNode
- getOldOrthographe() -
Method in class argutia.gui.Representation
- Retourne l'ancienne orthographe de l'unité syntaxique configurable
associée à la représentation.
- getOngletConfiguration() -
Method in class argutia.gui.Onglets
- getOpenedFile() -
Method in class argutia.Argutia.Builder
- Retourne le Fichier à réouvrir.
- getOpenedFile() -
Method in class argutia.gui.Menu
- getOppose() -
Method in interface argutia.logic.Literal
- getOppose() -
Method in class argutia.logic.NegativeLiteral
- getOppose() -
Method in class argutia.logic.PropositionalVariable
- Retourne le littéral opposé, c'est-à-dire la
négation de cette variable propositionnelle.
- getOppose() -
Method in class argutia.logic.resolution.MaillonLitteral
- getOppose() -
Method in class argutia.logic.TruthSymbol
- Retourne la contradiction si c'est
la tautologie et inversement.
- getOrNew(String) -
Static method in class argutia.logic.PropositionalVariable
- Retourne la variable propositionnelle dont l'orthographe
correspond à celle fourni en paramètre.
- getOrthographe() -
Method in class argutia.gui.Representation
- Retourne l'orthographe de l'unité syntaxique configurable
associée à la représentation.
- getPdFInterrogations() -
Method in class argutia.logic.argumentationFramework.Situation
- getPInterrogations() -
Method in class argutia.logic.argumentationFramework.Situation
- getPointDeBacktrack() -
Method in class argutia.logic.resolution.Resolution
- Fournit un point de restauration permettant via un appel à la méthode
Resolution.backtrack(int)
de
retrouver le contexte présent : O(1).
- getPowerSet() -
Method in interface argutia.logic.sets.ISetOfFormulas
- getPowerSet() -
Method in class argutia.logic.sets.MutableSetOfFormulas
- getPowerSet() -
Method in class argutia.logic.sets.SetOfFormulas
- getPX() -
Method in class argutia.logic.argumentationFramework.Agent
- getRepresentations() -
Method in class argutia.Argutia.Builder
- Retourne l'orthographe initiale des différentes
unités syntaxiques configurables sous forme
d'une
Representations
.
- getRepresentations() -
Static method in class argutia.Argutia
- Retourne les représentations de l'application.
- getResourceBundle() -
Static method in class argutia.Argutia
- Retourne le resourceBundle de l'application.
- getResourceBundleKey() -
Method in class argutia.logic.syntax.ConfigurableSyntacticUnit
- Retourne la clef permettant de retrouver les propriétés d'un
MyResourceBundle
concernées par l'unité syntaxique configurable (dénomination et orthographe).
- getSingleton() -
Method in class argutia.logic.Formula
- getSituation() -
Method in class argutia.events.ComputationEvent
- Retourne la situation associée à l'événement.
- getSpellingInFile() -
Method in class argutia.gui.Representation
- Retourne la dénomination au sein des fichiers d'exemples de
l'unité syntaxique configurable associée à la représentation.
- getString(String) -
Method in class argutia.MyResourceBundle
- Retourne la chaîne du ResourceBundle associée à la clef spécifiée.
- getStyle(MyStyles.StyleNames) -
Method in class argutia.gui.DocumentColore
- getStyle(MyStyles.StyleNames) -
Method in class argutia.gui.MyStyles
- Retourne le style de nom
styleName
.
- getStyleContext() -
Static method in class argutia.Argutia
- Retourne le groupe des styles de l'application.
- getStyledDocument() -
Method in class argutia.gui.Onglets.JTextPaneColore
- getStyledMessageFormat() -
Method in exception argutia.logic.syntax.SyntaxException
- getSupport() -
Method in class argutia.logic.argumentationFramework.Argument
- getTabToSelect() -
Method in class argutia.Argutia.Builder
- Retourne l'ndice de l'onglet à sélectionner.
- getTempsDeCalcul() -
Method in class argutia.events.ComputationEvent
- Retourne le temps de calcul associé à l'événement.
- getText() -
Method in class argutia.gui.batchStyledDocument.BatchStyledDocument
- getTime() -
Method in class argutia.tools.Chrono
- Retourne le temps écoulé en millisecondes depuis le déclenchement du
chronomètre.
- getTime(int, int) -
Method in class argutia.tools.Chrono
- Retourne le temps écoulé depuis le déclenchement du chronomètre,
converti dans l'unité spécifiée.
- getTitle() -
Method in class argutia.gui.DocumentColore
- getTitle() -
Method in class argutia.logic.argumentationFramework.Agent
- getTooltip(String) -
Method in class argutia.MyResourceBundle
- Récupère la bulle d'information (un tool tip)
rattachée à la clef spécifiée du ResourceBundle.
- getType() -
Method in class argutia.Argutia.Builder
- Retourne le type d'initialisation à effectuer.
- getType() -
Method in class argutia.events.ComputationEvent
- Retourne le type de l'événement.
- getType() -
Method in class argutia.events.FileEvent
- Retourne le type de l'événement.
- getUnionDesNegations() -
Method in interface argutia.logic.sets.ISetOfFormulas
- getUnionDesNegations() -
Method in class argutia.logic.sets.MutableSetOfFormulas
- getUnionDesNegations() -
Method in class argutia.logic.sets.SetOfFormulas
- getUniteSyntaxique() -
Method in class argutia.gui.Representation
- Retourne l'unité syntaxique configurable
associée à la représentation.
- getUSC(String) -
Method in class argutia.MyResourceBundle
- Retourne un tableau de trois chaînes comprenant dans l'ordre la
dénomination, l'orthographe
et l'appellation dans les fichiers d'exemples d'une
unité syntaxique configurable.
Argutia JavaDoc
23 décembre 2007