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

F

f(int, int) - Static method in class korat.utils.cv.WriteCVListener

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

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

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

factory - Static variable in class korat.utils.cv.CVFactory

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

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

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

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

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

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

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

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

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

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

FieldDomain - Class in korat.finitization.impl

FieldDomain(Class) - Constructor for class korat.finitization.impl.FieldDomain

Used for type checking when assigning class domains for this field

FieldDomain(String) - Constructor for class korat.finitization.impl.FieldDomain

FieldFactory - Class in korat.gui.viz.metamodel

FieldFactory() - Constructor for class korat.gui.viz.metamodel.FieldFactory

FieldInstrumenter - Class in korat.instrumentation

This class does all the instrumentation related to non-array fields.

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

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

fieldsToRemove - Variable in class korat.instrumentation.ArrayFieldInstrumenter

Keep the track of the arrays fields that need to be removed at the end.

file - Variable in class korat.utils.io.BitRandomAccessFile

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

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

filename - Variable in class korat.utils.io.SimpleSerializer

FileUtils - Class in korat.utils.io

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

filter - Static variable in class korat.loading.filter.FilterManager

FilterManager - Class in korat.loading.filter

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

filters - Variable in class korat.loading.filter.CompoundComparingFilter

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

finalize() - Method in class korat.utils.io.SimpleSerializer

find(int[]) - Method in class korat.utils.cv.CVFinder

find(int[][]) - Method in class korat.utils.cv.CVFinder

find(int[]) - Method in class korat.utils.cv.CVFinderDelta

sequential search

find(int[][]) - Method in class korat.utils.cv.CVFinderDelta

sequential search

find(int[], IIntList) - Method in class korat.utils.cv.CVFinderDelta

find(int[]) - Method in interface korat.utils.cv.ICVFinder

Finds the index for the given candidate vector.

find(int[][]) - Method in interface korat.utils.cv.ICVFinder

Finds indexes for the given candidate vectors

FINITIZATION - Static variable in class korat.config.ConfigLoader

finitization - Variable in class korat.config.ConfigManager

Name of the finitization method.

Finitization - Class in korat.finitization.impl

Finitization(Class) - Constructor for class korat.finitization.impl.Finitization

FinitizationFactory - Class in korat.finitization.impl

Use this factroy class to create finitizations.

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

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

firstTestCase - Variable in class korat.gui.viz.VizListener

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

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

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

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

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

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

FloatSet - Class in korat.finitization.impl

FloatSet(float, float, float) - Constructor for class korat.finitization.impl.FloatSet

FloatSet(float, float) - Constructor for class korat.finitization.impl.FloatSet

FloatSet(float) - Constructor for class korat.finitization.impl.FloatSet

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

flush() - Method in class korat.utils.io.BitOutputStream

flush() - Method in interface korat.utils.io.IBitWriter

Flush internal buffers to underlying layer

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

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

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

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

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

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

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

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

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

fromFileCmdLine - Variable in class korat.config.ConfigLoader

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

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

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

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

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

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

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

fullClassName - Variable in exception korat.testing.impl.CannotFindClassUnderTest

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

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