Uses of Class
de.learnlib.buildtool.refinement.annotation.GenerateRefinement

Packages that use GenerateRefinement

Package	Description
de.learnlib.buildtool.refinement.annotation

Uses of GenerateRefinement in de.learnlib.buildtool.refinement.annotation

Methods in de.learnlib.buildtool.refinement.annotation that return GenerateRefinement

Modifier and Type	Method	Description
GenerateRefinement[]	value()