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

C

C - Class in korat.utils.cv

C() - Constructor for class korat.utils.cv.C

C.Candidate - Class in korat.utils.cv

C.Candidate(long) - Constructor for class korat.utils.cv.C.Candidate

C.Pair - Class in korat.utils.cv

C.Pair(C.Candidate[], int) - Constructor for class korat.utils.cv.C.Pair

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

cache - Static variable in class korat.utils.ReflectionUtils

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

CandidateBuilder - Class in korat.finitization.impl

CandidateBuilder is responsible for building the object structure from candidate vector.

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

CandidateBuilder(StateSpace, IIntList) - Constructor for class korat.finitization.impl.CandidateBuilder

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

candidates - Variable in class korat.utils.cv.C.Pair

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

CannotFindClassUnderTest - Exception in korat.testing.impl

CannotFindClassUnderTest(String) - Constructor for exception korat.testing.impl.CannotFindClassUnderTest

CannotFindClassUnderTest(String, String, Throwable) - Constructor for exception korat.testing.impl.CannotFindClassUnderTest

CannotFindClassUnderTest(String, String) - Constructor for exception korat.testing.impl.CannotFindClassUnderTest

CannotFindClassUnderTest(String, Throwable) - Constructor for exception korat.testing.impl.CannotFindClassUnderTest

CannotFindFinitizationException - Exception in korat.testing.impl

CannotFindFinitizationException(Class, String, String, Throwable) - Constructor for exception korat.testing.impl.CannotFindFinitizationException

CannotFindFinitizationException(Class, String, String) - Constructor for exception korat.testing.impl.CannotFindFinitizationException

CannotFindFinitizationException(Class, String, Throwable) - Constructor for exception korat.testing.impl.CannotFindFinitizationException

CannotFindFinitizationException(Class, String) - Constructor for exception korat.testing.impl.CannotFindFinitizationException

CannotFindPredicateException - Exception in korat.testing.impl

CannotFindPredicateException(Class, String, String, Throwable) - Constructor for exception korat.testing.impl.CannotFindPredicateException

CannotFindPredicateException(Class, String, String) - Constructor for exception korat.testing.impl.CannotFindPredicateException

CannotFindPredicateException(Class, String, Throwable) - Constructor for exception korat.testing.impl.CannotFindPredicateException

CannotFindPredicateException(Class, String) - Constructor for exception korat.testing.impl.CannotFindPredicateException

CannotInvokeFinitizationException - Exception in korat.testing.impl

CannotInvokeFinitizationException(Class, String, String, Throwable) - Constructor for exception korat.testing.impl.CannotInvokeFinitizationException

CannotInvokeFinitizationException(Class, String, String) - Constructor for exception korat.testing.impl.CannotInvokeFinitizationException

CannotInvokeFinitizationException(Class, String, Throwable) - Constructor for exception korat.testing.impl.CannotInvokeFinitizationException

CannotInvokeFinitizationException(Class, String) - Constructor for exception korat.testing.impl.CannotInvokeFinitizationException

CannotInvokePredicateException - Exception in korat.testing.impl

CannotInvokePredicateException(Class, String, String, Throwable) - Constructor for exception korat.testing.impl.CannotInvokePredicateException

CannotInvokePredicateException(Class, String, String) - Constructor for exception korat.testing.impl.CannotInvokePredicateException

CannotInvokePredicateException(Class, String, Throwable) - Constructor for exception korat.testing.impl.CannotInvokePredicateException

CannotInvokePredicateException(Class, String) - Constructor for exception korat.testing.impl.CannotInvokePredicateException

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

changedFields - Variable in class korat.finitization.impl.CandidateBuilder

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

charType - Variable in class korat.instrumentation.bytecode.JavassistInstructionVisitor

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

Checks only if the given type is array.

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

Checks only if the given type is array and if its component type is compatible with the given component type.

checkArrayType(int) - Method in class korat.instrumentation.bytecode.JavassistInstructionVisitor

checkArrayType(CtClass) - Method in class korat.instrumentation.bytecode.JavassistInstructionVisitor

checkArrayType(String) - Method in class korat.instrumentation.bytecode.JavassistInstructionVisitor

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

