Package | Description |
---|---|
org.processmining.plugins.InductiveMiner.mining.cuts | |
org.processmining.plugins.InductiveMiner.mining.cuts.IMc |
Modifier and Type | Method and Description |
---|---|
Cut.Operator |
Cut.getOperator() |
static Cut.Operator |
Cut.Operator.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static Cut.Operator[] |
Cut.Operator.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
Cut.setOperator(Cut.Operator operator) |
Constructor and Description |
---|
Cut(Cut.Operator operator,
java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition) |
Constructor and Description |
---|
SATResult(java.util.Set<org.deckfour.xes.classification.XEventClass> sigma1,
java.util.Set<org.deckfour.xes.classification.XEventClass> sigma2,
double probability,
Cut.Operator operator) |