Class TransitionCoverageEvaluationResult

    • Constructor Detail

      • TransitionCoverageEvaluationResult

        public TransitionCoverageEvaluationResult​(LocalProcessModel lpm)
    • Method Detail

      • updateTransitionCoverageCountMap

        public void updateTransitionCoverageCountMap​(java.util.List<java.lang.String> usedTransitions,
                                                     java.util.List<java.lang.String> allTransitions,
                                                     int windowCount)
        Updates tha map that counts in how many fitting windows a transition has appeared
        Parameters:
        usedTransitions - : all usedTransitions for which we want to update the count
        allTransitions - : all activities that appear in the window
        windowCount - : the number of windows we update