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

W

warning(String, IOException) - Method in class korat.testing.impl.AbstractTestCaseGenerator

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

workList - Variable in class korat.gui.viz.ToXMLInstanceConverter

write(int) - Method in class korat.utils.io.NullOutputStream

writeBits(long, int) - Method in class korat.utils.io.BitOutputStream

writeBits(long, int, int) - Method in class korat.utils.io.BitOutputStream

writeBits(long, int) - Method in interface korat.utils.io.IBitWriter

Writes len bits of the given value b starting from bit offset 0.

writeBits(long, int, int) - Method in interface korat.utils.io.IBitWriter

Writes len bits of the given value b starting from bit offset off.

writeCV(int[], boolean) - Method in class korat.utils.cv.CVWriter

writeCV(int[], boolean) - Method in class korat.utils.cv.CVWriterDelta

writeCV(int[], boolean) - Method in interface korat.utils.cv.ICVWriter

Writes given candidate vector and its predicateOK flag to file.

writeCV(int[]) - Method in class korat.utils.cv.WriteCVListenerSim

WriteCVListener - Class in korat.utils.cv

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

WriteCVListener.WriteAllMode - Class in korat.utils.cv

Writes only given number of vectors to file.

WriteCVListener.WriteAllMode() - Constructor for class korat.utils.cv.WriteCVListener.WriteAllMode

WriteCVListener.WriteNumExpectedMode - Class in korat.utils.cv

WriteCVListener.WriteNumExpectedMode(int) - Constructor for class korat.utils.cv.WriteCVListener.WriteNumExpectedMode

WriteCVListener.WriteNumMode - Class in korat.utils.cv

Writes only given number of vectors to file knowing the expected number of explored vectors in advance.

WriteCVListener.WriteNumMode(int) - Constructor for class korat.utils.cv.WriteCVListener.WriteNumMode

WriteCVListener.WriterMode - Class in korat.utils.cv

Writes all vectors to file.

WriteCVListener.WriterMode() - Constructor for class korat.utils.cv.WriteCVListener.WriterMode

WriteCVListenerSim - Class in korat.utils.cv

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

writeDeltaCV(int[], boolean) - Method in class korat.utils.cv.CVWriterDelta

writeDouble(double) - Method in class korat.utils.io.BitOutputStream

writeDouble(double) - Method in interface korat.utils.io.IBitWriter

Write given double in 64 bits

writeFloat(float) - Method in class korat.utils.io.BitOutputStream

writeFloat(float) - Method in interface korat.utils.io.IBitWriter

Write given float in 32 bits

writeFullFormatCV(int[], boolean) - Method in class korat.utils.cv.CVWriterDelta

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

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

writeInstanceXML(PrintStream, String, String) - Method in class korat.gui.viz.ToXMLInstanceConverter

writeInt(int) - Method in class korat.utils.io.BitOutputStream

writeInt(int) - Method in interface korat.utils.io.IBitWriter

Write given int in 32 bits

writeLong(long) - Method in class korat.utils.io.BitOutputStream

writeLong(long) - Method in interface korat.utils.io.IBitWriter

Write given long in 64 bits

writePredicateBit(boolean, BitOutputStream) - Method in class korat.utils.cv.CVWriterDelta

writeThemeXML(PrintStream) - Method in class korat.gui.viz.ToXMLInstanceConverter

writeVisitorInterface(String, PrintStream) - Static method in class korat.instrumentation.bytecode.BytecodeUtils

writeVisitorSupport(String, PrintStream) - Static method in class korat.instrumentation.bytecode.BytecodeUtils