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

P

parameterName - Variable in class org.aspectbench.runtime.reflect.CatchClauseSignatureImpl

parameterNames - Variable in class org.aspectbench.runtime.reflect.CodeSignatureImpl

parameterType - Variable in class org.aspectbench.runtime.reflect.CatchClauseSignatureImpl

parameterTypes - Variable in class org.aspectbench.runtime.reflect.CodeSignatureImpl

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

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

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

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

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

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

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

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

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

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

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

prev - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackDouble.Cell

prev - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackFloat.Cell

prev - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackInt.Cell

prev - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackLong.Cell

prev - Variable in class org.aspectbench.runtime.internal.cflowinternal.StackRef.Cell

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

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

printStackTrace() - Method in exception org.aspectj.lang.SoftException

printStackTrace(PrintStream) - Method in exception org.aspectj.lang.SoftException

printStackTrace(PrintWriter) - Method in exception org.aspectj.lang.SoftException

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

Proposition - Implements a proposition.

Proposition(String, String[], IIfClosure[]) - Constructor for class rwth.i2.ltlrv.afastate.impl.Proposition

Constructs a new proposition with the given label and free bindings for the given formals.

Proposition(String, WeakValuesMap<String, Object>) - Constructor for class rwth.i2.ltlrv.afastate.impl.Proposition

Deprecated.

Proposition(String, WeakValuesMap<String, Object>, String[], Collection<IIfClosure>) - Constructor for class rwth.i2.ltlrv.afastate.impl.Proposition

Constructs a new proposition with the given label and bindings of formals to actual objects.

Proposition(String, String[], IIfClosure[]) - Method in class rwth.i2.ltlrv.management.FormulaFactory

Returns a proposition with the given parameters.

Proposition(String, String...) - Method in class rwth.i2.ltlrv.management.FormulaFactory

Returns a proposition with the given parameters.

Proposition(String, WeakValuesMap<String, Object>) - Method in class rwth.i2.ltlrv.management.FormulaFactory

Deprecated.

Proposition(String, String...) - Method in interface rwth.i2.ltlrv.management.IFormulaFactory

Returns a proposition with the given parameters.

Proposition(String, String[], IIfClosure[]) - Method in interface rwth.i2.ltlrv.management.IFormulaFactory

Returns a proposition with the given parameters.

Proposition(String, WeakValuesMap<String, Object>) - Method in interface rwth.i2.ltlrv.management.IFormulaFactory

Deprecated.

PropositionSet - Class in rwth.i2.ltlrv.data

PropositionSet - A set of proposition with some additional functionality.

PropositionSet() - Constructor for class rwth.i2.ltlrv.data.PropositionSet

Constructs an empty set.

PropositionSet(Collection<IProposition>) - Constructor for class rwth.i2.ltlrv.data.PropositionSet

Constructs a new set based on the collection of propositions given as input.

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

This returns the set of provided variables at the current temporal levels.

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

List of provided variables.

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

This returns the set of provided variables at the current temporal levels.

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

This returns the set of negatively provided variables at the current temporal levels.

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

This returns the set of negatively provided variables at the current temporal levels.

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

This returns the set of negatively provided variables at the current temporal levels.

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

This returns the set of negatively provided variables at the current temporal levels.

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

This returns the set of negatively provided variables at the current temporal levels.

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

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

This returns the set of negatively provided variables at the current temporal levels.

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

This returns the set of negatively provided variables at the current temporal levels.

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

This returns the set of negatively provided variables at the current temporal levels.

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

This returns the set of positively provided variables at the current temporal levels.

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

This returns the set of positively provided variables at the current temporal levels.

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

This returns the set of positively provided variables at the current temporal levels.

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

This returns the set of positively provided variables at the current temporal levels.

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

This returns the set of positively provided variables at the current temporal levels.

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

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

This returns the set of positively provided variables at the current temporal levels.

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

This returns the set of positively provided variables at the current temporal levels.

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

This returns the set of positively provided variables at the current temporal levels.

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

push(Object[]) - Method in class org.aspectbench.runtime.internal.CFlowStack

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

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

pushStack(Object[], Object) - Static method in class org.aspectbench.runtime.internal.CFlowStack

put(K, V) - Method in class rwth.i2.ltlrv.data.WeakValuesHashMap