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

com.newisys.randsolver.annotation
Annotation Type Randc

@Retention(value=RUNTIME)
@Target(value=FIELD)
public @interface Randc

An annotation that marks a variable as being a cyclic random variable. This annotation should be kept for runtime use. This annotation applies to member variables (fields).

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