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