Package de.rwth.swc.coffee4j.algorithmic.interleaving.identification

Class IdentificationConfiguration.IdentificationConfigurationBuilder

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.interleaving.identification.IdentificationConfiguration.IdentificationConfigurationBuilder

Enclosing class:

IdentificationConfiguration

public static class IdentificationConfiguration.IdentificationConfigurationBuilder
extends Object

Builder class for an IdentificationConfiguration.

Constructor Summary

Constructors

Constructor	Description
IdentificationConfigurationBuilder()

Method Summary

Modifier and Type	Method	Description
IdentificationConfiguration	build()
IdentificationConfiguration.IdentificationConfigurationBuilder	constraintChecker(ConstraintChecker constraintChecker)
IdentificationConfiguration.IdentificationConfigurationBuilder	coverageMap(CoverageMap coverageMap)
IdentificationConfiguration.IdentificationConfigurationBuilder	testModel(CompleteTestModel testModel)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IdentificationConfigurationBuilder

public IdentificationConfigurationBuilder()

Method Detail

testModel

public IdentificationConfiguration.IdentificationConfigurationBuilder testModel(CompleteTestModel testModel)

constraintChecker

public IdentificationConfiguration.IdentificationConfigurationBuilder constraintChecker(ConstraintChecker constraintChecker)

coverageMap

public IdentificationConfiguration.IdentificationConfigurationBuilder coverageMap(CoverageMap coverageMap)

build

public IdentificationConfiguration build()