M

Maillon<T> - Class in argutia.logic.resolution
Maillon(T) - Constructor for class argutia.logic.resolution.Maillon
Crée un maillon d'etiquette e, de content vide, d'état Etat.INCONNU, de taille nulle et de nb_mD_non_affectés=0.
Maillon.Etat - Enum in argutia.logic.resolution
Un maillon est par défaut à l'état INCONNU.
Maillon.Etat() - Constructor for enum argutia.logic.resolution.Maillon.Etat
MaillonClause - Class in argutia.logic.resolution
MaillonClause(Contexte, Clause) - Constructor for class argutia.logic.resolution.MaillonClause
MaillonData - Class in argutia.logic.resolution
MaillonData(MaillonLitteral, MaillonClause) - Constructor for class argutia.logic.resolution.MaillonData
MaillonLitteral - Class in argutia.logic.resolution
MaillonLitteral(Contexte, Literal) - Constructor for class argutia.logic.resolution.MaillonLitteral
Construit un maillon littéral d'étiquette l, ainsi que le maillon littéral opposé.
MaillonLitteral(Contexte, Literal, MaillonLitteral) - Constructor for class argutia.logic.resolution.MaillonLitteral
Construit un maillon littéral d'etiquette l et d'opposé oppose.
main(String[]) - Static method in class argutia.Argutia
MainFrame - Class in argutia.gui
Fenêtre principale de l'application.
MainFrame(Argutia.Builder) - Constructor for class argutia.gui.MainFrame
Construit la fenêtre principale de l'application et supervise la construction de toute l'interface graphique.
mainFrame - Variable in class argutia.gui.Menu
mainFrame - Variable in class argutia.gui.Onglets
mC - Variable in class argutia.logic.resolution.MaillonData
mC_inconnus_contenant_mL_oppose - Variable in class argutia.logic.resolution.MaillonLitteral
mC_non_satisfaits - Variable in class argutia.logic.resolution.Contexte
mC_passes_a_satisfait - Variable in class argutia.logic.resolution.MaillonLitteral
Maillons clause à l'état INCONNU passés à l'état SATISFAIT suite à la mise à l'état SATISFAIT du maillon littéral.
mC_pool - Static variable in class argutia.logic.resolution.MaillonClause
mC_values - Variable in class argutia.logic.resolution.Contexte
mC_vides - Variable in class argutia.logic.resolution.Contexte
memoriser(Contexte) - Static method in class argutia.logic.resolution.MaillonClause
memoriser(Contexte) - Static method in class argutia.logic.resolution.MaillonLitteral
memoriser() - Method in class argutia.logic.resolution.Resolution
Menu - Class in argutia.gui
Pour la liaison avec le navigateur lors de l'affichage de la javadoc, voir Browser.
Menu(JFrame) - Constructor for class argutia.gui.Menu
menu - Variable in class argutia.gui.Onglets
Menu.ArgutiaFileFilter - Class in argutia.gui
Filtre permettant de pré-selectionner les fichiers relatifs à l'application (*.arg)
Menu.ArgutiaFileFilter() - Constructor for class argutia.gui.Menu.ArgutiaFileFilter
menuItemAPropos - Variable in class argutia.gui.Menu
menuItemDocumentation - Variable in class argutia.gui.Menu
menuItemEnregistrer - Variable in class argutia.gui.Menu
menuItemEnregistrerSous - Variable in class argutia.gui.Menu
menuItemNouveau - Variable in class argutia.gui.Menu
menuItemOuvrir - Variable in class argutia.gui.Menu
menuItemQuitter - Variable in class argutia.gui.Menu
message - Variable in exception argutia.logic.syntax.SyntaxException
mL - Variable in class argutia.logic.resolution.MaillonData
mL_dans_clauses_unitaires - Variable in class argutia.logic.resolution.Contexte
Maillons littéraux présents dans des clauses unitaires à l'état INCONNU.
mL_deja_present_dans_clauses_unitaires - Variable in class argutia.logic.resolution.MaillonClause
Précise si lorsque la clause devient unitaire, son maillon littéral était déjà présent dans Contexte.mL_dans_clauses_unitaires, auquel cas aucun ajout ou suppression ne s'y fera.
mL_pool - Static variable in class argutia.logic.resolution.MaillonLitteral
mL_purs - Variable in class argutia.logic.resolution.Contexte
mL_values - Variable in class argutia.logic.resolution.Contexte
MNEMONIC - Static variable in class argutia.MyResourceBundle
Suffixe de clef du ResourceBundle pour récupérer un pseudo raccourci clavier (un keybord mnemonic pour être précis).
modifies - Variable in class argutia.gui.SpellingInputVerifier
msgArgumentTab - Variable in class argutia.gui.Onglets
MutableFamilyOfSets - Class in argutia.logic.sets
MutableFamilyOfSets() - Constructor for class argutia.logic.sets.MutableFamilyOfSets
MutableFamilyOfSets(Iterable<SetOfFormulas>) - Constructor for class argutia.logic.sets.MutableFamilyOfSets
MutableSet<E> - Interface in argutia.logic.sets
MutableSetOfFormulas - Class in argutia.logic.sets
MutableSetOfFormulas() - Constructor for class argutia.logic.sets.MutableSetOfFormulas
MutableSetOfFormulas(Iterable<Formula>) - Constructor for class argutia.logic.sets.MutableSetOfFormulas
MyResourceBundle - Class in argutia
C'est un ResourceBundle enrichi de méthodes pour extraire simplement les raccourcis clavier, bulles d'information et autres configurations par défaut des unités syntaxiques configurables associés à l'application.
MyResourceBundle(String, String, Argutia.Builder) - Constructor for class argutia.MyResourceBundle
Crée un MyResourceBundle en récupérant un ResourceBundle utilisant le baseName et la locale spécifiés.
MyStyles - Class in argutia.gui
Groupe des styles utilisés par l'interface graphique.
MyStyles(Argutia.Builder) - Constructor for class argutia.gui.MyStyles
Construit et initialise un StyleContext avec tous les styles nécessaires à l'interface graphique.
MyStyles.StyleNames - Enum in argutia.gui
Énumération des styles utilisés par l'application.
MyStyles.StyleNames() - Constructor for enum argutia.gui.MyStyles.StyleNames
Argutia JavaDoc
23 décembre 2007