checkClassDomainIndex(int) - Method in class korat.finitization.impl.FieldDomain

checkDistance(long[]) - Static method in class korat.utils.cv.Cmp

checkExpectedMode(int, long, long) - Static method in class korat.utils.cv.AlgSimulator

checkObjectIndex(int) - Method in class korat.finitization.impl.FieldDomain

checkObjIndex(int) - Method in class korat.finitization.impl.ClassDomain

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

checkRequiredOptions() - Method in class korat.config.ConfigLoader

Checks for the presence of the required options.

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

Checks type compatibility: actual type has to be subtype of the expected type, i.e.

checkWriteNumMode(int, long) - Static method in class korat.utils.cv.AlgSimulator

cit - Variable in class korat.instrumentation.bytecode.BytecodeInstruction

cit - Variable in class korat.instrumentation.bytecode.StackTracerVisitor

Code iterator is needed for computeConstumedBy operation.

cl - Static variable in class korat.loading.InstrumentingClassLoader

ClassDomain - Class in korat.finitization.impl

ClassDomain(Class<?>, int) - Constructor for class korat.finitization.impl.ClassDomain

ClassDomain(String, int) - Constructor for class korat.finitization.impl.ClassDomain

Helper.

ClassDomain(Class<?>) - Constructor for class korat.finitization.impl.ClassDomain

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

classesDir - Variable in class korat.utils.BytecodeDumper

classLoader - Static variable in class korat.finitization.impl.Finitization

classLoader - Variable in class korat.testing.impl.TestCradle

className - Variable in class korat.config.ConfigManager

Full class name of the class under test.

className - Variable in class korat.instrumentation.ArrayGenerator

classOfField - Variable in class korat.finitization.impl.FieldDomain

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

classPool - Variable in class korat.instrumentation.bytecode.JavassistInstructionVisitor

classType - Variable in class korat.instrumentation.bytecode.JavassistInstructionVisitor

clean(File) - Method in class korat.utils.BytecodeDumper

cleanRootDir() - Method in class korat.utils.BytecodeDumper

clear() - Method in class korat.gui.viz.metamodel.AtomFactory

clear() - Method in class korat.gui.viz.metamodel.FieldFactory

clear() - Method in class korat.gui.viz.metamodel.SigFactory

clear() - Method in class korat.instrumentation.bytecode.OperandStack

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

Clears all elements from the list.

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

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

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

clients - Variable in class korat.testing.impl.AbstractTestCaseGenerator

clone() - Method in class korat.config.MyOption

cloneBySerialization(Object) - Static method in class korat.utils.io.SerializationUtils

cloneBySerializationNoExceptions(Object) - Static method in class korat.utils.io.SerializationUtils

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

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

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

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

close() - Method in class korat.utils.cv.CVWriter

close() - Method in class korat.utils.cv.CVWriterDelta

close() - Method in interface korat.utils.cv.ICVFinder

Closes underlying files, streams, etc.

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

Closes underlying files, streams, etc.

close() - Method in interface korat.utils.cv.ICVWriter

Closes underlying files, streams, etc.

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

cls - Variable in exception korat.testing.impl.KoratMethodException

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

CLZ - Static variable in class korat.config.ConfigLoader

cmdLine - Variable in class korat.config.ConfigLoader

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

Pops two types from the operand stack, checks if they are compatible with the given type type and then pushes the type int to the operand stack.

Cmp - Class in korat.utils.cv

Cmp() - Constructor for class korat.utils.cv.Cmp

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

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

cnt - Variable in class korat.utils.cv.WriteCVListener.WriteNumMode

cnt - Variable in class korat.utils.IntListAI

CODE_LEN - Static variable in class korat.utils.cv.CVWriterDelta

colors - Static variable in class korat.gui.viz.ToXMLInstanceConverter

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

Lexicographic comparison of two given candidate vectors.

compare(int[], int[]) - Static method in class korat.utils.cv.CVComparer

compareRecursive - Variable in class korat.loading.filter.PackageFilter

comparingFilter - Variable in class korat.loading.InstrumentingClassLoader

componentType - Variable in class korat.instrumentation.ArrayGenerator

CompoundComparingFilter - Class in korat.loading.filter

