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

M

main(String[]) - Static method in class korat.instrumentation.bytecode.BytecodeUtils

main(String[]) - Static method in class korat.Korat

Loader of Korat Application

main(String[]) - Static method in class korat.utils.BytecodeDumper

main(String[]) - Static method in class korat.utils.cv.AlgSimulator

args[0] - number candidates to store args[1] - maximal number of candidates (obtained through exploration) args[2] - if in Expected mode, number of expected candidates

main(String[]) - Static method in class korat.utils.cv.C

main(String[]) - Static method in class korat.utils.cv.Cmp

args[0] - number candidates to store args[1] - maximal number of candidates (obtained through exploration) args[2] - if in Expected mode, number of expected candidates

main(String[]) - Static method in class korat.utils.cv.CVComparer

main(String[]) - Static method in class korat.utils.cv.CVFinder

main(String[]) - Static method in class korat.utils.cv.CVReader

main(String[]) - Static method in class korat.utils.cv.CVSim

main(String[]) - Static method in class korat.utils.cv.CVWriterDelta

main(String[]) - Static method in class korat.utils.cv.WriteCVListener

main(String[]) - Static method in class korat.utils.RunParallelSimulation

makeDirs(String) - Method in class korat.utils.BytecodeDumper

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

Per how many vectors one should be stored in full format (ratio of all vectors and full format vectors)

MASKS - Static variable in class korat.utils.io.BitInputStream

MASKS - Static variable in class korat.utils.io.BitOutputStream

MASKS - Static variable in class korat.utils.io.BitRandomAccessFile

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

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

MAX_STRUCT - Static variable in class korat.config.ConfigLoader

maxStructs - Variable in class korat.config.ConfigManager

Max number of test cases to be generated.

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

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

mod - Variable in class korat.utils.cv.WriteCVListener.WriteNumExpectedMode

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

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

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

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

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

MyOption - Class in korat.config

Just like org.apache.commons.cli.Option with default value for the option's argument in addition.

MyOption(String, String, String, boolean, boolean, String, String) - Constructor for class korat.config.MyOption

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