public class BottomCut
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
BottomCut.Operator |
| Modifier and Type | Field and Description |
|---|---|
gnu.trove.set.TIntSet |
activitiesA |
gnu.trove.set.TIntSet |
activitiesB |
BottomCut.Operator |
operator |
| Constructor and Description |
|---|
BottomCut(BottomCut.Operator operator,
gnu.trove.set.TIntSet activitiesA,
gnu.trove.set.TIntSet activitiesB) |
| Modifier and Type | Method and Description |
|---|---|
java.lang.String |
toString() |
java.lang.String |
toString(org.processmining.plugins.inductiveminer2.logs.IMLog log,
org.processmining.plugins.inductiveminer2.loginfo.IMLogInfo logInfo) |
public final BottomCut.Operator operator
public final gnu.trove.set.TIntSet activitiesA
public final gnu.trove.set.TIntSet activitiesB
public BottomCut(BottomCut.Operator operator, gnu.trove.set.TIntSet activitiesA, gnu.trove.set.TIntSet activitiesB)