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

R

reconstruct(IFormula, IFormula) - Method in class rwth.i2.ltlrv.afastate.impl.And

Creates a formula with the same operator as this but different subformulae.

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

Creates a formula with the same operator as this but a different subformula.

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

Creates a formula with the same operator as this but a different subformula.

reconstruct(IFormula, IFormula) - Method in class rwth.i2.ltlrv.afastate.impl.Or

Creates a formula with the same operator as this but different subformulae.

reconstruct(IFormula, IFormula) - Method in class rwth.i2.ltlrv.afastate.impl.Release

Creates a formula with the same operator as this but different subformulae.

reconstruct(IFormula, IFormula) - Method in class rwth.i2.ltlrv.afastate.impl.Until

Creates a formula with the same operator as this but different subformulae.

reconstruct(IFormula, IFormula) - Method in interface rwth.i2.ltlrv.afastate.interfaze.IBinaryAFAState

Creates a formula with the same operator as this but different subformulae.

reconstruct(IFormula) - Method in interface rwth.i2.ltlrv.afastate.interfaze.IUnaryAFAState

Creates a formula with the same operator as this but a different subformula.

registerFormula(String, IFormula) - Method in class rwth.i2.ltlrv.management.VerificationRuntime

Registers a new formula.

release() - Method in class org.aspectbench.tm.runtime.internal.Lock

Release the lock if the current thread owns it, otherwise do nothing.

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

Release - Implements the Release operator in LTL.

Release(IFormula, IFormula) - Constructor for class rwth.i2.ltlrv.afastate.impl.Release

Constructs a new formula with the given subformulae.

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

Generates a Release formula.

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

Generates a Release formula.

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

If rematching is on, falsified/satisfied formulae are not removed but rather reinstantiated.

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

requires(Set<String>) - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

This returns the set of required variables.

requires(Set<String>) - Method in class rwth.i2.ltlrv.afastate.base.NullaryAFAState

This returns the set of required variables.

requires(Set<String>) - Method in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

This returns the set of required variables.

requires(Set<String>) - Method in class rwth.i2.ltlrv.afastate.impl.Next

This returns the set of required variables. This is the set of all variables which are free in propositions, meaning they occur in an if-pointcut but are not provided by the same pointcut at the same time.

requires(Set<String>) - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

This returns the set of required variables. This is the set of all variables which are free in propositions, meaning they occur in an if-pointcut but are not provided by the same pointcut at the same time.

requires(Set<String>) - Method in interface rwth.i2.ltlrv.afastate.interfaze.IAFAState

This returns the set of required variables.

returnType - Variable in class org.aspectbench.runtime.reflect.AdviceSignatureImpl

returnType - Variable in class org.aspectbench.runtime.reflect.MethodSignatureImpl

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

rwth.i2.ltlrv - package rwth.i2.ltlrv

rwth.i2.ltlrv.afastate - package rwth.i2.ltlrv.afastate

Holds code for LTL term constructors, which can occur in an AFA.

rwth.i2.ltlrv.afastate.base - package rwth.i2.ltlrv.afastate.base

Abstract base classes for all AFA states.

rwth.i2.ltlrv.afastate.impl - package rwth.i2.ltlrv.afastate.impl

Implementing classes of AFA states.

rwth.i2.ltlrv.afastate.interfaze - package rwth.i2.ltlrv.afastate.interfaze

Common interfaces for all AFA states.

rwth.i2.ltlrv.data - package rwth.i2.ltlrv.data

Holds some special data structures.

rwth.i2.ltlrv.formula - package rwth.i2.ltlrv.formula

Holds code for LTL term constructors, which do not occur in an AFA.

rwth.i2.ltlrv.formula.base - package rwth.i2.ltlrv.formula.base

Abstract base classes for LTL term constructors.

rwth.i2.ltlrv.formula.impl - package rwth.i2.ltlrv.formula.impl

Implementing classes for LTL term constructors.

rwth.i2.ltlrv.formula.interfaze - package rwth.i2.ltlrv.formula.interfaze

Common interfaces for LTL term constructors.

rwth.i2.ltlrv.management - package rwth.i2.ltlrv.management

Holds classes for configuration management and formula creation.

rwth.i2.ltlrv.management.listeners - package rwth.i2.ltlrv.management.listeners

rwth.i2.ltlrv.util - package rwth.i2.ltlrv.util

Holds utility classes.