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

N

N - Variable in class korat.testing.impl.TestCradleII

name - Variable in class korat.gui.viz.metamodel.AlloyAtom

name - Variable in class korat.gui.viz.metamodel.AlloyField

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

NestedClassCreator - Class in korat.instrumentation

NestedClassCreator() - Constructor for class korat.instrumentation.NestedClassCreator

NEW - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

newAlgorithm(int) - Static method in class korat.utils.cv.C

NEWARRAY - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

newTestCase(Object, int[], boolean) - Method in class korat.utils.cv.WriteCVListener.WriteAllMode

newTestCase(Object, int[], boolean) - Method in class korat.utils.cv.WriteCVListener.WriteNumExpectedMode

newTestCase(Object, int[], boolean) - Method in class korat.utils.cv.WriteCVListener.WriteNumMode

newTestCase(Object, int[], boolean) - Method in class korat.utils.cv.WriteCVListener.WriterMode

nextTestCase() - Method in interface korat.testing.IKoratSearchStrategy

Searches for next test case.

nextTestCase() - Method in class korat.testing.impl.StateSpaceExplorer

NOP - Static variable in class korat.instrumentation.bytecode.BytecodeUtils

Java VM opcodes.

notifyClients(Object) - Method in class korat.testing.impl.AbstractTestCaseGenerator

notifyFieldAccess(Object, String) - Method in class korat.testing.impl.TestCradle

notifyFieldAccess(int) - Method in class korat.testing.impl.TestCradle

notifyFieldAccess(Object, String) - Method in interface korat.testing.ITester

Notifies that particular field has be accessed

notifyFieldAccess(int) - Method in interface korat.testing.ITester

Notifies that particular field has been accessed

notifyNewTestCase(Object) - Method in class korat.gui.viz.VizListener

notifyNewTestCase(Object) - Method in interface korat.testing.ITestCaseListener

Called by ITestCaseGenerator for which this object is registered as listener.

notifyNewTestCase(Object) - Method in class korat.utils.cv.WriteCVListener

notifyNewTestCase(Object) - Method in class korat.utils.SerializationListener

notifyTestFinished(long, long) - Method in class korat.gui.viz.VizListener

notifyTestFinished(long, long) - Method in class korat.testing.impl.AbstractTestCaseGenerator

notifyTestFinished(long, long) - Method in interface korat.testing.ITestCaseListener

Called by ITestCaseGenerator when test generation is finished.

notifyTestFinished(long, long) - Method in class korat.utils.cv.WriteCVListener

notifyTestFinished(long, long) - Method in class korat.utils.SerializationListener

nullAllowed - Variable in class korat.finitization.impl.ObjSet

NullClassDomain - Class in korat.finitization.impl

NullClassDomain() - Constructor for class korat.finitization.impl.NullClassDomain

NullOutputStream - Class in korat.utils.io

NullOutputStream() - Constructor for class korat.utils.io.NullOutputStream

nullToZero(C.Candidate) - Static method in class korat.utils.cv.C

numberOfElements() - Method in interface korat.utils.IIntList

Returns number of the elements contained in this list.

numberOfElements() - Method in class korat.utils.IntList

numberOfElements() - Method in class korat.utils.IntListAI

numBitsPerCVIndex - Variable in class korat.utils.cv.CVFinderDelta

numBitsPerCVIndex - Variable in class korat.utils.cv.CVReaderDelta

numBitsPerCVIndex - Variable in class korat.utils.cv.CVWriterDelta

numBitsPerElem - Variable in class korat.utils.cv.CVFinder

numBitsPerElem - Variable in class korat.utils.cv.CVFinderDelta

numBitsPerElem - Variable in class korat.utils.cv.CVReader

numBitsPerElem - Variable in class korat.utils.cv.CVReaderDelta

numBitsPerElem - Variable in class korat.utils.cv.CVWriter

numBitsPerElem - Variable in class korat.utils.cv.CVWriterDelta

numCVs - Variable in class korat.utils.cv.CVFinder

numCVs - Variable in class korat.utils.cv.CVFinderDelta

numCVs - Variable in class korat.utils.cv.CVReader

numCVs - Variable in class korat.utils.cv.CVReaderDelta

numCVs - Variable in class korat.utils.cv.CVWriter

numCVs - Variable in class korat.utils.cv.CVWriterDelta

numCVsRead - Variable in class korat.utils.cv.CVReader

numCVsRead - Variable in class korat.utils.cv.CVReaderDelta

numElemsPerCV - Variable in class korat.utils.cv.CVFinder

numElemsPerCV - Variable in class korat.utils.cv.CVFinderDelta

numElemsPerCV - Variable in class korat.utils.cv.CVReader

numElemsPerCV - Variable in class korat.utils.cv.CVReaderDelta

numElemsPerCV - Variable in class korat.utils.cv.CVWriter

numElemsPerCV - Variable in class korat.utils.cv.CVWriterDelta

numFullFormatVectors - Variable in class korat.utils.cv.CVFinderDelta

numOfObjects - Variable in class korat.finitization.impl.ClassDomain

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