Uses of Class
jline.solvers.wrappers.jmt.JMTResult

Packages that use JMTResult

Package	Description
jline.solvers.wrappers.jmt	This package provides an implementation of SolverJMT.
jline.solvers.wrappers.jmt.io

Uses of JMTResult in jline.solvers.wrappers.jmt

Methods in jline.solvers.wrappers.jmt that return JMTResult

Modifier and Type	Method	Description
JMTResult	SolverJMT.getResultsJMVA()
JMTResult	SolverJMT.getResultsJSIM()

Uses of JMTResult in jline.solvers.wrappers.jmt.io

Methods in jline.solvers.wrappers.jmt.io that return JMTResult

Modifier and Type	Method	Description
JMTResult	JMTIO.parseJMVAResult(String resultFilePath)	Parses a JMVA result XML file.
JMTResult	JMTIO.parseJSIMResult(String resultFilePath)	Parses a JSIM result XML file.