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

F

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

Generates a Finally formula.

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

Generates a Finally formula.

Factory - Class in org.aspectbench.runtime.reflect

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

factory - Static variable in class rwth.i2.ltlrv.formula.base.AbstractFormula

Reference to the formula factory.

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

FF - Implements the sink state / formula representing false.

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

ff - Static variable in class rwth.i2.ltlrv.management.FormulaFactory

The unique instance of IFF

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

Returns the negative positive sink state.

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

Returns the negative positive sink state.

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

Constructs an empty clause set, representing FF.

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

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

FieldSignature - Interface in org.aspectj.lang.reflect

FieldSignatureImpl - Class in org.aspectbench.runtime.reflect

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

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

fieldType - Variable in class org.aspectbench.runtime.reflect.FieldSignatureImpl

filename - Variable in class org.aspectbench.eaj.runtime.reflect.EajFactory

filename - Variable in class org.aspectbench.runtime.reflect.Factory

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

filterBinding(Set<String>, WeakValuesMap<String, Object>) - Method in class rwth.i2.ltlrv.afastate.impl.Next

Filters bindings for those which are contained in the given context.

filterBindingForCurrentJoinpoint(WeakValuesMap<String, Object>, Collection<String>) - Static method in class rwth.i2.ltlrv.management.Configuration

Filters a binding for those entries that are unbound at the current joinpoint.

Finally - Class in rwth.i2.ltlrv.formula.impl

Finally - Implements the Finally formula constructor of LTL.

Finally(IFormula) - Constructor for class rwth.i2.ltlrv.formula.impl.Finally

Constructs a new formula with the given subformula.

first_counter - Variable in class org.aspectbench.runtime.internal.CflowCounterThreadLocal

first_stack - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Double

first_stack - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Float

first_stack - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Int

first_stack - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Long

first_stack - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Ref

first_thread - Variable in class org.aspectbench.runtime.internal.CflowCounterThreadLocal

first_thread - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Double

first_thread - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Float

first_thread - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Int

first_thread - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Long

first_thread - Variable in class org.aspectbench.runtime.internal.CflowStackThreadLocal.Ref

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

FormulaFactory - Class in rwth.i2.ltlrv.management

FormulaFactory - Default implemetation of IFormulaFactory.

FormulaFactory() - Constructor for class rwth.i2.ltlrv.management.FormulaFactory

fullTypeName(Class) - Method in class org.aspectbench.eaj.runtime.reflect.SignatureImpl

fullTypeName(Class) - Method in class org.aspectbench.runtime.reflect.SignatureImpl

fullyBound() - Method in class rwth.i2.ltlrv.afastate.impl.Proposition

Returns true if this proposition is fully bound.