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

E

elems - Variable in class korat.utils.IntList

elems - Variable in class korat.utils.IntListAI

endCV - Variable in class korat.testing.impl.StateSpaceExplorer

equal(int[], int[]) - Static method in class korat.utils.cv.CVCmp

equals(Object) - Method in class korat.finitization.impl.ClassDomain

equals(Object) - Method in class korat.utils.IdentityWrapper

exactIdx - Variable in class korat.utils.cv.CVFinderDelta.FinderResult

EXCLUDE_PACKAGES - Static variable in class korat.config.ConfigLoader

excludeFromSearch - Variable in class korat.finitization.impl.CVElem

excludePackages - Variable in class korat.config.ConfigManager

Comma separated list of packages to be excluded from instrumentation.

ExcludingPackageFilter - Class in korat.loading.filter

ExcludingPackageFilter

ExcludingPackageFilter() - Constructor for class korat.loading.filter.ExcludingPackageFilter

expectedNumberOfVectors - Variable in class korat.utils.cv.WriteCVListener

extendsSig - Variable in class korat.gui.viz.metamodel.AlloySig