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 AB, AB, AB et AB 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