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

C

c - Variable in class org.aspectbench.runtime.internal.CFlowCounter.Counter

cached_counter - Variable in class org.aspectbench.runtime.internal.CFlowCounter

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

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

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

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

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

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

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

cached_thread - Variable in class org.aspectbench.runtime.internal.CFlowCounter

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

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

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

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

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

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

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

CastSignature - Interface in org.aspectbench.eaj.lang.reflect

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

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

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

castType - Variable in class org.aspectbench.eaj.runtime.reflect.CastSignatureImpl

CatchClauseSignature - Interface in org.aspectj.lang.reflect

CatchClauseSignatureImpl - Class in org.aspectbench.runtime.reflect

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

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

cause - Variable in exception org.aspectj.lang.NoAspectBoundException

CFlow - Class in org.aspectbench.runtime

CFlow() - Constructor for class org.aspectbench.runtime.CFlow

CFlow(Object) - Constructor for class org.aspectbench.runtime.CFlow

CFlowCounter - Class in org.aspectbench.runtime.internal

CFlowCounter() - Constructor for class org.aspectbench.runtime.internal.CFlowCounter

CFlowCounter.Counter - Class in org.aspectbench.runtime.internal

CFlowCounter.Counter() - Constructor for class org.aspectbench.runtime.internal.CFlowCounter.Counter

CflowCounterFactory - Class in org.aspectbench.runtime.internal

CflowCounterFactory() - Constructor for class org.aspectbench.runtime.internal.CflowCounterFactory

CflowCounterGlobal - Class in org.aspectbench.runtime.internal

CflowCounterGlobal() - Constructor for class org.aspectbench.runtime.internal.CflowCounterGlobal

CflowCounterInterface - Interface in org.aspectbench.runtime.internal

CflowCounterThreadLocal - Class in org.aspectbench.runtime.internal

CflowCounterThreadLocal() - Constructor for class org.aspectbench.runtime.internal.CflowCounterThreadLocal

CFlowPlusState - Class in org.aspectbench.runtime.internal

CFlowPlusState(Object[]) - Constructor for class org.aspectbench.runtime.internal.CFlowPlusState

CFlowPlusState(Object[], Object) - Constructor for class org.aspectbench.runtime.internal.CFlowPlusState

CFlowStack - Class in org.aspectbench.runtime.internal

CFlowStack() - Constructor for class org.aspectbench.runtime.internal.CFlowStack

CflowStackFactory - Class in org.aspectbench.runtime.internal

CflowStackFactory() - Constructor for class org.aspectbench.runtime.internal.CflowStackFactory

CflowStackGlobal - Class in org.aspectbench.runtime.internal

CflowStackGlobal() - Constructor for class org.aspectbench.runtime.internal.CflowStackGlobal

CflowStackGlobal.CflowStackDouble - Class in org.aspectbench.runtime.internal

CflowStackGlobal.CflowStackDouble() - Constructor for class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackDouble

CflowStackGlobal.CflowStackFloat - Class in org.aspectbench.runtime.internal

CflowStackGlobal.CflowStackFloat() - Constructor for class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackFloat

CflowStackGlobal.CflowStackInt - Class in org.aspectbench.runtime.internal

CflowStackGlobal.CflowStackInt() - Constructor for class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackInt

CflowStackGlobal.CflowStackLong - Class in org.aspectbench.runtime.internal

CflowStackGlobal.CflowStackLong() - Constructor for class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackLong

CflowStackGlobal.CflowStackRef - Class in org.aspectbench.runtime.internal

CflowStackGlobal.CflowStackRef() - Constructor for class org.aspectbench.runtime.internal.CflowStackGlobal.CflowStackRef

CflowStackInterface - Interface in org.aspectbench.runtime.internal

CflowStackInterface.Double - Interface in org.aspectbench.runtime.internal

CflowStackInterface.Float - Interface in org.aspectbench.runtime.internal

CflowStackInterface.Int - Interface in org.aspectbench.runtime.internal

CflowStackInterface.Long - Interface in org.aspectbench.runtime.internal

CflowStackInterface.Ref - Interface in org.aspectbench.runtime.internal

CflowStackThreadLocal - Class in org.aspectbench.runtime.internal

CflowStackThreadLocal() - Constructor for class org.aspectbench.runtime.internal.CflowStackThreadLocal

