| Class | Description |
|---|---|
| HybridDeclareClassifier | |
| HybridDeclareDiscoverExistentials |
Copied from the DeclareMiner (modification for the splitting of traces)
|
| HybridExistentialConstraint |
Copied from the DeclareMiner
|
| HybridExistentialConstraintsUtility |
Copied from the DeclareMiner
|
| HybridExistentialsMap |
Copied from the DeclareMiner
|
| HybridFasterDeclare | |
| HybridMineDeclare | |
| HybridMinerfulMiner | |
| HybridOldDeclareMiner |