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 anIdentificationStrategy
. -
Class Summary Class Description IdentificationConfiguration Configuration used to create anIdentificationStrategy
.IdentificationConfiguration.IdentificationConfigurationBuilder Builder class for anIdentificationConfiguration
. -
Enum Summary Enum Description CombinationType Since anIdentificationStrategy
is used to identify failure- as well as exception-inducing combinations, this enum is used to differentiate the identified combinations.