N
- n -
Variable in class test.argutia.logic.syntax.node.NodeTest
- nb_mD_non_affectés -
Variable in class argutia.logic.resolution.Maillon
- Nombre de
maillons contexte
de la liste chaînée content
dont
l'état est Maillon.Etat.INCONNU
.
- nd -
Variable in class test.argutia.logic.syntax.node.NodeTest
- ndd -
Variable in class test.argutia.logic.syntax.node.NodeTest
- negatifs -
Variable in class argutia.logic.syntax.node.CNFNode.Couple
- negation -
Variable in class argutia.logic.Formula
- NegativeLiteral - Class in argutia.logic
- NegativeLiteral(PropositionalVariable) -
Constructor for class argutia.logic.NegativeLiteral
- newArrayList() -
Static method in class argutia.tools.Collections
- Construit et retourne une
ArrayList
vide.
- newArrayList(int) -
Static method in class argutia.tools.Collections
- Construit et retourne une
ArrayList
avec la capacité initiale spécifiée.
- newEnumMap(Class<K>) -
Static method in class argutia.tools.Collections
- Construit et retourne une
EnumMap
vide.
- newHashMap() -
Static method in class argutia.tools.Collections
- Construit et retourne une
HashMap
vide.
- newHashSet() -
Static method in class argutia.tools.Collections
- Construit et retourne un
HashSet
vide.
- newLinkedHashMap() -
Static method in class argutia.tools.Collections
- Construit et retourne une
LinkedHashMap
vide.
- newLinkedHashSet() -
Static method in class argutia.tools.Collections
- Construit et retourne un
LinkedHashSet
vide.
- newLinkedList() -
Static method in class argutia.tools.Collections
- Construit et retourne une
LinkedList
vide.
- next() -
Method in class argutia.tools.UnmodifiableIterator
- Returns the next element in the iteration.
- nextC -
Variable in class argutia.logic.resolution.MaillonData
- nextIndex() -
Method in class argutia.tools.UnmodifiableListIterator
- Returns the index of the element that would be returned by a subsequent call to
UnmodifiableIterator.next()
.
- nextL -
Variable in class argutia.logic.resolution.MaillonData
- ng -
Variable in class test.argutia.logic.syntax.node.NodeTest
- ngg -
Variable in class test.argutia.logic.syntax.node.NodeTest
- Node - Class in argutia.logic.syntax.node
- Node(SyntacticUnit, Node, Node) -
Constructor for class argutia.logic.syntax.node.Node
- NodeTest - Class in test.argutia.logic.syntax.node
- NodeTest(String) -
Constructor for class test.argutia.logic.syntax.node.NodeTest
- non_admissible -
Variable in class argutia.logic.argumentationFramework.Situation
- NOT -
Static variable in class argutia.logic.LogicalConnector
- La négation, notée usuellement ¬.
Argutia JavaDoc
23 décembre 2007