H

hash() - Static method in class argutia.tools.HashCodes
Retourne un entier pseudo-aléatoire
hash(Iterable<E>) - Static method in class argutia.tools.HashCodes
Calcule le hash code de la collection spécifiée en multipliant entre eux les hash codes de chacun de ses éléments.
hashCode() - Method in class argutia.gui.Representation
hashCode - Variable in class argutia.logic.Clause
hashCode() - Method in class argutia.logic.Clause
hashCode - Variable in class argutia.logic.Formula
hashCode() - Method in class argutia.logic.Formula
hashCode - Variable in class argutia.logic.NegativeLiteral
hashCode() - Method in class argutia.logic.NegativeLiteral
hashCode() - Method in class argutia.logic.resolution.Maillon
hashCode - Variable in class argutia.logic.sets.SetOfFormulas
hashCode() - Method in class argutia.logic.sets.SetOfFormulas
hashCode - Variable in class argutia.logic.syntax.SyntacticUnit
HashCode de l'unité syntaxique.
hashCode() - Method in class argutia.logic.syntax.SyntacticUnit
Retourne le valeur de l'attribut SyntacticUnit.hashCode de l'unité syntaxique.
HashCodes - Class in argutia.tools
Classe dédiée au calcul des hash codes.
HashCodes() - Constructor for class argutia.tools.HashCodes
Cette classe n'a pas vocation à être sous-classée ou instanciée.
hasNext() - Method in class argutia.tools.UnmodifiableIterator
Returns true if the iteration has more elements.
hasPrevious() - Method in class argutia.tools.UnmodifiableListIterator
Returns true if this list iterator has more elements when traversing the list in the reverse direction.
Argutia JavaDoc
23 décembre 2007