public class Cut
extends java.lang.Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Cut.Operator |
| Constructor and Description |
|---|
Cut(Cut.Operator operator,
java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition) |
| Modifier and Type | Method and Description |
|---|---|
Cut.Operator |
getOperator() |
java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> |
getPartition() |
boolean |
isValid() |
void |
setOperator(Cut.Operator operator) |
void |
setPartition(java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition) |
java.lang.String |
toString() |
public Cut(Cut.Operator operator, java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
public boolean isValid()
public java.lang.String toString()
toString in class java.lang.Objectpublic java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> getPartition()
public void setPartition(java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
public Cut.Operator getOperator()
public void setOperator(Cut.Operator operator)