Uses of Interface
jline.api.sym.SymEngine

Packages that use SymEngine

Package	Description
jline.api.sym	Computer algebra backend.
jline.solvers.ctmc	This package provides an implementation of SolverCTMC.

Uses of SymEngine in jline.api.sym

Classes in jline.api.sym that implement SymEngine

Modifier and Type	Class	Description
class	SageRestEngine	SymEngine backed by the line-sage-rest service.

Methods in jline.api.sym that return SymEngine

Modifier and Type	Method	Description
static SymEngine	SymEngines.resolve()	Resolves an engine with the default request, i.e.
static SymEngine	SymEngines.resolve(String requested)	Resolves an engine.

Uses of SymEngine in jline.solvers.ctmc

Methods in jline.solvers.ctmc with parameters of type SymEngine

Modifier and Type	Method	Description
SymEngine.CTMCSolution	SolverCTMC.getSymbolicSolution(SymEngine engine)	Symbolic stationary distribution, computed by a given backend.