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

Class FeedbackCheckingConfiguration

java.lang.Object

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

public class FeedbackCheckingConfiguration
extends Object

Configuration to create a FeedbackCheckingStrategy.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	FeedbackCheckingConfiguration.Builder	Builder class for a FeedbackCheckingConfiguration.

Method Summary

Modifier and Type	Method	Description
static FeedbackCheckingConfiguration.Builder	configuration()
ConstraintChecker	getConstraintChecker()
CoverageMap	getCoverageMap()
int	getNumberOfFeedbackChecks()
CompleteTestModel	getTestModel()

Methods inherited from class java.lang.Object

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

Method Detail

configuration

public static FeedbackCheckingConfiguration.Builder configuration()

Returns:

returns FeedbackCheckingConfiguration.Builder to build an FeedbackCheckingConfiguration.

getTestModel

public CompleteTestModel getTestModel()

getConstraintChecker

public ConstraintChecker getConstraintChecker()

getCoverageMap

public CoverageMap getCoverageMap()

getNumberOfFeedbackChecks

public int getNumberOfFeedbackChecks()