Package jline.api.mc
Class Ctmc_gth.Result
java.lang.Object
jline.api.mc.Ctmc_gth.Result
- Enclosing class:
- Ctmc_gth
Outcome: row vector p and flag (0 success, 1 several closed classes).
-
Field Summary
Fields -
Method Summary
-
Field Details
-
p
-
flag
public final int flag
-