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

T

target - Variable in class org.aspectbench.runtime.reflect.JoinPointImpl

tearDown() - Method in class rwth.i2.ltlrv.management.VerificationRuntime

Notifies that the system shuts down.

termClause(IAFAState...) - Static method in class rwth.i2.ltlrv.util.SetUtils

Constructs a term clause/set for the given elements.

termToNumber - Static variable in class rwth.i2.ltlrv.management.Configuration

Maps a term to a number.

ThrowSignature - Interface in org.aspectbench.eaj.lang.reflect

ThrowSignatureImpl - Class in org.aspectbench.eaj.runtime.reflect

ThrowSignatureImpl(Class) - Constructor for class org.aspectbench.eaj.runtime.reflect.ThrowSignatureImpl

ThrowSignatureImpl(String) - Constructor for class org.aspectbench.eaj.runtime.reflect.ThrowSignatureImpl

toLongString() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

toLongString() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

toLongString() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

toLongString() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

toLongString() - Method in interface org.aspectj.lang.JoinPoint.StaticPart

Returns an extended string representation of the join point

toLongString() - Method in interface org.aspectj.lang.JoinPoint

Returns an extended string representation of the join point.

toLongString() - Method in interface org.aspectj.lang.Signature

Returns an extended string representation of this signature.

top - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackDouble

top - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackFloat

top - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackInt

top - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackLong

top - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackRef

toShortString() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

toShortString() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

toShortString() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

toShortString() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

toShortString() - Method in interface org.aspectj.lang.JoinPoint.StaticPart

Returns an abbreviated string representation of the join point

toShortString() - Method in interface org.aspectj.lang.JoinPoint

Returns an abbreviated string representation of the join point.

toShortString() - Method in interface org.aspectj.lang.Signature

Returns an abbreviated string representation of this signature.

toString(StringMaker) - Method in class org.aspectbench.eaj.runtime.reflect.CastSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

toString() - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

toString(StringMaker) - Method in class org.aspectbench.eaj.runtime.reflect.ThrowSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.AdviceSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.CatchClauseSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.ConstructorSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.FieldSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.InitializerSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

toString() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

toString() - Method in class org.aspectbench.runtime.reflect.JoinPointImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.MethodSignatureImpl

toString(StringMaker) - Method in class org.aspectbench.runtime.reflect.SignatureImpl

toString() - Method in class org.aspectbench.runtime.reflect.SignatureImpl

toString() - Method in class org.aspectbench.runtime.reflect.SourceLocationImpl

toString() - Method in interface org.aspectj.lang.JoinPoint.StaticPart

toString() - Method in interface org.aspectj.lang.JoinPoint

toString() - Method in interface org.aspectj.lang.Signature

toString() - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

toString() - Method in class rwth.i2.ltlrv.afastate.base.NullaryAFAState

toString() - Method in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

toString() - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

toString() - Method in class rwth.i2.ltlrv.afastate.impl.Release

toString() - Method in class rwth.i2.ltlrv.afastate.impl.Until

toString() - Method in interface rwth.i2.ltlrv.afastate.interfaze.IIfClosure

Clients should implement this for debugging purposes.

toString() - Method in class rwth.i2.ltlrv.data.PropositionSet

toString() - Method in class rwth.i2.ltlrv.data.WeakValuesHashMap

toString() - Method in class rwth.i2.ltlrv.formula.base.BinaryFormula

toString() - Method in class rwth.i2.ltlrv.formula.base.UnaryFormula

toString() - Method in class rwth.i2.ltlrv.management.Configuration

transition(Set<String>, PropositionSet, WeakValuesMap<String, Object>, Set<Set<IAFAState>>) - Method in class rwth.i2.ltlrv.afastate.base.AbstractAFAState

Performs a transition on this term under the given propositions and bindings.

transition(Set<String>, PropositionSet, WeakValuesMap<String, Object>, Set<Set<IAFAState>>) - Method in interface rwth.i2.ltlrv.afastate.interfaze.IAFAState

Performs a transition on this term under the given propositions and bindings.

transition(PropositionSet) - Method in class rwth.i2.ltlrv.management.Configuration

Performs a transition for the given propositions.

transition(Set<Set<IAFAState>>, PropositionSet) - Static method in class rwth.i2.ltlrv.management.Configuration

Performs a transition from the given state (set of clauses) to the sucessor state for the given set of propositions.

TT - Class in rwth.i2.ltlrv.afastate.impl

TT - Implements the sink state / formula representing true.

TT() - Constructor for class rwth.i2.ltlrv.afastate.impl.TT

tt - Static variable in class rwth.i2.ltlrv.management.FormulaFactory

The unique instance of ITT

TT() - Method in class rwth.i2.ltlrv.management.FormulaFactory

Returns the unique positive sink state.

TT() - Method in interface rwth.i2.ltlrv.management.IFormulaFactory

Returns the unique positive sink state.

TT() - Static method in class rwth.i2.ltlrv.util.SetUtils

Constructs an empty clause set, which represents TT (true).