Module fr.inria.MochyCore

Package fr.inria.mochy.core.abstractClass

Annotation Type LTL

@Retention(RUNTIME)
@Target(METHOD)
public @interface LTL