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