Package de.learnlib.buildtool.refinement.annotation

Annotation Type GenerateRefinements

@Retention(SOURCE)
@Target(TYPE)
public @interface GenerateRefinements

Container annotation used in GenerateRefinements Repeatable configuration.

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element	Description
GenerateRefinement[]	value

Element Detail

value

GenerateRefinement[] value

Default:

{}