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