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