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

R

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

readBitsAsInt(int) - Method in class korat.utils.io.BitInputStream

readBitsAsInt(int) - Method in class korat.utils.io.BitRandomAccessFile

Reads the given number of bits and interprets them as int.

readBitsAsInt(int) - Method in interface korat.utils.io.IBitReader

Reads the given number of bits and interprets them as int.

readBitsAsLong(int) - Method in class korat.utils.io.BitInputStream

readBitsAsLong(int) - Method in class korat.utils.io.BitRandomAccessFile

Reads the given number of bits and interprets them as long

readBitsAsLong(int) - Method in interface korat.utils.io.IBitReader

Reads the given number of bits and interprets them as long

readCV(long) - Method in class korat.utils.cv.CVFinder

readCV(long) - Method in class korat.utils.cv.CVFinderDelta

readCV() - Method in class korat.utils.cv.CVReader

readCV() - Method in class korat.utils.cv.CVReaderDelta

readCV(long) - Method in interface korat.utils.cv.ICVFinder

Reads idx-th candidate vector from file

readCV() - Method in interface korat.utils.cv.ICVReader

Reads next candidate vector from file.

readDelta(int[], int[], IBitReader, int, int) - Static method in class korat.utils.cv.CVReaderDelta

readDouble() - Method in class korat.utils.io.BitInputStream

readDouble() - Method in class korat.utils.io.BitRandomAccessFile

readDouble() - Method in interface korat.utils.io.IBitReader

Reads 64 bits and interprets them as double.

readFloat() - Method in class korat.utils.io.BitInputStream

readFloat() - Method in class korat.utils.io.BitRandomAccessFile

readFloat() - Method in interface korat.utils.io.IBitReader

Reads 32 bits and interprets them as float.

readFullFormatVector(int[], IBitReader, int) - Static method in class korat.utils.cv.CVReaderDelta

readHeader() - Method in class korat.utils.cv.CVFinder

readHeader() - Method in class korat.utils.cv.CVFinderDelta

readHeader() - Method in class korat.utils.cv.CVReader

readHeader() - Method in class korat.utils.cv.CVReaderDelta

readInt() - Method in class korat.utils.io.BitInputStream

readInt() - Method in class korat.utils.io.BitRandomAccessFile

readInt() - Method in interface korat.utils.io.IBitReader

Reads 32 bits and interprets them as int.

readLong() - Method in class korat.utils.io.BitInputStream

readLong() - Method in class korat.utils.io.BitRandomAccessFile

readLong() - Method in interface korat.utils.io.IBitReader

Reads 64 bits and interprets them as long.

readObject() - Method in interface korat.utils.io.IDeserializer

Reads next object from the stream.

readObject() - Method in class korat.utils.io.SimpleDeserializer

readOffset(long, int[]) - Method in class korat.utils.cv.CVFinderDelta

ReflectionUtils - Class in korat.utils

ReflectionUtils() - Constructor for class korat.utils.ReflectionUtils

remove(AbstractInstrumenter) - Method in class korat.instrumentation.CompoundInstrumenter

remove(IComparingFilter) - Method in class korat.loading.filter.CompoundComparingFilter

removeByte(byte) - Method in interface korat.finitization.IByteSet

removeByte(byte) - Method in class korat.finitization.impl.ByteSet

removeClassDomain(IClassDomain) - Method in class korat.finitization.impl.ObjSet

removeClassDomain(int) - Method in class korat.finitization.impl.ObjSet

removeClassDomain(IClassDomain) - Method in interface korat.finitization.IObjSet

Removes class domain from this IObjSet

removeClassDomain(int) - Method in interface korat.finitization.IObjSet

Removes class domain from IObjSet

removeDouble(double) - Method in interface korat.finitization.IDoubleSet

removeDouble(double) - Method in class korat.finitization.impl.DoubleSet

removeFloat(float) - Method in interface korat.finitization.IFloatSet

removeFloat(float) - Method in class korat.finitization.impl.FloatSet

removeInt(int) - Method in interface korat.finitization.IIntSet

removeInt(int) - Method in class korat.finitization.impl.IntSet

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

Removes last element from the IIntList.

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

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

removeLast() - Method in class korat.utils.IntListBS

removeLong(long) - Method in interface korat.finitization.ILongSet

removeLong(long) - Method in class korat.finitization.impl.LongSet

removeOriginalArrayFields(CtClass) - Method in class korat.instrumentation.ArrayFieldInstrumenter

Removes original array fields from the class.

removeShort(short) - Method in class korat.finitization.impl.ShortSet

removeShort(short) - Method in interface korat.finitization.IShortSet

replaceFieldAccesses(CtClass) - Method in class korat.instrumentation.ArrayFieldInstrumenter

Traverses through all methods in the given class, looks for the bytecode instructions related to arrays and modifies them appropriately.

replaceFieldAccesses(CtClass) - Method in class korat.instrumentation.FieldInstrumenter

Searches for all read field accesses (GETFIELD instructions) and replaces them with appropriate getter method call (those getter methods that were generated in the addGetterMethod operation).

replaceString(String, char, String) - Method in class korat.loading.filter.PackageFilter

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

Reports the current test case as valid structure The current test case is the last one returned with nextTestCase.

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

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

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

returnInstr(CtClass) - Method in class korat.instrumentation.bytecode.StackTracerVisitor

Helper for handling various return bytecode instructions.

rootClass - Variable in class korat.finitization.impl.Finitization

rootClassDomain - Variable in class korat.finitization.impl.Finitization

rootDir - Variable in class korat.utils.BytecodeDumper

rootObject - Variable in class korat.finitization.impl.StateSpace

RunParallelSimulation - Class in korat.utils

RunParallelSimulation() - Constructor for class korat.utils.RunParallelSimulation