Package jline.api.mam

Class Mmap_isfeasibleKt

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description

    • Constructor Summary

      Constructors 
      Constructor Description

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      final static Boolean mmap_isfeasible(MatrixCell MMAP) Checks the feasibility of a Markovian Arrival Process with marked arrivals (MMAP).

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

    • Method Detail

      • mmap_isfeasible

         final static Boolean mmap_isfeasible(MatrixCell MMAP)

        Checks the feasibility of a Markovian Arrival Process with marked arrivals (MMAP).

        This method verifies whether the given MMAP is feasible, which includes checking:

        • The underlying MAP (formed by matrices D0 and D1) is feasible.

        • The elements of each additional event matrix (D1c) are non-negative.

        • The sum of the matrices representing different event types (D1c) does not exceed the visible transition matrix (D1) in absolute value.

        Parameters:
        MMAP - the MatrixCell containing the transition matrices of the MMAP, with D0, D1, ...
        Returns:

        true if the MMAP is feasible, false otherwise