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

Class FeedbackCheckingConfiguration.Builder

java.lang.Object

de.rwth.swc.coffee4j.algorithmic.interleaving.feedback.FeedbackCheckingConfiguration.Builder

Enclosing class:

FeedbackCheckingConfiguration

public static class FeedbackCheckingConfiguration.Builder
extends Object

Builder class for a FeedbackCheckingConfiguration.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
FeedbackCheckingConfiguration	build()
FeedbackCheckingConfiguration.Builder	constraintChecker(ConstraintChecker constraintChecker)
FeedbackCheckingConfiguration.Builder	coverageMap(CoverageMap coverageMap)
FeedbackCheckingConfiguration.Builder	numberOfFeedbackChecks(int numberOfFeedbackChecks)
FeedbackCheckingConfiguration.Builder	testModel(CompleteTestModel testModel)

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder()

Method Detail

testModel

public FeedbackCheckingConfiguration.Builder testModel(CompleteTestModel testModel)

constraintChecker

public FeedbackCheckingConfiguration.Builder constraintChecker(ConstraintChecker constraintChecker)

coverageMap

public FeedbackCheckingConfiguration.Builder coverageMap(CoverageMap coverageMap)

numberOfFeedbackChecks

public FeedbackCheckingConfiguration.Builder numberOfFeedbackChecks(int numberOfFeedbackChecks)

build

public FeedbackCheckingConfiguration build()