A B C D E F G H I J K L M N O P Q R S T U V W X _

H

hash - Variable in class rwth.i2.ltlrv.data.WeakValuesHashMap

The internal HashMap that will hold the WeakReference.

hashCode - Variable in class org.aspectbench.tm.runtime.internal.MyWeakRef

hashCode() - Method in class org.aspectbench.tm.runtime.internal.MyWeakRef

hashCode() - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

hashCode() - Method in class rwth.i2.ltlrv.afastate.base.CommutativeBinaryAFAState

Calculates a hash code based on the assumption that this formula constructor is commutative.

hashCode() - Method in class rwth.i2.ltlrv.afastate.base.NullaryAFAState

hashCode() - Method in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

hashCode() - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

hashCode() - Method in interface rwth.i2.ltlrv.afastate.interfaze.IProposition

Clients should implement this method, since the implementation uses HashSets, which require a proper hash code.

hashCode - Variable in class rwth.i2.ltlrv.data.WeakValuesHashMap

hashCode() - Method in class rwth.i2.ltlrv.data.WeakValuesHashMap

hashCode() - Method in class rwth.i2.ltlrv.formula.base.CommutativeBinaryFormula

Calculates a hash code based on the assumption that this formula constructor is commutative.

hashCode() - Method in class rwth.i2.ltlrv.management.Configuration

hashCodeDirty - Variable in class rwth.i2.ltlrv.data.WeakValuesHashMap

HAVE_JAVA_14 - Static variable in exception org.aspectj.lang.SoftException