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

Interface Summary

Interface	Description
IdentificationStrategy	Interface that each identification strategy used by interleaving CT must implement.
IdentificationStrategyFactory	Factory for creating an IdentificationStrategy.

Class Summary

Class	Description
IdentificationConfiguration	Configuration used to create an IdentificationStrategy.
IdentificationConfiguration.IdentificationConfigurationBuilder	Builder class for an IdentificationConfiguration.

Enum Summary

Enum	Description
CombinationType	Since an IdentificationStrategy is used to identify failure- as well as exception-inducing combinations, this enum is used to differentiate the identified combinations.