Package jline.solvers.jmt

package jline.solvers.jmt

This package provides an implementation of SolverJMT. Wrapper for the Java Modelling Tools (JMT) suite solvers.

Related Packages

Package	Description
jline.solvers	Solver superclasses and related data structures.
jline.solvers.jmt.handlers	Handlers for SolverJMT.
jline.solvers.jmt.io

Class	Description
JMT	JMT is an alias for SolverJMT (Java Modelling Tools solver).
JMTOptions	Configuration options for Java Modelling Tools (JMT) solver integration.
JMTResult
JMTResult.TransientProbabilityResult	Result class for transient probability analysis of aggregated states.
SolverJMT	Solver interface to the Java Modelling Tools (JMT) simulation engine.
SolverJMT.EventInfo
SolverJMT.ViewMode