F
- FamilyOfSets - Class in argutia.logic.sets
- FamilyOfSets(Iterable<SetOfFormulas>) -
Constructor for class argutia.logic.sets.FamilyOfSets
- fichierOuvert -
Variable in class argutia.gui.Menu
- file -
Variable in class argutia.events.FileEvent
- Précise le fichier potentiellement modifié, ouvert ou enregistré.
- FILE_COMMENT -
Static variable in class argutia.Files
- fileChooser -
Variable in class argutia.gui.Menu
- FileEvent - Class in argutia.events
- Événement concernant la gestion des fichiers.
- FileEvent(Object, FileEvent.Type, File) -
Constructor for class argutia.events.FileEvent
- Construit un événement portant sur le fichier spécifié.
- FileEvent.Type - Enum in argutia.events
- Types possibles de l'événement.
- FileEvent.Type() -
Constructor for enum argutia.events.FileEvent.Type
- FileListener - Interface in argutia.events
- Un écouteur de fichier gère les événements concernant la gestion des
fichiers.
- Files - Class in argutia
- Files() -
Constructor for class argutia.Files
- fileSectionTitle -
Variable in class argutia.gui.DocumentColore
- fileStateChanged(FileEvent) -
Method in interface argutia.events.FileListener
- Notifie l'écouteur qu'un événement est survenu concernant la gestion des
fichiers.
- fileStateChanged(FileEvent) -
Method in class argutia.gui.MainFrame
- Notifie l'écouteur qu'un événement est survenu concernant la gestion des
fichiers.
- fileStateChanged(FileEvent) -
Method in class argutia.gui.Menu
- fileStateChanged(FileEvent) -
Method in class argutia.gui.Onglets
- fileStateChanged(FileEvent) -
Method in class argutia.gui.SpellingInputVerifier
- filsD -
Variable in class argutia.logic.syntax.node.Node
- filsG -
Variable in class argutia.logic.syntax.node.Node
- fireCalculEvent(ComputationEvent.Type, Situation, double) -
Method in class argutia.logic.argumentationFramework.Situation
- fireFileEvent(FileEvent.Type) -
Method in class argutia.gui.DocumentColore
- fireFileEvent(FileEvent.Type) -
Method in class argutia.gui.Menu
- fNegation -
Variable in class argutia.logic.sets.SetOfFormulas
- format(String, AttributeSet, BatchStyledDocument) -
Static method in class argutia.gui.StyledMessageFormat
- format(String, AttributeSet, BatchStyledDocument, AffichableAvecStyle...) -
Static method in class argutia.gui.StyledMessageFormat
- format(String[], AttributeSet, BatchStyledDocument, AffichableAvecStyle...) -
Static method in class argutia.gui.StyledMessageFormat
- format() -
Method in class argutia.gui.StyledMessageFormat
- Formula - Class in argutia.logic
- L'ensemble des formules (ou formules bien formées) de la logique propositionnelle
est le plus petit ensemble de mots construits sur l'alphabet tel que :
si
A
est une formule atomique, alors A
est une formule,
si A
est une formule, alors ¬A
est une formule,
et si A
et B
sont des formules,
alors A
∨ B
, A
∧ B
, A
⇒ B
et A
⇔ B
sont des formules. - Formula(Node, Formula) -
Constructor for class argutia.logic.Formula
- Formula(Node) -
Constructor for class argutia.logic.Formula
- frame -
Static variable in class argutia.Argutia
- Frame principale.
- fS -
Variable in class argutia.logic.sets.FamilyOfSets
Argutia JavaDoc
23 décembre 2007