Package jline.api.mc

Class Ctmc_gth.Result

java.lang.Object
jline.api.mc.Ctmc_gth.Result
Enclosing class:
Ctmc_gth

public static final class Ctmc_gth.Result extends Object
Outcome: row vector p and flag (0 success, 1 several closed classes).
  • Field Details

    • p

      public final Matrix p
    • flag

      public final int flag