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