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

O

offset - Variable in class org.aspectbench.eaj.runtime.reflect.JoinPointImpl.StaticPartImpl

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

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

Or - Implements a disjunct.

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

A disjunct of the two subformulae.

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

Generates an disjunct.

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

Generates an disjunct.

org.aspectbench.eaj.lang - package org.aspectbench.eaj.lang

org.aspectbench.eaj.lang.reflect - package org.aspectbench.eaj.lang.reflect

org.aspectbench.eaj.runtime.reflect - package org.aspectbench.eaj.runtime.reflect

org.aspectbench.runtime - package org.aspectbench.runtime

org.aspectbench.runtime.internal - package org.aspectbench.runtime.internal

org.aspectbench.runtime.internal.cflowinternal - package org.aspectbench.runtime.internal.cflowinternal

org.aspectbench.runtime.reflect - package org.aspectbench.runtime.reflect

org.aspectbench.tm.runtime.internal - package org.aspectbench.tm.runtime.internal

org.aspectj.lang - package org.aspectj.lang

Provides several interfaces for obtaining reflective information about a join point, as well as several exceptions that can be thrown by AspectJ code.

org.aspectj.lang.reflect - package org.aspectj.lang.reflect

Contains interfaces that extend Signature to provide additional information about each possible join point signature.

originalConfigurationForFormulaId - Variable in class rwth.i2.ltlrv.management.VerificationRuntime

Similar to VerificationRuntime.configurationForFormulaId but keeps copies of the initial configurations

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

Returns true iff the current thread owns the lock.

owner - Variable in class org.aspectbench.tm.runtime.internal.Lock