Class NotContainingCoveringPlacesCombinationGuard

    • Constructor Detail

      • NotContainingCoveringPlacesCombinationGuard

        public NotContainingCoveringPlacesCombinationGuard()
    • Method Detail

      • satisfies

        public boolean satisfies​(LocalProcessModel lpm1,
                                 LocalProcessModel lpm2)
        Description copied from interface: CombinationGuard
        Checks if the two lpms satisfy the guard condition
        Parameters:
        lpm1 - : the first local process model that we need to combine
        lpm2 - : the first local process model that we need to combine
        Returns:
        whether the guard is satisfied