Compound comparing filter consists of one or more comparing filters.

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

CompoundComparingFilter(IComparingFilter[]) - Constructor for class korat.loading.filter.CompoundComparingFilter

CompoundInstrumenter - Class in korat.instrumentation

Instrumenter that consists of several other instrumenters.

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

computeConsumedBy() - Method in class korat.instrumentation.bytecode.StackTracerVisitor

config - Variable in class korat.config.ConfigManager

Name of the config file (if used, null otherwise).

config - Variable in class korat.testing.impl.TestCradle

CONFIG_FILE - Static variable in class korat.config.ConfigLoader

ConfigLoader - Class in korat.config

Class that should be used only by CodeManager for command line options loading/parsing purposes.

ConfigLoader() - Constructor for class korat.config.ConfigLoader

configLoader - Variable in class korat.config.ConfigManager

ConfigManager - Class in korat.config

Single point for obtaining korat options

ConfigManager() - Constructor for class korat.config.ConfigManager

constPool - Variable in class korat.instrumentation.bytecode.JavassistInstructionVisitor

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

consumedBy - Variable in class korat.instrumentation.bytecode.OperandStack.StackElem

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

Checks whether the object obj is the member of this class domain

contains(Object) - Method in class korat.finitization.impl.NullClassDomain

contains(int) - Method in interface korat.utils.IIntList

Returns whether list contains element elem

contains(int) - Method in class korat.utils.IntList

contains(int) - Method in class korat.utils.IntListAI

contains(int) - Method in class korat.utils.IntListBS

continueFieldTrace() - Method in class korat.testing.impl.TestCradle

continueFieldTrace() - Method in interface korat.testing.ITester

Notifies continuation of a stopped field trace

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

Pops the type from from the operand stack and pushes the type to to the operand stack.

convert(Object) - Method in class korat.gui.viz.ToXMLInstanceConverter

Performs conversion of the given object.

convert(Object, int) - Method in class korat.gui.viz.ToXMLInstanceConverter

Performs conversion of the given object.

convert(Object, String) - Method in class korat.gui.viz.ToXMLInstanceConverter

Performs conversion of the given object.

convert(Object, PrintStream, PrintStream) - Method in class korat.gui.viz.ToXMLInstanceConverter

Performs conversion of the given object.

convToDec(int[]) - Static method in class korat.utils.cv.CVSim

cp - Variable in class korat.instrumentation.AbstractInstrumenter

cp - Variable in class korat.instrumentation.ArrayGenerator

create(Object, String, FieldDomain, StateSpace) - Static method in class korat.finitization.impl.ArrayElementCVElem

Parameter fName can be either number, representing the index of array element or "length", representing the length of the array

create(Object, String, FieldDomain, StateSpace) - Static method in class korat.finitization.impl.CVElem

create(Class) - Static method in class korat.finitization.impl.FinitizationFactory

Helper method.

createAlloyField(String) - Method in class korat.gui.viz.metamodel.FieldFactory

createArray(Class<?>, int) - Static method in class korat.instrumentation.KoratArrayManager

Creates instance of koratArrayClz

createArray(Class<?>, int, int) - Static method in class korat.instrumentation.KoratArrayManager

Creates instance of KorratArray_Type class based on given array component type.

createArrayClass(Class) - Static method in class korat.instrumentation.KoratArrayManager

Creates KorratArray_Type class based on existing array type.

createArrayElementMethods(CtClass) - Method in class korat.instrumentation.ArrayGenerator

Creates methods for KoratArray class, that manipulate array values.

createArrayElementSetter(CtClass) - Method in class korat.instrumentation.ArrayGenerator

Creates setter classes for array values (elements of values array).

createArraySet(Class, IIntSet, IFieldDomain, int) - Method in interface korat.finitization.IFinitization

Creates an instance of the IArraySet.

createArraySet(Class, IIntSet, IFieldDomain, int) - Method in class korat.finitization.impl.Finitization

createBooleanSet() - Method in interface korat.finitization.IFinitization

Creates new IBooleanSet

createBooleanSet() - Method in class korat.finitization.impl.Finitization

createByteSet(byte, byte, byte) - Method in interface korat.finitization.IFinitization

