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

N

name - Variable in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

name - Variable in class org.aspectbench.runtime.reflect.SignatureImpl

negationNormalForm() - Method in class rwth.i2.ltlrv.afastate.base.BinaryAFAState

Produces a formula in negation normal form, where negations occur only in front of propositions.

negationNormalForm() - Method in class rwth.i2.ltlrv.afastate.base.NullaryAFAState

Produces a formula in negation normal form, where negations occur only in front of propositions.

negationNormalForm() - Method in class rwth.i2.ltlrv.afastate.base.UnaryAFAState

Produces a formula in negation normal form, where negations occur only in front of propositions.

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

Produces a formula in negation normal form, where negations occur only in front of propositions. This form also holds only IUntil, IRelease, IAnd, IOr, INot, IProposition subformulae. This must return a copy of the original formula. The major work is done in Not.negationNormalForm().

negationNormalForm() - Method in class rwth.i2.ltlrv.afastate.impl.Release

Produces a formula in negation normal form, where negations occur only in front of propositions. This form also holds only IUntil, IRelease, IAnd, IOr, INot, IProposition subformulae. This must return a copy of the original formula. The major work is done in Not.negationNormalForm().

negationNormalForm() - Method in class rwth.i2.ltlrv.afastate.impl.Until

Produces a formula in negation normal form, where negations occur only in front of propositions. This form also holds only IUntil, IRelease, IAnd, IOr, INot, IProposition subformulae. This must return a copy of the original formula. The major work is done in Not.negationNormalForm().

negationNormalForm() - Method in class rwth.i2.ltlrv.formula.impl.Equivalent

Produces a formula in negation normal form, where negations occur only in front of propositions.

negationNormalForm() - Method in class rwth.i2.ltlrv.formula.impl.Finally

Produces a formula in negation normal form, where negations occur only in front of propositions.

negationNormalForm() - Method in class rwth.i2.ltlrv.formula.impl.Globally

Produces a formula in negation normal form, where negations occur only in front of propositions.

negationNormalForm() - Method in class rwth.i2.ltlrv.formula.impl.Implies

Produces a formula in negation normal form, where negations occur only in front of propositions.

negationNormalForm() - Method in interface rwth.i2.ltlrv.formula.interfaze.IFormula

Produces a formula in negation normal form, where negations occur only in front of propositions.

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

Next - Implements the Next formula constructor of LTL.

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

Constructs a new formula with the given subformula.

NO_ARGS - Static variable in class org.aspectbench.runtime.reflect.Factory

NoAspectBoundException - Exception in org.aspectj.lang

Thrown by the aspectOf(..) special method on aspect types when there is no aspect of that type currently bound.

NoAspectBoundException(String, Throwable) - Constructor for exception org.aspectj.lang.NoAspectBoundException

NoAspectBoundException() - Constructor for exception org.aspectj.lang.NoAspectBoundException

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

Not - Implements the Not operator.

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

A negated form of the subformula passed in.

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

Generates a negation.

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

Generates a negation.

notifyListeners(boolean, String, Thread, Configuration) - Method in class rwth.i2.ltlrv.management.VerificationRuntime

Notifies all listeners about a formula being updated/registered.

notifyOnUserCausedException(String, Thread, String, Throwable, Configuration) - Method in class rwth.i2.ltlrv.management.VerificationRuntime

Notifies all listeners about a user-caused exception that happened during the evaluation of an if-pointcut.

notifyOnUserCauseException(String, Thread, String, Throwable, Configuration) - Method in class rwth.i2.ltlrv.management.listeners.ConsoleListener

Notifies about a user-caused exception that happened during the evaluation of an if-pointcut.

notifyOnUserCauseException(String, Thread, String, Throwable, Configuration) - Method in interface rwth.i2.ltlrv.management.VerificationRuntime.Listener

Notifies about a user-caused exception that happened during the evaluation of an if-pointcut.

notifyRegistered(String, Thread, Configuration) - Method in class rwth.i2.ltlrv.management.listeners.ConsoleListener

This is called whenever a new formula is registered.

notifyRegistered(String, Thread, Configuration) - Method in interface rwth.i2.ltlrv.management.VerificationRuntime.Listener

This is called whenever a new formula is registered.

notifyTearDown(String, Configuration) - Method in class rwth.i2.ltlrv.management.listeners.ConsoleListener

This is called when the application is going down, so after the last main method has been executed.

notifyTearDown(String, Configuration) - Method in interface rwth.i2.ltlrv.management.VerificationRuntime.Listener

This is called when the application is going down, so after the last main method has been executed.

notifyUpdate(String, Thread, Configuration) - Method in class rwth.i2.ltlrv.management.listeners.ConsoleListener

This is called whenever a new formula is updated.

notifyUpdate(String, Thread, Configuration) - Method in interface rwth.i2.ltlrv.management.VerificationRuntime.Listener

This is called whenever a new formula is updated.

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

NullaryAFAState - Abstract base class of all nullary AFA states.

NullaryAFAState() - Constructor for class rwth.i2.ltlrv.afastate.base.NullaryAFAState

numberOf(IAFAState) - Static method in class rwth.i2.ltlrv.management.Configuration

Returns a (possibly new) number for a term, based on equality.

numberStringOf(IAFAState) - Static method in class rwth.i2.ltlrv.management.Configuration

Returns a unique number string for the term, based on equality.