O

offset - Variable in class argutia.logic.syntax.node.SyntaxNode
oldOrthographe - Variable in class argutia.gui.Representation
Ancienne syntaxe de l'unité syntaxique configurable.
ongletAgents - Variable in class argutia.gui.Onglets
ongletConfiguration - Variable in class argutia.gui.Onglets
ongletReponses - Variable in class argutia.gui.Onglets
Onglets - Class in argutia.gui
Crée les différents onglets de l'application.
Onglets(MainFrame, Argutia.Builder) - Constructor for class argutia.gui.Onglets
onglets - Variable in class argutia.gui.SpellingInputVerifier
Onglets.ComboBoxRenderer - Class in argutia.gui
Onglets.ComboBoxRenderer() - Constructor for class argutia.gui.Onglets.ComboBoxRenderer
Onglets.ComboInterrogationsListener - Class in argutia.gui
Onglets.ComboInterrogationsListener() - Constructor for class argutia.gui.Onglets.ComboInterrogationsListener
Onglets.JTextPaneColore - Class in argutia.gui
Onglets.JTextPaneColore(String, boolean) - Constructor for class argutia.gui.Onglets.JTextPaneColore
ongletSituation - Variable in class argutia.gui.Onglets
openedFile - Variable in class argutia.Argutia.Builder
Fichier ouvert avant réinitialisation et donc à réouvrir.
OPENING_PARENTHESIS - Static variable in class argutia.logic.syntax.Ponctuation
oppose - Variable in class argutia.logic.NegativeLiteral
oppose - Variable in class argutia.logic.PropositionalVariable
Littéral opposé, c'est-à-dire la négation de la variable propositionnelle.
oppose - Variable in class argutia.logic.resolution.MaillonLitteral
Contient le littéral opposé.
optimiserReecrireConjonctions(CNFNode, CNFNode, CNFNode) - Method in class argutia.logic.syntax.node.CNFNode
OR - Static variable in class argutia.logic.LogicalConnector
La disjonction, notée usuellement ∨.
orthographe - Variable in class argutia.gui.Representation
Orthographe de l'unité syntaxique configurable.
orthographe - Variable in class argutia.logic.PropositionalVariable
Orthographe de la variable propositionnelle.
ouvertureDeFichier() - Method in class argutia.gui.Representation
Prépare l'unité syntaxique configurable associée à la représentation lors de l'ouverture d'un fichier pour effectuer la liaison entre son orthographe dans le fichier et celle dans l'application.
Argutia JavaDoc
23 décembre 2007