CflowStackThreadLocal.Double - Class in org.aspectbench.runtime.internal

CflowStackThreadLocal.Double() - Constructor for class org.aspectbench.runtime.internal.CflowStackThreadLocal.Double

CflowStackThreadLocal.Float - Class in org.aspectbench.runtime.internal

CflowStackThreadLocal.Float() - Constructor for class org.aspectbench.runtime.internal.CflowStackThreadLocal.Float

CflowStackThreadLocal.Int - Class in org.aspectbench.runtime.internal

CflowStackThreadLocal.Int() - Constructor for class org.aspectbench.runtime.internal.CflowStackThreadLocal.Int

CflowStackThreadLocal.Long - Class in org.aspectbench.runtime.internal

CflowStackThreadLocal.Long() - Constructor for class org.aspectbench.runtime.internal.CflowStackThreadLocal.Long

CflowStackThreadLocal.Ref - Class in org.aspectbench.runtime.internal

CflowStackThreadLocal.Ref() - Constructor for class org.aspectbench.runtime.internal.CflowStackThreadLocal.Ref

change_count - Variable in class org.aspectbench.runtime.internal.CFlowCounter

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

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

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

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

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

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

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

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

clausesetProduct(Set<Set<T>>, Set<Set<T>>, Set<Set<T>>) - Static method in class rwth.i2.ltlrv.util.SetUtils

Implements the (cartesian) product of two clause sets.

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

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

Constructs an empty clause which represents TT (true).

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

CodeSignature - Interface in org.aspectj.lang.reflect

CodeSignatureImpl - Class in org.aspectbench.runtime.reflect

CodeSignatureImpl(int, String, Class, Class[], String[], Class[]) - Constructor for class org.aspectbench.runtime.reflect.CodeSignatureImpl

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

COLLECT_AT - Static variable in class org.aspectbench.runtime.internal.CFlowCounter

COLLECT_AT - Static variable in class org.aspectbench.runtime.internal.CflowCounterGlobal

COLLECT_AT - Static variable in class org.aspectbench.runtime.internal.CFlowStack

COLLECT_AT - Static variable in class org.aspectbench.runtime.internal.CflowStackGlobal

column - Variable in class org.aspectbench.runtime.reflect.SourceLocationImpl

CommutativeBinaryAFAState - Class in rwth.i2.ltlrv.afastate.base

Represents a binary formula, which is commutative.

CommutativeBinaryAFAState(IFormula, IFormula) - Constructor for class rwth.i2.ltlrv.afastate.base.CommutativeBinaryAFAState

CommutativeBinaryFormula - Class in rwth.i2.ltlrv.formula.base

CommutativeBinaryFormula - Abstract superclass of all binary formulae which are commutative.

CommutativeBinaryFormula(IFormula, IFormula) - Constructor for class rwth.i2.ltlrv.formula.base.CommutativeBinaryFormula

Configuration - Class in rwth.i2.ltlrv.management

Configuration - Global configuration for one single formula.

Configuration(IAFAState) - Constructor for class rwth.i2.ltlrv.management.Configuration

Constructs a new configuration for an initial state.

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

Mapping from formula ID to the configuration fot this formula.

ConsoleListener - Class in rwth.i2.ltlrv.management.listeners

ConsoleListener() - Constructor for class rwth.i2.ltlrv.management.listeners.ConsoleListener

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

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

ConstructorSignature - Interface in org.aspectj.lang.reflect

ConstructorSignatureImpl - Class in org.aspectbench.runtime.reflect

ConstructorSignatureImpl(int, Class, Class[], String[], Class[]) - Constructor for class org.aspectbench.runtime.reflect.ConstructorSignatureImpl

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

containedBindings() - Method in class rwth.i2.ltlrv.data.PropositionSet

Returns the set of contained bindings in the form a={a2,a2},b={b2},... for bindings a=a1, a=a2 and b=b1.

containsMatchFor(IProposition) - Method in class rwth.i2.ltlrv.data.PropositionSet

Returns true if this set contains a proposition which is matched by the given proposition.

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

count - Variable in class org.aspectbench.runtime.internal.cflowinternal.Counter

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

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

counters - Variable in class org.aspectbench.runtime.internal.CFlowCounter

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