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

L

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

An appropriate label for this proposition.

lastTermNumber - Static variable in class rwth.i2.ltlrv.management.Configuration

Last number a term was mapped to.

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

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

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

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

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

All currently registered listeners.

Lock - Class in org.aspectbench.tm.runtime.internal

Lock() - Constructor for class org.aspectbench.tm.runtime.internal.Lock

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

Locks the map, so that no modifications are allowed any more.

lock() - Method in interface rwth.i2.ltlrv.data.WeakValuesMap

Locks the map, so that no modifications are allowed any more.

locked - Variable in class org.aspectbench.tm.runtime.internal.Lock

locked - Variable in class rwth.i2.ltlrv.data.WeakValuesHashMap

If true, this map may not be modified any more.

LOG_CONFIG - Static variable in class rwth.i2.ltlrv.management.Debug

LOG_PROPOSITIONS - Static variable in class rwth.i2.ltlrv.management.Debug

logConfig(String, Configuration) - Static method in class rwth.i2.ltlrv.management.Debug

logPropositions(String, PropositionSet) - Static method in class rwth.i2.ltlrv.management.Debug

longStringMaker - Static variable in class org.aspectbench.eaj.runtime.reflect.StringMaker

longStringMaker - Static variable in class org.aspectbench.runtime.reflect.StringMaker

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

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

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

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

LTL - Annotation Type in rwth.i2.ltlrv

LTL_RV_LISTENERS - Static variable in class rwth.i2.ltlrv.management.VerificationRuntime

Environment variable pointing to listener classes (semicolon separated): LTLRV_LISTENERS=package1.Listener1;package1.Listener2