Uses of Class
jline.solvers.ctmc.MemoryGuard.GateResult
Packages that use MemoryGuard.GateResult
-
Uses of MemoryGuard.GateResult in jline.solvers.ctmc
Methods in jline.solvers.ctmc that return MemoryGuard.GateResultModifier and TypeMethodDescriptionstatic MemoryGuard.GateResultMemoryGuard.gate(double logNstates, boolean force, boolean verbose, double safetyFraction) Hardware-aware, calibrated pre-gate.static MemoryGuard.GateResultSolverCTMC.isStateSpaceTractable(Network model, SolverOptions options) True when the worst-case CTMC state space of the model fits the host memory budget.