createByteSet(byte, byte) - Method in interface korat.finitization.IFinitization

Here the step (differecte) between two consecutive values in the set defaults to 1.

createByteSet(byte) - Method in interface korat.finitization.IFinitization

Creates IByteSet with the single value that is given as the method parameter.

createByteSet(byte, byte, byte) - Method in class korat.finitization.impl.Finitization

createByteSet(byte, byte) - Method in class korat.finitization.impl.Finitization

createByteSet(byte) - Method in class korat.finitization.impl.Finitization

createClassDomain(String, int) - Method in interface korat.finitization.IFinitization

Helper.

createClassDomain(String) - Method in interface korat.finitization.IFinitization

Equivalent to createClassDomain(className)

createClassDomain(Class, int) - Method in interface korat.finitization.IFinitization

Creates new ClassDomain if the ClassDomain with the given Class hasn't already been created or returns existing ClassDomain, no matter if it's size is different from the given parameter numOfInstances

createClassDomain(Class) - Method in interface korat.finitization.IFinitization

Creates new empty class domain Equivalent to createClassDomain(cls, 0);

createClassDomain(String, int) - Method in class korat.finitization.impl.Finitization

createClassDomain(Class, int) - Method in class korat.finitization.impl.Finitization

createClassDomain(String) - Method in class korat.finitization.impl.Finitization

createClassDomain(Class) - Method in class korat.finitization.impl.Finitization

createCVFinder(String) - Method in class korat.utils.cv.CVFactory

createCVFinder(String) - Method in class korat.utils.cv.CVFactoryDelta

createCVFinder(String) - Method in interface korat.utils.cv.ICVFactory

createCVReader(String) - Method in class korat.utils.cv.CVFactory

createCVReader(String) - Method in class korat.utils.cv.CVFactoryDelta

createCVReader(String) - Method in interface korat.utils.cv.ICVFactory

createCVWriter(String, int, int) - Method in class korat.utils.cv.CVFactory

createCVWriter(String, int, int) - Method in class korat.utils.cv.CVFactoryDelta

createCVWriter(String, int, int) - Method in interface korat.utils.cv.ICVFactory

createDoubleSet(double, double, double) - Method in interface korat.finitization.IFinitization

createDoubleSet(double, double) - Method in interface korat.finitization.IFinitization

Here the step (differecte) between two consecutive values in the set defaults to 1.

createDoubleSet(double) - Method in interface korat.finitization.IFinitization

Creates IDoubleSet with the single value that is given as the method parameter.

createDoubleSet(double, double, double) - Method in class korat.finitization.impl.Finitization

createDoubleSet(double, double) - Method in class korat.finitization.impl.Finitization

createDoubleSet(double) - Method in class korat.finitization.impl.Finitization

createFields(CtClass) - Method in class korat.instrumentation.ArrayGenerator

Generates fields for the KoratArray classes.

createFinitization(Class) - Method in interface korat.finitization.IFinitizationFactory

Creates IFinitization object for the given parameter clz

createFinitization(Class) - Method in class korat.finitization.impl.FinitizationFactory

createFloatSet(float, float, float) - Method in interface korat.finitization.IFinitization

Here the step (differecte) between two consecutive values in the set defaults to 1.

createFloatSet(float, float) - Method in interface korat.finitization.IFinitization

Here the step (differecte) between two consecutive values in the set defaults to 1.

createFloatSet(float) - Method in interface korat.finitization.IFinitization

Creates IFloatSet with the single value that is given as the method parameter.

createFloatSet(float, float, float) - Method in class korat.finitization.impl.Finitization

createFloatSet(float, float) - Method in class korat.finitization.impl.Finitization

createFloatSet(float) - Method in class korat.finitization.impl.Finitization

createInitializers(CtClass) - Method in class korat.instrumentation.ArrayGenerator

Creates constructor and initializer for the KoratArray.

createIntSet(int, int, int) - Method in interface korat.finitization.IFinitization

Creates IIntSet according to the given parameters.

createIntSet(int, int) - Method in interface korat.finitization.IFinitization

Creates IIntSet with the given min and max parameters.

createIntSet(int) - Method in interface korat.finitization.IFinitization

