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
 

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