Annotation Type Hierarchy
- de.learnlib.buildtool.refinement.annotation.GenerateRefinement (implements java.lang.annotation.Annotation)
- de.learnlib.buildtool.refinement.annotation.GenerateRefinements (implements java.lang.annotation.Annotation)
- de.learnlib.buildtool.refinement.annotation.Generic (implements java.lang.annotation.Annotation)
- de.learnlib.buildtool.refinement.annotation.Interface (implements java.lang.annotation.Annotation)
- de.learnlib.buildtool.refinement.annotation.Map (implements java.lang.annotation.Annotation)