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

U

u16bitAt(int) - Method in class korat.instrumentation.bytecode.BytecodeInstruction

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

Pops a type from the operand stack, checks if it is compatible with the given type type and then pushes it back to the operand stack.

UnsupportedTypeException - Exception in korat.gui.viz

UnsupportedTypeException() - Constructor for exception korat.gui.viz.UnsupportedTypeException

UnsupportedTypeException(String, Throwable) - Constructor for exception korat.gui.viz.UnsupportedTypeException

UnsupportedTypeException(String) - Constructor for exception korat.gui.viz.UnsupportedTypeException

UnsupportedTypeException(Throwable) - Constructor for exception korat.gui.viz.UnsupportedTypeException

updateCache() - Method in class korat.finitization.impl.ObjSet