Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT

galois.runtime.wl
Annotation Type MatchingConcurrentVersion

@Retention(value=RUNTIME)
@Target(value=TYPE)
public @interface MatchingConcurrentVersion

Indicates rule version to use when this rule is used concurrently.

Required Element Summary
 Class<? extends Worklist> value
           
 

Element Detail

value

public abstract Class<? extends Worklist> value
Overview  Package   Class  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT