Package jline.solvers.jmt
This package provides an implementation of SolverJMT. Wrapper for the Java Modelling Tools (JMT) suite solvers.
See: Description
-
Class Summary Class Description TransientProbabilityResult Result class for transient probability analysis of aggregated states. JMTResult JMTOptions Configuration options for Java Modelling Tools (JMT) solver integration. EventInfo SolverJMT Solver interface to the Java Modelling Tools (JMT) simulation engine. -
Enum Summary Enum Description ViewMode