Package org.processmining.fusionminerful.pruner

Class DeclareProcessModelPruner

  • public class DeclareProcessModelPruner
extends java.lang.Object

    • Method Summary

      All Methods Static Methods Concrete Methods 
      Modifier and Type Method Description
      static java.util.Collection<java.lang.String> getExactly1​(minerful.concept.ProcessModel pm)
      Returns all activities for which AtMostOne and Existence hold
      static java.util.HashSet<java.lang.String> getExistence​(minerful.concept.ProcessModel pm)  
      static minerful.concept.ProcessModel prune​(minerful.concept.ProcessModel pm)  
      static minerful.concept.ProcessModel update()  

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • DeclareProcessModelPruner

        public DeclareProcessModelPruner()

    • Method Detail

      • prune

        public static minerful.concept.ProcessModel prune​(minerful.concept.ProcessModel pm)

      • getExactly1

        public static java.util.Collection<java.lang.String> getExactly1​(minerful.concept.ProcessModel pm)
        Returns all activities for which AtMostOne and Existence hold
        Parameters:
        pm - ProcessModel
        Returns:
        Collection

      • getExistence

        public static java.util.HashSet<java.lang.String> getExistence​(minerful.concept.ProcessModel pm)

      • update

        public static minerful.concept.ProcessModel update()