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

rwth.i2.ltlrv
Annotation Type LTL

@Retention(value=CLASS)
@Target(value={CONSTRUCTOR,METHOD,TYPE,FIELD})
public @interface LTL

Author:
Eric Bodden LTL

Required Element Summary
 String value
           
 

Element Detail

value

public abstract String value
Returns:
the formula as String
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: REQUIRED | OPTIONAL DETAIL: ELEMENT