E

eF - Variable in class argutia.logic.sets.SetOfFormulas
eFInterrogations - Variable in class argutia.gui.Onglets
eFInterrogations - Variable in class argutia.logic.argumentationFramework.Situation
eFPanel - Variable in class argutia.gui.Onglets
endParagraph - Variable in class argutia.gui.batchStyledDocument.BatchStyledDocument
enhanced - Variable in class argutia.gui.Representation
ENTETE_FICHIER_UTILISATEUR - Static variable in class argutia.Files
eol - Variable in class argutia.gui.batchStyledDocument.BatchStyledDocument
Élément « fin de ligne ».
EOL_ARRAY - Static variable in class argutia.gui.batchStyledDocument.BatchStyledDocument
Tag de fin de ligne utilisé lors de la création de #EOL.
equals(Object) - Method in class argutia.gui.Representation
equals(Object) - Method in class argutia.logic.Clause
equals(Object) - Method in class argutia.logic.Formula
equals(Object) - Method in class argutia.logic.NegativeLiteral
equals(Object) - Method in class argutia.logic.resolution.Maillon
equals(Object) - Method in class argutia.logic.sets.MutableSetOfFormulas
equals(Object) - Method in class argutia.logic.sets.SetOfFormulas
equals(Object) - Method in class argutia.logic.syntax.SyntacticUnit
Compare l'objet spécifié avec l'unité syntaxique et retourne true s'ils sont équivalents.
EQUIVALENCE - Static variable in class argutia.logic.LogicalConnector
L'équivalence, notée usuellement ⇔.
escapeString(String) - Method in class argutia.logic.syntax.WrongSyntacticUnit
estXInferee(Formula) - Method in class argutia.logic.argumentationFramework.Agent
etat - Variable in class argutia.logic.resolution.Maillon
État du maillon.
etiquette - Variable in class argutia.logic.resolution.Maillon
Valeur du maillon.
extraireClausesDistinctes(CNFNode) - Method in class argutia.logic.Formula
Argutia JavaDoc
23 décembre 2007