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

S

satisfiedUnderBindings(WeakValuesMap<String, Object>) - Method in interface rwth.i2.ltlrv.afastate.interfaze.IIfClosure

Evaluates the given booelan expression under the given bindings.

SEP - Static variable in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

SEP - Static variable in class org.aspectbench.runtime.reflect.SignatureImpl

serialVersionUID - Static variable in class rwth.i2.ltlrv.data.WeakValuesHashMap

Generated SUID.

set() - Static method in class org.aspectbench.runtime.internal.DecideThreadLocal

setAspect(Object) - Method in class org.aspectbench.runtime.CFlow

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

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

SetUtils - Class in rwth.i2.ltlrv.util

SetUtils - Some static convenience methods for set operations.

SetUtils() - Constructor for class rwth.i2.ltlrv.util.SetUtils

shortKindName - Variable in class org.aspectbench.eaj.runtime.reflect.StringMaker

shortKindName - Variable in class org.aspectbench.runtime.reflect.StringMaker

shortPrimaryTypeNames - Variable in class org.aspectbench.eaj.runtime.reflect.StringMaker

shortPrimaryTypeNames - Variable in class org.aspectbench.runtime.reflect.StringMaker

shortStringMaker - Static variable in class org.aspectbench.eaj.runtime.reflect.StringMaker

shortStringMaker - Static variable in class org.aspectbench.runtime.reflect.StringMaker

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

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

shortTypeNames - Variable in class org.aspectbench.eaj.runtime.reflect.StringMaker

shortTypeNames - Variable in class org.aspectbench.runtime.reflect.StringMaker

signature - Variable in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

Signature - Interface in org.aspectj.lang

Represents the signature at a join point.

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

SignatureImpl(int, String, Class) - Constructor for class org.aspectbench.eaj.runtime.reflect.SignatureImpl

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

SignatureImpl - Class in org.aspectbench.runtime.reflect

SignatureImpl(int, String, Class) - Constructor for class org.aspectbench.runtime.reflect.SignatureImpl

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

singleThreadedCount - Variable in class org.aspectbench.runtime.internal.CflowCounterGlobal

singleThreadedStack - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackDouble

singleThreadedStack - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackFloat

singleThreadedStack - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackInt

singleThreadedStack - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackLong

singleThreadedStack - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackRef

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

Constructs a set holding one single clause holding the given terms.

singletonInstance - Static variable in class rwth.i2.ltlrv.management.VerificationRuntime

Singleton instance of this class.

size - Variable in class rwth.i2.ltlrv.data.WeakValuesHashMap

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

sizeDirty - Variable in class rwth.i2.ltlrv.data.WeakValuesHashMap

SoftException - Exception in org.aspectj.lang

Wrapper for checked exceptions matched by a 'declare soft'.

SoftException(Throwable) - Constructor for exception org.aspectj.lang.SoftException

sourceFile - Variable in class rwth.i2.ltlrv.management.ByteCodePosition

sourceLocation - Variable in class org.aspectbench.runtime.reflect.JoinPointImpl.StaticPartImpl

SourceLocation - Interface in org.aspectj.lang.reflect

For defining code, the class defined and location in a source file.

SourceLocationImpl - Class in org.aspectbench.runtime.reflect

SourceLocationImpl(Class, String, int, int) - Constructor for class org.aspectbench.runtime.reflect.SourceLocationImpl

specializeBindings(WeakValuesMap<String, Object>) - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.

specializeBindings(WeakValuesMap<String, Object>) - Method in class rwth.i2.ltlrv.afastate.base.NullaryAFAState

Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.

specializeBindings(WeakValuesMap<String, Object>) - Method in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.

specializeBindings(WeakValuesMap<String, Object>) - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

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

Returns a fresh copy of this subformula with bindings in propositions specialized by the bindings of propositions, which are passed in as argument.

specializeBindings(WeakValuesMap<String, Object>) - Method in interface rwth.i2.ltlrv.afastate.interfaze.IProposition

Specialized return type, for convenience.

StackDouble - Class in org.aspectbench.runtime.internal.cflowinternal

StackDouble() - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackDouble

StackDouble.Cell - Class in org.aspectbench.runtime.internal.cflowinternal

StackDouble.Cell(StackDouble.Cell, double) - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackDouble.Cell

StackFloat - Class in org.aspectbench.runtime.internal.cflowinternal

StackFloat() - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackFloat

StackFloat.Cell - Class in org.aspectbench.runtime.internal.cflowinternal

StackFloat.Cell(StackFloat.Cell, float) - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackFloat.Cell

StackInt - Class in org.aspectbench.runtime.internal.cflowinternal

StackInt() - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackInt

StackInt.Cell - Class in org.aspectbench.runtime.internal.cflowinternal

StackInt.Cell(StackInt.Cell, int) - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackInt.Cell

StackLong - Class in org.aspectbench.runtime.internal.cflowinternal

StackLong() - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackLong

StackLong.Cell - Class in org.aspectbench.runtime.internal.cflowinternal

StackLong.Cell(StackLong.Cell, long) - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackLong.Cell

StackRef - Class in org.aspectbench.runtime.internal.cflowinternal

StackRef() - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackRef

StackRef.Cell - Class in org.aspectbench.runtime.internal.cflowinternal

StackRef.Cell(StackRef.Cell, Object) - Constructor for class org.aspectbench.runtime.internal.cflowinternal.StackRef.Cell

stacks - Variable in class org.aspectbench.runtime.internal.CFlowStack

stacks - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackDouble

stacks - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackFloat

stacks - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackInt

stacks - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackLong

stacks - Variable in class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackRef

state - Variable in class org.aspectbench.runtime.internal.CFlowPlusState

STATICINITIALIZATION - Static variable in interface org.aspectj.lang.JoinPoint

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

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

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

StringMaker - Class in org.aspectbench.runtime.reflect

StringMaker() - Constructor for class org.aspectbench.runtime.reflect.StringMaker

stringRep - Variable in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

stringRep - Variable in class org.aspectbench.runtime.reflect.SignatureImpl

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

stripPackageName(String) - Method in class org.aspectbench.eaj.runtime.reflect.StringMaker

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

stripPackageName(String) - Method in class org.aspectbench.runtime.reflect.StringMaker

subformula - Variable in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

the subformula

subformula - Variable in class rwth.i2.ltlrv.formula.base.UnaryFormula

the subformula

subformula1 - Variable in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

the subformulae

subformula1 - Variable in class rwth.i2.ltlrv.formula.base.BinaryFormula

the subformulae

subformula2 - Variable in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

the subformulae

subformula2 - Variable in class rwth.i2.ltlrv.formula.base.BinaryFormula

the subformulae

substate1 - Variable in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

substate2 - Variable in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

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

Removes sets which contain another set (in order to find the smallest model)

symbol() - Method in class rwth.i2.ltlrv.afastate.impl.And

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.afastate.impl.FF

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.afastate.impl.Next

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.afastate.impl.Not

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.afastate.impl.Or

Returns the symbol for this term constructor.

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

Returns the symbol for this term constructor.

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

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.afastate.impl.TT

Returns the symbol for this term constructor.

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

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.formula.impl.Equivalent

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.formula.impl.Finally

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.formula.impl.Globally

Returns the symbol for this term constructor.

symbol() - Method in class rwth.i2.ltlrv.formula.impl.Implies

Returns the symbol for this term constructor.

symbol() - Method in interface rwth.i2.ltlrv.formula.interfaze.IFormula

Returns the symbol for this term constructor.