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)