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

Class IdentificationConfiguration

java.lang.Object

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

public class IdentificationConfiguration
extends Object

Configuration used to create an IdentificationStrategy.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	IdentificationConfiguration.IdentificationConfigurationBuilder	Builder class for an IdentificationConfiguration.

Method Summary

Modifier and Type	Method	Description
static IdentificationConfiguration.IdentificationConfigurationBuilder	configuration()
ConstraintChecker	getConstraintChecker()
CoverageMap	getCoverageMap()
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 IdentificationConfiguration.IdentificationConfigurationBuilder configuration()

Returns:

returns an IdentificationConfiguration.IdentificationConfigurationBuilder to build an IdentificationConfiguration.

getTestModel

public CompleteTestModel getTestModel()

getConstraintChecker

public ConstraintChecker getConstraintChecker()

getCoverageMap

public CoverageMap getCoverageMap()