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