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

O

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

obj - Variable in class korat.finitization.impl.ObjSet.CacheElement

object - Variable in class korat.utils.IdentityWrapper

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

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

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

objIndexWithinObjSet - Variable in class korat.finitization.impl.ObjSet.CacheElement

ObjSet - Class in korat.finitization.impl

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

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

ObjSet.CacheElement - Class in korat.finitization.impl

ObjSet.CacheElement(Object, ClassDomain, int, int) - Constructor for class korat.finitization.impl.ObjSet.CacheElement

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

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

oldAlgorithm(int) - Static method in class korat.utils.cv.C

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

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

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

Names of opcodes.

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

OperandStack - Class in korat.instrumentation.bytecode

OperandStack() - Constructor for class korat.instrumentation.bytecode.OperandStack

OperandStack.ConsumedByKind - Enum in korat.instrumentation.bytecode

OperandStack.ConsumedByKind() - Constructor for enum korat.instrumentation.bytecode.OperandStack.ConsumedByKind

OperandStack.ElemKind - Enum in korat.instrumentation.bytecode

OperandStack.ElemKind() - Constructor for enum korat.instrumentation.bytecode.OperandStack.ElemKind

OperandStack.StackElem - Class in korat.instrumentation.bytecode

Memento class that stores needed informations about stack elements

OperandStack.StackElem() - Constructor for class korat.instrumentation.bytecode.OperandStack.StackElem

opStack - Variable in class korat.instrumentation.bytecode.OperandStack

Stack of the array object pushed onto the stack.

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

oset - Variable in class korat.finitization.impl.ObjSet.CacheElement

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