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

I

IAFAState - Interface in rwth.i2.ltlrv.afastate.interfaze

This interface reflects any subformula which is valid as input for AFA generation.

IAFAState.ValidationException - Exception in rwth.i2.ltlrv.afastate.interfaze

ValidationException - Exception that is thrown on validation of a formula.

IAFAState.ValidationException(String, IAFAState) - Constructor for exception rwth.i2.ltlrv.afastate.interfaze.IAFAState.ValidationException

IAFAState.VariableKind - Enum in rwth.i2.ltlrv.afastate.interfaze

IAFAState.VariableKind() - Constructor for enum rwth.i2.ltlrv.afastate.interfaze.IAFAState.VariableKind

IAnd - Interface in rwth.i2.ltlrv.afastate.interfaze

IAnd represents a conjunct.

IBinaryAFAState - Interface in rwth.i2.ltlrv.afastate.interfaze

IBinaryAFAState - Common interface for all binary AFA states.

IBinaryTerm - Interface in rwth.i2.ltlrv.formula.interfaze

IBinaryTerm - Common interface for a binary term.

IEquivalent - Interface in rwth.i2.ltlrv.formula.interfaze

IEquivalent represents the equivalence operator

ifClosures - Variable in class rwth.i2.ltlrv.afastate.impl.Proposition

List of if-closures that have to be satisfied in order to match.

ifExpression - Variable in exception rwth.i2.ltlrv.afastate.interfaze.IIfClosure.UserCausedException

The expression that caused the exception.

IFF - Interface in rwth.i2.ltlrv.afastate.interfaze

IFF represents FF = false

IFinally - Interface in rwth.i2.ltlrv.formula.interfaze

IFinally represents the finally operator

IFormula - Interface in rwth.i2.ltlrv.formula.interfaze

IFormulaFactory - Interface in rwth.i2.ltlrv.management

IFormulaFactory - Common interface for formula factories.

IGlobally - Interface in rwth.i2.ltlrv.formula.interfaze

IGlobally represents the globally operator

IIfClosure - Interface in rwth.i2.ltlrv.afastate.interfaze

IIfClosure - Interface for if-closures which are to be evaluated at runtime.

IIfClosure.UserCausedException - Exception in rwth.i2.ltlrv.afastate.interfaze

UserCausedException - An exception that wraps exceptions caused by the evaluation of an IfClosure.

IIfClosure.UserCausedException(Throwable, String) - Constructor for exception rwth.i2.ltlrv.afastate.interfaze.IIfClosure.UserCausedException

IImplies - Interface in rwth.i2.ltlrv.formula.interfaze

IImplies represents the Implication operator

Impl(IFormula, IFormula) - Method in class rwth.i2.ltlrv.management.FormulaFactory

Generates an implication.

Impl(IFormula, IFormula) - Method in interface rwth.i2.ltlrv.management.IFormulaFactory

Generates an implication.

Implies - Class in rwth.i2.ltlrv.formula.impl

Implies - Implements the Implies relation as subformula.

Implies(IFormula, IFormula) - Constructor for class rwth.i2.ltlrv.formula.impl.Implies

inc() - Method in class org.aspectbench.runtime.internal.CFlowCounter.Counter

inc() - Method in class org.aspectbench.runtime.internal.CFlowCounter

incCounter(Object) - Static method in class org.aspectbench.runtime.internal.CFlowCounter

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

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

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

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

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

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

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

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

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

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

INext - Interface in rwth.i2.ltlrv.afastate.interfaze

INext represents the Next operator

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

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

Installs listeners from the environment variable or installs the default listeners if the variable is not set.

InitializerSignature - Interface in org.aspectj.lang.reflect

InitializerSignatureImpl - Class in org.aspectbench.runtime.reflect

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

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

initialValue() - Method in class org.aspectbench.runtime.internal.CflowCounterThreadLocal

initialValue() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Double

initialValue() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Float

initialValue() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Int

initialValue() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Long

initialValue() - Method in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Ref

inner - Variable in exception org.aspectj.lang.SoftException

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

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

INot - Interface in rwth.i2.ltlrv.afastate.interfaze

INot represents the negation operator

INullaryAFAState - Interface in rwth.i2.ltlrv.afastate.interfaze

INullaryAFAState - Common interface for nullary AFA states.

IOr - Interface in rwth.i2.ltlrv.afastate.interfaze

IOr represents a disjunct

IProposition - Interface in rwth.i2.ltlrv.afastate.interfaze

IProposition represents a proposition

IRelease - Interface in rwth.i2.ltlrv.afastate.interfaze

IRelease - Interface representing the binary Release operator in LTL.

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

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

Returns true if this configuration is in the global state FF.

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

Returns true if this configuration is currently in a final (accepting) state.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

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

Returns true if this formula represents a final state in the AFA.

isFinalStateInAFA() - Method in interface rwth.i2.ltlrv.afastate.interfaze.IAFAState

Returns true if this formula represents a final state in the AFA.

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

Returns if this map is locked.

isLocked() - Method in interface rwth.i2.ltlrv.data.WeakValuesMap

Returns if this map is locked.

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

Returns true if this configuration is in the global state TT.

isValid() - Method in class org.aspectbench.runtime.internal.CFlowCounter

isValid() - Method in class org.aspectbench.runtime.internal.CFlowStack

isValidCounter(Object) - Static method in class org.aspectbench.runtime.internal.CFlowCounter

isValidStack(Object) - Static method in class org.aspectbench.runtime.internal.CFlowStack

isZero() - Method in class org.aspectbench.runtime.internal.CFlowCounter.Counter

ITT - Interface in rwth.i2.ltlrv.afastate.interfaze

ITT represents TT = true

IUnaryAFAState - Interface in rwth.i2.ltlrv.afastate.interfaze

IUnaryAFAState - Common interface for unary AFA states.

IUnaryTerm - Interface in rwth.i2.ltlrv.formula.interfaze

IUnaryTerm - Common interface for a unary term.

IUntil - Interface in rwth.i2.ltlrv.afastate.interfaze

IUntil - Interface representing the binary Until operator in LTL.