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

T

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

TestCradle - Class in korat.testing.impl

Given the Finitization, conducts tests for all regular candidates in domain state space

TestCradle() - Constructor for class korat.testing.impl.TestCradle

TestCradleII - Class in korat.testing.impl

TestCradleII() - Constructor for class korat.testing.impl.TestCradleII

TESTER_FIELD_NAME - Static variable in class korat.instrumentation.InstrumentationManager

testFinished() - Method in class korat.utils.cv.WriteCVListener.WriteAllMode

testFinished() - Method in class korat.utils.cv.WriteCVListener.WriteNumExpectedMode

testFinished() - Method in class korat.utils.cv.WriteCVListener.WriteNumMode

testFinished() - Method in class korat.utils.cv.WriteCVListener.WriterMode

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

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

toArray() - Method in interface korat.utils.IIntList

Returns array representation of IntList elements

toArray() - Method in class korat.utils.IntList

toArray() - Method in class korat.utils.IntListAI

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

toString() - Method in class korat.config.MyOption

toString() - Method in class korat.finitization.impl.ClassDomain

toString() - Method in class korat.finitization.impl.StateSpace

toString() - Method in class korat.instrumentation.bytecode.BytecodeInstruction

toString() - Method in class korat.instrumentation.bytecode.OperandStack

toString() - Method in class korat.utils.cv.C.Candidate

toString() - Method in class korat.utils.IntListAI

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

touch(Object) - Method in class korat.testing.impl.StateSpaceExplorer

touchArray(Object) - Method in class korat.testing.impl.StateSpaceExplorer

touchField(int) - Method in class korat.testing.impl.StateSpaceExplorer

touchInitName - Static variable in interface korat.instrumentation.IKoratTouchable

TouchInstrumenter - Class in korat.instrumentation

Deprecated.

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

Deprecated.

touchName - Static variable in interface korat.instrumentation.IKoratTouchable

ToXMLInstanceConverter - Class in korat.gui.viz

Converts arbitrary object into Alloy4Viz instance (.xml) file and theme (.thm) file.

ToXMLInstanceConverter(boolean) - Constructor for class korat.gui.viz.ToXMLInstanceConverter

ToXMLInstanceConverter() - Constructor for class korat.gui.viz.ToXMLInstanceConverter

TRACE - Variable in class korat.instrumentation.ArrayGenerator

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

transform(String) - Method in class korat.loading.filter.DefaultFilters.IdentityNameTransformer

transform(Type) - Method in interface korat.loading.filter.ITransformingFilter

types - Variable in class korat.gui.viz.metamodel.AlloyField