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.Object
public 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)