Creates IIntSet with the single value that is given as the method parameter.

createIntSet(int, int, int) - Method in class korat.finitization.impl.Finitization

createIntSet(int, int) - Method in class korat.finitization.impl.Finitization

createIntSet(int) - Method in class korat.finitization.impl.Finitization

createLengthMethods(CtClass) - Method in class korat.instrumentation.ArrayGenerator

Creates methods for KoratArray class, that manipulate array length.

createLengthSetter(CtClass) - Method in class korat.instrumentation.ArrayGenerator

Creates setter classes for array length.

createLongSet(long, long, long) - Method in interface korat.finitization.IFinitization

createLongSet(long, long) - Method in interface korat.finitization.IFinitization

Here the step (differecte) between two consecutive values in the set defaults to 1.

createLongSet(long) - Method in interface korat.finitization.IFinitization

Creates ILongSet with the single value that is given as the method parameter.

createLongSet(long, long, long) - Method in class korat.finitization.impl.Finitization

createLongSet(long, long) - Method in class korat.finitization.impl.Finitization

createLongSet(long) - Method in class korat.finitization.impl.Finitization

createNestedClass(String, CtClass) - Static method in class korat.instrumentation.NestedClassCreator

createNestedClass(String, CtClass, CtClass) - Static method in class korat.instrumentation.NestedClassCreator

createNestedSetterClass(CtClass, CtField) - Method in class korat.instrumentation.FieldInstrumenter

Nested setter classes are implemented in the following way: static nested classes have constructor that takes one parameter of the type same as type of clz parameter.

createObjSet(Class, boolean) - Method in interface korat.finitization.IFinitization

Creates IObjSet according to the given parameters.

createObjSet(Class, int, boolean) - Method in interface korat.finitization.IFinitization

Creates IObjSet and automatically creates given number of instances of the same class Equivalent to
IClassDomain c = f.createClassDomain(fieldBaseClass, numOfInstances); IObjSet toReturn = f.createObjSet(fieldBaseClass, includeNull); toReturn.addClassDomain(c); return toReturn;

createObjSet(Class) - Method in interface korat.finitization.IFinitization

Helper.

createObjSet(Class, int) - Method in interface korat.finitization.IFinitization

Helper.

createObjSet(String, boolean) - Method in interface korat.finitization.IFinitization

Helper.

createObjSet(String, int, boolean) - Method in interface korat.finitization.IFinitization

Helper.

createObjSet(String) - Method in interface korat.finitization.IFinitization

Helper.

createObjSet(String, int) - Method in interface korat.finitization.IFinitization

Helper.

createObjSet(IClassDomain) - Method in interface korat.finitization.IFinitization

Helper.

createObjSet(IClassDomain, boolean) - Method in interface korat.finitization.IFinitization

Similar to createObjSet(IClassDomain classDomain) but also can include null value

createObjSet(Class, boolean) - Method in class korat.finitization.impl.Finitization

createObjSet(Class) - Method in class korat.finitization.impl.Finitization

createObjSet(String, boolean) - Method in class korat.finitization.impl.Finitization

createObjSet(String) - Method in class korat.finitization.impl.Finitization

createObjSet(IClassDomain) - Method in class korat.finitization.impl.Finitization

createObjSet(IClassDomain, boolean) - Method in class korat.finitization.impl.Finitization

createObjSet(Class, int, boolean) - Method in class korat.finitization.impl.Finitization

createObjSet(Class, int) - Method in class korat.finitization.impl.Finitization

createObjSet(String, int, boolean) - Method in class korat.finitization.impl.Finitization

createObjSet(String, int) - Method in class korat.finitization.impl.Finitization

createShortSet(short, short, short) - Method in interface korat.finitization.IFinitization

createShortSet(short, short) - Method in interface korat.finitization.IFinitization

Here the step (differecte) between two consecutive values in the set defaults to 1.

createShortSet(short) - Method in interface korat.finitization.IFinitization

Creates IShortSet with the single value that is given as the method parameter.

createShortSet(short, short, short) - Method in class korat.finitization.impl.Finitization

createShortSet(short, short) - Method in class korat.finitization.impl.Finitization

