Uses of Enum Class
jline.solvers.jmt.SolverJMT.ViewMode

Packages that use SolverJMT.ViewMode

Package	Description
jline.solvers.jmt	Wrapper for the Java Modelling Tools (JMT) suite solvers

Uses of SolverJMT.ViewMode in jline.solvers.jmt

Methods in jline.solvers.jmt that return SolverJMT.ViewMode

Modifier and Type	Method	Description
static SolverJMT.ViewMode	SolverJMT.ViewMode.valueOf(String name)	Returns the enum constant of this class with the specified name.
static SolverJMT.ViewMode[]	SolverJMT.ViewMode.values()	Returns an array containing the constants of this enum class, in the order they are declared.

Methods in jline.solvers.jmt with parameters of type SolverJMT.ViewMode

Modifier and Type	Method	Description
static void	SolverJMT.viewModel(String jmtPath, String filename, SolverJMT.ViewMode viewMode)
static void	SolverJMT.viewModel(String filename, SolverJMT.ViewMode viewMode)