Class Cut


  • public class Cut
    extends java.lang.Object
    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  Cut.Operator  
    • Constructor Summary

      Constructors 
      Constructor Description
      Cut​(Cut.Operator operator, java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)  
    • Constructor Detail

      • Cut

        public Cut​(Cut.Operator operator,
                   java.util.Collection<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
    • Method Detail

      • isValid

        public boolean isValid()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • getPartition

        public java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> getPartition()
      • setPartition

        public void setPartition​(java.util.List<java.util.Set<org.deckfour.xes.classification.XEventClass>> partition)
      • setOperator

        public void setOperator​(Cut.Operator operator)