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