public class Exhaustive
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
class |
Exhaustive.Result |
Constructor and Description |
---|
Exhaustive(IMLog log,
IMLogInfo logInfo,
UpToKSuccessorMatrix kSuccessor,
MinerState minerState) |
Modifier and Type | Method and Description |
---|---|
java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> |
generateCut(long input,
int nrOfBits,
org.deckfour.xes.classification.XEventClass[] activities) |
Exhaustive.Result |
processCutLoop(java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition) |
Exhaustive.Result |
processCutParallel(java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition) |
Exhaustive.Result |
tryAll() |
Exhaustive.Result |
tryRange(int nrOfBits,
org.deckfour.xes.classification.XEventClass[] activities,
long startCutNr,
long endCutNr) |
public Exhaustive(IMLog log, IMLogInfo logInfo, UpToKSuccessorMatrix kSuccessor, MinerState minerState)
public Exhaustive.Result tryAll()
public Exhaustive.Result tryRange(int nrOfBits, org.deckfour.xes.classification.XEventClass[] activities, long startCutNr, long endCutNr)
public Exhaustive.Result processCutParallel(java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
public Exhaustive.Result processCutLoop(java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
public java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> generateCut(long input, int nrOfBits, org.deckfour.xes.classification.XEventClass[] activities)