S

save(File, Map<String, String>) - Static method in class argutia.Files
saveUserProperties(Dimension) - Method in class argutia.MyResourceBundle
SEED - Static variable in class argutia.tools.HashCodes
Valeur initiale des hash codes.
SEPARATEUR - Static variable in class argutia.logic.syntax.Ponctuation
serialVersionUID - Static variable in class argutia.events.ComputationEvent
The serial version of this class.
serialVersionUID - Static variable in class argutia.events.FileEvent
The serial version of this class.
serialVersionUID - Static variable in class argutia.gui.batchStyledDocument.BatchStyledDocument
The serial version of this class.
serialVersionUID - Static variable in class argutia.gui.DocumentColore
serialVersionUID - Static variable in class argutia.gui.MainFrame
The serial version of this class.
serialVersionUID - Static variable in class argutia.gui.Menu
The serial version of this class.
serialVersionUID - Static variable in class argutia.gui.MyStyles
The serial version of this class.
serialVersionUID - Static variable in class argutia.gui.Onglets.JTextPaneColore
serialVersionUID - Static variable in class argutia.gui.Onglets
The serial version of this class.
serialVersionUID - Static variable in class argutia.gui.Representation
The serial version of this class.
serialVersionUID - Static variable in exception argutia.logic.syntax.SyntaxException
Set<E> - Interface in argutia.logic.sets
set(E) - Method in class argutia.tools.UnmodifiableListIterator
Unsupported operation.
setEtat(Maillon.Etat) - Method in class argutia.logic.resolution.Maillon
Change l'état du maillon.
setFilsD(Node) - Method in class argutia.logic.syntax.node.SyntaxNode
setFilsG(Node) - Method in class argutia.logic.syntax.node.SyntaxNode
SetOfFormulas - Class in argutia.logic.sets
SetOfFormulas(Iterable<Formula>) - Constructor for class argutia.logic.sets.SetOfFormulas
setOpenFile(File) - Method in class argutia.gui.Menu
setOrthographe(String) - Method in class argutia.gui.Representation
Met à jour à l'aide du paramètre newOrthographe l'orthographe de l'unité syntaxique configurable associée à la représentation.
setSatisfait(MaillonLitteral) - Method in class argutia.logic.resolution.MaillonClause
Passage à l'état SATISFAIT de la clause suite au passage à l'état SATISFAIT d'un de ses maillons littéraux, passé en paramètre.
setSatisfait() - Method in class argutia.logic.resolution.MaillonLitteral
Passe le littéral à l'état SATISFAIT et son opposé à l'état INSATISFAIT.
setStyle(Component, MyStyles.StyleNames) - Method in class argutia.gui.MyStyles
Applique un style sur un composant graphique.
setTabs(Style, int) - Method in class argutia.gui.MyStyles
Redéfinit les tabulations du style pour qu'elles adoptent la largeur spécifiée.
setText(String) - Method in class argutia.gui.DocumentColore
setUp() - Method in class test.argutia.logic.PropositionalVariableTest
setUp() - Method in class test.argutia.logic.syntax.node.NodeTest
shouldYieldFocus(JComponent) - Method in class argutia.gui.SpellingInputVerifier
showCancelMsgConfigurationGestion(Argutia.Builder.Type) - Method in class argutia.gui.Onglets
showMsgConfigurationGestion(String) - Method in class argutia.gui.Onglets
simplifier() - Method in class argutia.logic.resolution.Resolution
SINGLE_LINE_COMMENT - Static variable in class argutia.logic.syntax.Ponctuation
singleton - Variable in class argutia.logic.Formula
situation - Variable in class argutia.events.ComputationEvent
Situation de l'événement.
SITUATION - Variable in class argutia.gui.Onglets
situation - Variable in class argutia.gui.Onglets
Situation - Class in argutia.logic.argumentationFramework
Situation(Agent) - Constructor for class argutia.logic.argumentationFramework.Situation
Situation(Agent, Argument) - Constructor for class argutia.logic.argumentationFramework.Situation
Situation(Agent, SetOfFormulas) - Constructor for class argutia.logic.argumentationFramework.Situation
size() - Method in class argutia.logic.Clause
size() - Method in class argutia.logic.Formula
size() - Method in class argutia.logic.sets.FamilyOfSets
size() - Method in class argutia.logic.sets.MutableFamilyOfSets
size() - Method in class argutia.logic.sets.MutableSetOfFormulas
size() - Method in interface argutia.logic.sets.Set
size() - Method in class argutia.logic.sets.SetOfFormulas
source - Variable in class argutia.logic.sets.Partition
SPELLING - Static variable in class argutia.MyResourceBundle
Suffixe de clef du ResourceBundle pour récupérer l'orthographe d'une unité syntaxique configurable.
SPELLING_IN_FILE - Static variable in class argutia.MyResourceBundle
Suffixe de clef du ResourceBundle pour récupérer la dénomination dans un fichier d'exemple d'une unité syntaxique configurable ou d'un document coloré.
spellingInFile - Variable in class argutia.gui.Representation
Orthographe de l'unité syntaxique configurable au sein des fichiers d'exemples.
SpellingInputVerifier - Class in argutia.gui
SpellingInputVerifier(Onglets) - Constructor for class argutia.gui.SpellingInputVerifier
startParagraph - Variable in class argutia.gui.batchStyledDocument.BatchStyledDocument
style - Variable in class argutia.gui.StyledMessageFormat
styleContext - Static variable in class argutia.Argutia
Groupe des styles de l'application.
StyledMessageFormat - Class in argutia.gui
StyledMessageFormat(String, AttributeSet, BatchStyledDocument) - Constructor for class argutia.gui.StyledMessageFormat
StyledMessageFormat(String, AttributeSet, BatchStyledDocument, AffichableAvecStyle...) - Constructor for class argutia.gui.StyledMessageFormat
StyledMessageFormat(String[], AttributeSet, BatchStyledDocument, AffichableAvecStyle...) - Constructor for class argutia.gui.StyledMessageFormat
support - Variable in class argutia.logic.argumentationFramework.Argument
supportInterrogations - Variable in class argutia.gui.Onglets
SwingThreadSafe - Annotation Type in argutia.tools.annotations
Cette annotation s'applique à toute méthode qui s'exécute systématiquement dans l'Event Dispatching Thread (EDT), quel que soit le thread l'ayant appelée.
SyntacticUnit - Class in argutia.logic.syntax
Les différentes unités syntaxiques constituent l'alphabet de la logique propositionnelle.
SyntacticUnit() - Constructor for class argutia.logic.syntax.SyntacticUnit
Crée une unité syntaxique.
Syntax - Class in argutia.logic.syntax
Permet l'analyse d'un texte à l'aide de règles de grammaire.
Syntax() - Constructor for class argutia.logic.syntax.Syntax
syntaxe - Variable in class argutia.logic.syntax.WrongSyntacticUnit
SyntaxException - Exception in argutia.logic.syntax
Une exception de syntaxe est levée dès lors qu'une formule n'est pas reconnue par la grammaire.
SyntaxException(StyledMessageFormat) - Constructor for exception argutia.logic.syntax.SyntaxException
SyntaxNode - Class in argutia.logic.syntax.node
SyntaxNode(SyntacticUnit, int) - Constructor for class argutia.logic.syntax.node.SyntaxNode
Argutia JavaDoc
23 décembre 2007