createShortSet(short) - Method in class korat.finitization.impl.Finitization

createStateSpace() - Method in class korat.finitization.impl.Finitization

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

currP - Static variable in class korat.testing.impl.TestCradleII

CV_DELTA - Static variable in class korat.config.ConfigLoader

CV_END - Static variable in class korat.config.ConfigLoader

CV_EXPECTED - Static variable in class korat.config.ConfigLoader

CV_FILE - Static variable in class korat.config.ConfigLoader

CV_FULL_FORMAT_RATIO - Static variable in class korat.config.ConfigLoader

CV_START - Static variable in class korat.config.ConfigLoader

CV_WRITE - Static variable in class korat.config.ConfigLoader

CV_WRITE_NUM - Static variable in class korat.config.ConfigLoader

CVCmp - Class in korat.utils.cv

CVCmp() - Constructor for class korat.utils.cv.CVCmp

CVComparer - Class in korat.utils.cv

Utility class.

CVComparer() - Constructor for class korat.utils.cv.CVComparer

cvDelta - Variable in class korat.config.ConfigManager

Whether or not to use delta file format for storing candidate vectors.

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

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

CVElem - Class in korat.finitization.impl

CVElem(Object, String, FieldDomain, StateSpace) - Constructor for class korat.finitization.impl.CVElem

cvelems - Variable in class korat.utils.IntListAI

cvEnd - Variable in class korat.config.ConfigManager

Index in the cvFile of the ending candidate vector which the search algorithm should search to.

cvExpected - Variable in class korat.config.ConfigManager

Expected number of total explored vectors.

cvFactory - Variable in class korat.testing.impl.TestCradle

CVFactory - Class in korat.utils.cv

Concrete factory for dealing with candidate vector related stuff.

CVFactory() - Constructor for class korat.utils.cv.CVFactory

CVFactoryDelta - Class in korat.utils.cv

CVFactoryDelta() - Constructor for class korat.utils.cv.CVFactoryDelta

cvFile - Variable in class korat.config.ConfigManager

Name of the file that contains candidate vectors.

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

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

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

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

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

CVFinder - Class in korat.utils.cv

CVFinder(String) - Constructor for class korat.utils.cv.CVFinder

CVFinderDelta - Class in korat.utils.cv

CVFinderDelta(String) - Constructor for class korat.utils.cv.CVFinderDelta

CVFinderDelta.FinderResult - Class in korat.utils.cv

CVFinderDelta.FinderResult() - Constructor for class korat.utils.cv.CVFinderDelta.FinderResult

CVFinderDelta.FinderResult(boolean, long, long, long) - Constructor for class korat.utils.cv.CVFinderDelta.FinderResult

cvFullFormatRatio - Variable in class korat.config.ConfigManager

Ratio of full format vectors (makes sense only if delta file format is used, i.e.

CVReader - Class in korat.utils.cv

Utility for reading candidate vector files written according to CVWriter's format.

CVReader(String) - Constructor for class korat.utils.cv.CVReader

CVReader(InputStream) - Constructor for class korat.utils.cv.CVReader

CVReaderDelta - Class in korat.utils.cv

CVReaderDelta(String) - Constructor for class korat.utils.cv.CVReaderDelta

CVReaderDelta(InputStream, InputStream) - Constructor for class korat.utils.cv.CVReaderDelta

CVSim - Class in korat.utils.cv

CVSim() - Constructor for class korat.utils.cv.CVSim

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

cvStart - Variable in class korat.config.ConfigManager

Index in the cvFile of the starting candidate vector which the search algorithm should start searching from.

cvWrite - Variable in class korat.config.ConfigManager

Whether or not to write explored candidate vectors to disk.

cvWriteNum - Variable in class korat.config.ConfigManager

Number of equi-distant vectors to be written to disk (makes sense only if cvFrite is set to true.

CVWriter - Class in korat.utils.cv

Utility for writing candidate vectors in a binary file.

CVWriter(String, int, int) - Constructor for class korat.utils.cv.CVWriter

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

CVWriterDelta - Class in korat.utils.cv

Writes candidate vectors using deltas.

CVWriterDelta(String, int, int) - Constructor for class korat.utils.cv.CVWriterDelta