Uses of Class
jline.solvers.ctmc.SolverCTMC.symbolicGeneratorResult
Packages that use SolverCTMC.symbolicGeneratorResult
Package
Description
Automatic solver selection and configuration for queueing networks.
This package provides an implementation of SolverCTMC.
-
Uses of SolverCTMC.symbolicGeneratorResult in jline.solvers.auto
Methods in jline.solvers.auto that return SolverCTMC.symbolicGeneratorResultModifier and TypeMethodDescriptionSolverAUTO.getSymbolicGenerator()Symbolic infinitesimal generator, always from SolverCTMC.SolverAUTO.getSymbolicGenerator(boolean invertSymbol) Symbolic infinitesimal generator, always from SolverCTMC. -
Uses of SolverCTMC.symbolicGeneratorResult in jline.solvers.ctmc
Methods in jline.solvers.ctmc that return SolverCTMC.symbolicGeneratorResultModifier and TypeMethodDescriptionSolverCTMC.getSymbolicGenerator()Symbolic infinitesimal generator with each event filtration normalized by its minimum positive rate and scaled by a symbolic variable x1, ..., xE.SolverCTMC.getSymbolicGenerator(boolean invertSymbol) Symbolic infinitesimal generator.