Uses of Class
de.rwth.swc.coffee4j.algorithmic.interleaving.generator.TestInputGenerationConfiguration.Builder
-
Packages that use TestInputGenerationConfiguration.Builder Package Description de.rwth.swc.coffee4j.algorithmic.interleaving.generator -
-
Uses of TestInputGenerationConfiguration.Builder in de.rwth.swc.coffee4j.algorithmic.interleaving.generator
Methods in de.rwth.swc.coffee4j.algorithmic.interleaving.generator that return TestInputGenerationConfiguration.Builder Modifier and Type Method Description static TestInputGenerationConfiguration.Builder
TestInputGenerationConfiguration. configuration()
TestInputGenerationConfiguration.Builder
TestInputGenerationConfiguration.Builder. constraintChecker(ConstraintChecker constraintChecker)
TestInputGenerationConfiguration.Builder
TestInputGenerationConfiguration.Builder. coverageMap(CoverageMap coverageMap)
TestInputGenerationConfiguration.Builder
TestInputGenerationConfiguration.Builder. testModel(CompleteTestModel testModel)
-