CutFinderWithoutLog (InductiveMiner)

All Known Implementing Classes:

CutFinderWithoutLogIMConcurrent, CutFinderWithoutLogIMConcurrentWithMinimumSelfDistance, CutFinderWithoutLogIMExclusiveChoice, CutFinderWithoutLogIMLoop, CutFinderWithoutLogIMLoopWithMinimumSelfDistance, CutFinderWithoutLogIMSequence
```
public interface CutFinderWithoutLog
```

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  Cut findCut(DfgMsd graph, MinerStateWithoutLog minerState)

Method Detail

findCut

Cut findCut(DfgMsd graph,
            MinerStateWithoutLog minerState)