All Known Implementing Classes:

OfotStrategy, TupleRelationshipStrategy
```
public interface IdentificationStrategy
```
Interface that each identification strategy used by interleaving CT must implement.

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Optional<int[]>`	`generateNextTestInputForIdentification(int[] testInput, TestResult testResult)`
`Map<it.unimi.dsi.fastutil.ints.IntList,CombinationType>`	`getIdentifiedCombinations()`
`Optional<int[]>`	`restartIdentification()`	restart the identification for a previously given failing test input if checking phase failed for given exception/failure-inducing combinations of previous iteration
`Optional<int[]>`	`startIdentification(int[] failingTestInput, TestResult result)`

- Method Detail
  - startIdentification
```
Optional<int[]> startIdentification(int[] failingTestInput,
                                    TestResult result)
```
    Parameters:
    
    failingTestInput - test input to start the identification of exception/failure-inducing combinations for
    
    result - TestResult of the failing test case containing information needed to decide whether it is failure- or exception-inducing
    
    Returns:
    
    first test input used for identification of exception/failure-inducing combinations (if present, otherwise empty Optional)
  - restartIdentification
```
Optional<int[]> restartIdentification()
```
    restart the identification for a previously given failing test input if checking phase failed for given exception/failure-inducing combinations of previous iteration
    
    Returns:
    
    first test input used for identification of exception/failure-inducing combinations (if present, otherwise empty Optional)
  - generateNextTestInputForIdentification
```
Optional<int[]> generateNextTestInputForIdentification(int[] testInput,
                                                       TestResult testResult)
```
    Parameters:
    
    testInput - previously executed test input
    
    testResult - result of previously executed test input
    
    Returns:
    
    next test input used for identification of exception/failure-inducing combinations (empty Optional, if exception/failure-inducing combinations identified)
  - getIdentifiedCombinations
```
Map<it.unimi.dsi.fastutil.ints.IntList,CombinationType> getIdentifiedCombinations()
```
    Returns:
    
    identified combinations together with their type -- exception- or failure-inducing

Interface IdentificationStrategy

Method Summary

Method Detail

startIdentification

restartIdentification

generateNextTestInputForIdentification

getIdentifiedCombinations