A

ACCELERATOR - Static variable in class argutia.MyResourceBundle
Suffixe de clef du ResourceBundle pour récupérer un raccourci clavier (un accelerator).
accept(File) - Method in class argutia.gui.Menu.ArgutiaFileFilter
Précise quels sont les répertoires et fichiers à afficher : tous les répertoires et les *.arg.
actionNewFile() - Method in class argutia.gui.Menu
actionOpenFile() - Method in class argutia.gui.Menu
actionPerformed(ActionEvent) - Method in class argutia.gui.Menu
actionPerformed(ActionEvent) - Method in class argutia.gui.Onglets
actionPerformed(ActionEvent) - Method in class argutia.gui.Onglets.ComboInterrogationsListener
actionSaveFile() - Method in class argutia.gui.Menu
actionSaveFile(boolean) - Method in class argutia.gui.Menu
actionShowDoc() - Method in class argutia.gui.Menu
add(Literal) - Method in class argutia.logic.Clause
add(CNFNode) - Method in class argutia.logic.Clause
add(Clause) - Method in class argutia.logic.Formula
add(MaillonData) - Method in class argutia.logic.resolution.Maillon
Ajoute un maillon contexte (créé par l'ajout d'une clause) en tête de liste.
add(MaillonData) - Method in class argutia.logic.resolution.MaillonLitteral
add(SetOfFormulas) - Method in class argutia.logic.sets.MutableFamilyOfSets
add(IFamilyOfSets) - Method in class argutia.logic.sets.MutableFamilyOfSets
add(E) - Method in interface argutia.logic.sets.MutableSet
add(Formula) - Method in class argutia.logic.sets.MutableSetOfFormulas
add(ISetOfFormulas) - Method in class argutia.logic.sets.MutableSetOfFormulas
add(V, K) - Method in class argutia.logic.sets.Partition
add(E) - Method in class argutia.tools.UnmodifiableListIterator
Unsupported operation.
addAffectation(MaillonLitteral) - Method in class argutia.logic.resolution.Resolution
addCalculListener(ComputationListener) - Method in class argutia.logic.argumentationFramework.Situation
addFileListener(FileListener) - Method in class argutia.gui.DocumentColore
addFileListener(FileListener) - Method in class argutia.gui.Menu
addJPanel(JPanel, String) - Method in class argutia.gui.Onglets
addMLDansClausesUnitaires(MaillonLitteral) - Method in class argutia.logic.resolution.MaillonClause
Ajoute, s'il n'était pas déjà présent, le maillon littéral de la clause, fournit en paramètre, dans la liste des littéraux des clauses unitaires, et met à jour mL_deja_present_dans_clauses_unitaires.
addMLNonAffecte(MaillonLitteral) - Method in class argutia.logic.resolution.MaillonClause
Incrémente le nombre de maillons contexte non affectés suite au passage à l'état INCONNU d'un maillon littéral de la clause.
addOccurence() - Method in class argutia.logic.resolution.MaillonLitteral
Incrémente d'un le nombre de maillons contexte non affectés.
admissible - Variable in class argutia.logic.argumentationFramework.Situation
affectations - Variable in class argutia.logic.resolution.Resolution
AffichableAvecStyle - Interface in argutia.gui.batchStyledDocument
Une classe implémentant l'interface AffichableAvecStyle peut s'afficher dans un BatchStyledDocument, via l'unique méthode de cette interface : #toStyledString(BatchedContent).
Agent - Class in argutia.logic.argumentationFramework
Agent(SetOfFormulas, SetOfFormulas) - Constructor for class argutia.logic.argumentationFramework.Agent
Agent(String, SetOfFormulas, SetOfFormulas) - Constructor for class argutia.logic.argumentationFramework.Agent
agent - Variable in class argutia.logic.argumentationFramework.Situation
Agent.Attitude - Enum in argutia.logic.argumentationFramework
The notion of admissiblity determines four possible distinct attitudes that an agent may adopt concerning a given formula.
Agent.Attitude(String) - Constructor for enum argutia.logic.argumentationFramework.Agent.Attitude
Agent.Interdit - Enum in argutia.logic.argumentationFramework
Agent.Interdit(String) - Constructor for enum argutia.logic.argumentationFramework.Agent.Interdit
alertMsg - Variable in class argutia.gui.SpellingInputVerifier
analyser(int, String) - Method in class argutia.logic.syntax.Decomposition
analyserTexte(Onglets.JTextPaneColore, Onglets.JTextPaneColore) - Static method in class argutia.logic.syntax.Syntax
AND - Static variable in class argutia.logic.LogicalConnector
La conjonction, notée usuellement ∧.
appendBatchLineFeed() - Method in class argutia.gui.batchStyledDocument.BatchStyledDocument
Ajoute un retour à la ligne dans le BatchedContent.
appendBatchString(String, AttributeSet) - Method in class argutia.gui.batchStyledDocument.BatchStyledDocument
Ajoute du texte avec le style spécifié dans le BatchedContent.
appendBatchStringln(String, AttributeSet) - Method in class argutia.gui.batchStyledDocument.BatchStyledDocument
Ajoute du texte avec le style spécifié dans le BatchedContent, suivi d'un retour à la ligne.
arbre - Variable in class argutia.logic.Clause
arbreBrut - Variable in class argutia.logic.Formula
arbreCNF - Variable in class argutia.logic.Formula
arbreCNF - Variable in class argutia.logic.sets.MutableSetOfFormulas
argInterrogation - Variable in class argutia.logic.argumentationFramework.Situation
Argument - Class in argutia.logic.argumentationFramework
Argument(SetOfFormulas, SetOfFormulas, boolean) - Constructor for class argutia.logic.argumentationFramework.Argument
Argument.Type - Enum in argutia.logic.argumentationFramework
Argument.Type() - Constructor for enum argutia.logic.argumentationFramework.Argument.Type
argumentPanel - Variable in class argutia.gui.Onglets
arguments - Variable in class argutia.gui.StyledMessageFormat
arguments - Variable in class argutia.logic.argumentationFramework.Situation
argutia - package argutia
Argutia - Class in argutia
Classe mère de l'application.
Argutia() - Constructor for class argutia.Argutia
Argutia.Builder - Class in argutia
Classe regroupant les différents paramètres nécessaires à la création de l'interface graphique.
Argutia.Builder() - Constructor for class argutia.Argutia.Builder
Constructeur dédié au premier démarrage de l'application.
Argutia.Builder(int, Locale, File) - Constructor for class argutia.Argutia.Builder
Constructeur dédié à une réinitialisation de type Argutia.Builder.Type.MANUAL.
Argutia.Builder(Argutia.Builder.Type, File) - Constructor for class argutia.Argutia.Builder
Constructeur commun aux réinitialisations de type Argutia.Builder.Type.USER_CONFIG et Argutia.Builder.Type.RESET.
Argutia.Builder.Type - Enum in argutia
Énumération des différents types d'initialisation de l'interface graphique.
Argutia.Builder.Type() - Constructor for enum argutia.Argutia.Builder.Type
argutia.events - package argutia.events
Événements propres à l'application.
argutia.gui - package argutia.gui
argutia.gui.batchStyledDocument - package argutia.gui.batchStyledDocument
Permet une amélioration significative du temps de mise à jour des DefaultStyledDocument.
argutia.logic - package argutia.logic
argutia.logic.argumentationFramework - package argutia.logic.argumentationFramework
argutia.logic.resolution - package argutia.logic.resolution
argutia.logic.sets - package argutia.logic.sets
argutia.logic.syntax - package argutia.logic.syntax
argutia.logic.syntax.node - package argutia.logic.syntax.node
argutia.tools - package argutia.tools
Outils génériques indépendants de l'application.
argutia.tools.annotations - package argutia.tools.annotations
Atom - Interface in argutia.logic
Un atome, ou formule atomique, est un symbole de vérité ou une variable propositionnelle.
attaque - Variable in class argutia.logic.argumentationFramework.Argument
Argutia JavaDoc
23 décembre 2007