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

E

EajFactory - Class in org.aspectbench.eaj.runtime.reflect

EajFactory(String, Class) - Constructor for class org.aspectbench.eaj.runtime.reflect.EajFactory

elem - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackDouble.Cell

elem - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackFloat.Cell

elem - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackInt.Cell

elem - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackLong.Cell

elem - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackRef.Cell

EMPTY_CLASS_ARRAY - Static variable in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

EMPTY_CLASS_ARRAY - Static variable in class org.aspectbench.runtime.reflect.SignatureImpl

EMPTY_MAP - Static variable in class rwth.i2.ltlrv.data.WeakValuesMap.Util

EMPTY_STRING_ARRAY - Static variable in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

EMPTY_STRING_ARRAY - Static variable in class org.aspectbench.runtime.reflect.SignatureImpl

emptyClauseSet() - Static method in class rwth.i2.ltlrv.util.SetUtils

Constructs an empty clause set.

emptyMap() - Static method in class rwth.i2.ltlrv.data.WeakValuesMap.Util

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

Returns a copy of the key/values in the map at the point of calling.

Eq(IFormula, IFormula) - Method in class rwth.i2.ltlrv.management.FormulaFactory

Generates an equivalence relation.

Eq(IFormula, IFormula) - Method in interface rwth.i2.ltlrv.management.IFormulaFactory

Generates an equivalence relation.

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

A MyWeakRef is equal to an Object if either the Object is a MyWeakRef and there's reference equality between the referents, or the Object isn't a MyWeakRef, and there's reference equality between that object and the referent of this MyWeakRef.

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

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

Implements an equality check based on the assumption that this formula constructor is commutative.

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

equals(Object) - Method in class rwth.i2.ltlrv.afastate.impl.FF

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

Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality.

equals(Object) - Method in class rwth.i2.ltlrv.afastate.impl.TT

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

Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality.

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

Implements an equality check based on the assumption that this formula constructor is commutative.

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

Equivalent - Class in rwth.i2.ltlrv.formula.impl

Equivalent - Implements the equivalent relation as subformula.

Equivalent(IFormula, IFormula) - Constructor for class rwth.i2.ltlrv.formula.impl.Equivalent

Constructs an equivalent relation for the two subformulae.

EXCEPTION_HANDLER - Static variable in interface org.aspectj.lang.JoinPoint

exceptionTypes - Variable in class org.aspectbench.runtime.reflect.CodeSignatureImpl

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

Removes stale entries from the map.

extractInt(int) - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

extractInt(int) - Method in class org.aspectbench.runtime.reflect.SignatureImpl

extractString(int) - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

extractString(int) - Method in class org.aspectbench.runtime.reflect.SignatureImpl

extractStrings(int) - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

extractStrings(int) - Method in class org.aspectbench.runtime.reflect.SignatureImpl

extractType(int) - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

extractType(int) - Method in class org.aspectbench.runtime.reflect.SignatureImpl

extractTypes(int) - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

extractTypes(int) - Method in class org.aspectbench.runtime.reflect.SignatureImpl