Package jline.api.sn

Class SnNonmarkovToPh

java.lang.Object
jline.api.sn.SnNonmarkovToPh

public final class SnNonmarkovToPh extends Object
  • Method Details

    • snNonmarkovToPh

      public static NetworkStruct snNonmarkovToPh(NetworkStruct snInput, SolverOptions options)
    • snNonmarkovToPh

      public static NetworkStruct snNonmarkovToPh(NetworkStruct snInput, SolverOptions options, boolean keepDetTag)
      Parameters:
      keepDetTag - when true, a converted DET keeps procid=DET (MAM needs this for exact deterministic dispatch); when false (CTMC/SSA), the converted DET is tagged MAP like every other converted distribution, so the state-space generator treats its Erlang-PH representation as a proper multi-phase process instead of a single-phase deterministic placeholder (fixes M/D/1 QLen=0).