 |
LINE Solver (C++)
Templated C++ port of the LINE queueing solver
|
|
LINE Solver (C++)
Templated C++ port of the LINE queueing solver
|
line/solvers – MVA, NC, CTMC, fluid, MAM, SSA, LDES, LN, ENV, BA, UQ and AUTO, plus the wrappers that drive JMT, LQNS and qnsolver.
More...
Files | |
| file | include/line/solvers/ag/ag_dispatch.h |
| The -s ag entry point: gates, fixed point, mean measures. | |
| file | include/line/solvers/ag/ag_exec.h |
| Execution backends of the reversed-rate fixed point. | |
| file | include/line/solvers/ag/ag_types.h |
| Options of the agent-based (RCAT) solver. | |
| file | include/line/solvers/ag/ag_worker_client.h |
| Coordinator-side connections to the ag-worker processes. | |
| file | include/line/solvers/ag/solver_ag.h |
| Port of solver_ag.m: the RCAT (Reversed Compound Agent Theorem) analyzers, reached by methods 'inap', 'inapplus', 'inapinf' and 'exact'. | |
| file | include/line/solvers/ag/solver_ag_autocat.h |
| solver_ag_autocat.m, the optimization-based search for RCAT product-form solutions. | |
| file | include/line/solvers/ag/solver_ag_runner.h |
| The gates and the dispatch of the agent-based (RCAT) solver. | |
| file | include/line/solvers/auto/auto_methods.h |
| SolverAUTO.listValidMethods: the method names THIS MODEL can actually run. | |
| file | include/line/solvers/auto/solver_auto.h |
| The SolverAUTO chooser: which solver a model is handed to. | |
| file | include/line/solvers/avg_table.h |
| The result tables a solver returns. | |
| file | include/line/solvers/ba/solver_ba_analyzer.h |
| Port of matlab/src/solvers/BA/solver_ba_analyzer.m, the bound-analysis handler behind SolverBA. | |
| file | include/line/solvers/ba/solver_ba_bgt.h |
| Piecewise-linear Lyapunov UPPER bound on the steady-state queue lengths of a multitype open Markovian network, valid for EVERY work-conserving Markovian policy. | |
| file | include/line/solvers/ba/solver_ba_bpt.h |
| Achievable-region LOWER bound on the mean response times of a multiclass open Markovian network, valid for EVERY non-idling scheduling policy at every station. | |
| file | include/line/solvers/ba/solver_ba_qrf_analyzer.h |
| Port of matlab/src/solvers/BA/solver_ba_qrf_analyzer.m, the adapter that bridges the sn struct to the QRF (Quadratic Reduction Framework) bounds. | |
| file | include/line/solvers/ba/solver_ba_runner.h |
| The SolverBA class surface: @@SolverBA/runAnalyzer.m, listValidMethods, getBounds and getBoundsTable. | |
| file | include/line/solvers/ba/solver_ba_snc.h |
| Stochastic network calculus UPPER bound on the mean response times and queue lengths of a feed-forward open network, valid for EVERY work-conserving scheduling policy at every station. | |
| file | include/line/solvers/ba/solver_ba_spnlp.h |
| Linear-programming bounds on the mean marking and the throughputs of a stochastic timed Petri net. | |
| file | include/line/solvers/cache_metrics.h |
| What a solver observed about the Cache nodes of a model. | |
| file | include/line/solvers/ctmc/ctmc_stationary.h |
| Port of matlab/src/solvers/CTMC/ctmc_stationary.m: the single entry point for the stationary distribution of a CTMC generated from a NetworkStruct. | |
| file | include/line/solvers/ctmc/solver_ctmc.h |
| Port of solver_ctmc.m: the infinitesimal generator of a queueing network, assembled from the enumerated state space and the synchronization list. | |
| file | include/line/solvers/ctmc/solver_ctmc_analyzer.h |
| Port of solver_ctmc_analyzer.m and the parts of @@SolverCTMC/runAnalyzer.m that surround one solve: the method gate, the open-model CUTOFF, the state space and synchronization construction, the stationary solve with its reducible-generator handling, and the mapping onto the AvgTable columns. | |
| file | include/line/solvers/ctmc/solver_ctmc_cdf.h |
| Port of @@SolverCTMC/getCdfRespT.m and @@SolverCTMC/getCdfSysRespT.m: the exact distribution of the response time, not just its mean. | |
| file | include/line/solvers/ctmc/solver_ctmc_cftp.h |
| The cftp and cftp.approx methods of SolverCTMC: stationary analysis of a closed single-class product-form network by PERFECT SAMPLING rather than state-space enumeration. | |
| file | include/line/solvers/ctmc/solver_ctmc_chain.h |
| Port of matlab/src/solvers/CTMC/solver_ctmc_chain.m and solver_ctmc_chain_transient.m: SolverCTMC applied to a USER-SUPPLIED Markov chain rather than to a queueing network. | |
| file | include/line/solvers/ctmc/solver_ctmc_fcr.h |
| Finite Capacity Regions in SolverCTMC: the DROP rule, as a filter on the enumerated state space, and the gate that refuses WAITQ. | |
| file | include/line/solvers/ctmc/solver_ctmc_getters.h |
| The remaining @@SolverCTMC accessors: getGenerator / getInfGen, getStateSpace / getStateSpaceAggr and the getTranProb* family. | |
| file | include/line/solvers/ctmc/solver_ctmc_mdd_analyzer.h |
| The mdd method of SolverCTMC: stationary analysis of a closed single-class network whose state space is held in a decision diagram and solved by level aggregation. | |
| file | include/line/solvers/ctmc/solver_ctmc_prob.h |
| The SolverCTMC probability family: solver_ctmc_joint, _jointaggr, _marg, _margaggr, and the gate @@SolverCTMC/assertPhaseTypeStates puts in front of all four. | |
| file | include/line/solvers/ctmc/solver_ctmc_reward.h |
| Port of solver_ctmc_reward.m and the @@SolverCTMC reward surface (runRewardAnalyzer, getAvgReward, getTranReward). | |
| file | include/line/solvers/ctmc/solver_ctmc_sample.h |
| Port of the @@SolverCTMC sampling surface: sample, sampleAggr, sampleSys, sampleSysAggr. | |
| file | include/line/solvers/ctmc/solver_ctmc_sens.h |
| Port of @@SolverCTMC/getSensitivity and getSensitivityRanking: the parametric sensitivity of a steady-state reward to a scalar model parameter, following Trivedi and Bobbio (2017), Sec. | |
| file | include/line/solvers/ctmc/solver_ctmc_symbolic.h |
| Port of @@SolverCTMC/getSymbolicGenerator and getSymbolicSolution. | |
| file | include/line/solvers/ctmc/solver_ctmc_transient.h |
| Port of solver_ctmc_transient_analyzer.m: the time-dependent counterpart of solver_ctmc_analyzer, integrating dpi/dt = pi Q from a point mass on the initial state instead of solving pi Q = 0. | |
| file | include/line/solvers/ctmc/solver_ctmc_waitq.h |
| Port of solver_ctmc_fcr_waitq.m: the reachability-built generator of a model whose finite capacity region applies WAITQ. | |
| file | include/line/solvers/env/env_dispatch.h |
| The SolverENV entry surface: a port of the analyzer selection that @@SolverENV/SolverENV.m's init performs (lines 311-327) and of the compression switch setCompression arms (line 160, applied at line 412). | |
| file | include/line/solvers/env/solver_env.h |
| SolverENV: a queueing network in a random environment. | |
| file | include/line/solvers/env/solver_env_limit.h |
| The two CLOSED-FORM environment limits: SolverENV.solveEnvLimit, reached by options.method in {avg, dec}. | |
| file | include/line/solvers/env/solver_env_meanfield.h |
| SolverENV, the default mean-field path: ENVIRONMENT COMPRESSION. | |
| file | include/line/solvers/env/solver_env_statevec.h |
| SolverENV, method = "statevec": a port of matlab/src/solvers/ENV/solver_env_statevec_analyzer.m. | |
| file | include/line/solvers/fluid/fluid_aoi.h |
| Age of Information by Markovian fluid queues: a port of solver_mfq_aoi.m (identical to solver_fluid_aoi.m) with the gate aoi_is_aoi.m, the parameter map aoi_extract_params.m, and the two aoi-fluid algorithms solveBufferless.m and solveSingleBuffer.m. | |
| file | include/line/solvers/fluid/fluid_cacheqn.h |
| The INTEGRATED caching-queueing network under the fluid solver: ports of solver_fld_cacheqn_analyzer.m (steady state) and solver_fld_cacheqn_tran.m (transient cache trajectory). | |
| file | include/line/solvers/fluid/fluid_closing.h |
| Port of solver_fluid_initsol.m, and of the entry point of solver_fluid_closing.m that consumes it. | |
| file | include/line/solvers/fluid/fluid_closures.h |
| The moment closures the fluid drift is built from: fluid_min_closure.m, fluid_capacity_closure.m, fluid_lld_scaling.m, fluid_share_closure.m and fluid_gps_share.m. | |
| file | include/line/solvers/fluid/fluid_conservation_guard.h |
| Detects a moment-closure trajectory that has left the model. | |
| file | include/line/solvers/fluid/fluid_dae.h |
| The min-normal closure as a DIFFERENTIAL-ALGEBRAIC system: solver_fluid_dae.m. | |
| file | include/line/solvers/fluid/fluid_diffusion.h |
| The diffusion method: a port of solver_fluid_diffusion.m. | |
| file | include/line/solvers/fluid/fluid_export_odes.h |
| @@SolverFLD/exportODEs.m: the fluid ODE system as a standalone LaTeX document, in a form meant to be read by a person AND parsed by a program. | |
| file | include/line/solvers/fluid/fluid_jacobian.h |
| Port of @@SolverFLD/getJacobian, all four of its outputs. | |
| file | include/line/solvers/fluid/fluid_kp.h |
| Port of solver_fluid_kp.m: the fluid AND diffusion limits of the (MAP_t/Ph_t/inf)^N network of Y. | |
| file | include/line/solvers/fluid/fluid_matrix.h |
| The matrix fluid method: a port of solver_fluid_matrix.m, the formulation of Ruuskanen, Berg, Lehtinen et al., PEVA 151 (2021). | |
| file | include/line/solvers/fluid/fluid_mfq.h |
| The mfq method: a port of solver_mfq.m and the single-queue gate fluid_is_single_queue.m. | |
| file | include/line/solvers/fluid/fluid_mfq_prio.h |
| The priority branch of the mfq method: a port of solver_mfq_prio.m. | |
| file | include/line/solvers/fluid/fluid_moments.h |
| The second-order fluid methods: fluid_moment_terms.m, fluid_lyapunov.m, fluid_drift_jacobian.m, fluid_refine_meanfield.m and solver_fluid_moments.m, which back options.method minnormal and refined. | |
| file | include/line/solvers/fluid/fluid_mvn_rectangle.h |
| Port of fluid_mvn_rectangle.m: the rectangle probability P(a <= Y <= b) for Y ~ Normal(m, C), the cell integral behind getProbAggr under the moment-closure methods. | |
| file | include/line/solvers/fluid/fluid_nonhyperbolic.h |
| The one exception the fluid fallback ladder catches. | |
| file | include/line/solvers/fluid/fluid_odes.h |
| The fluid drift: a port of solver_fluid_odes.m and the ode_jumps_new / ode_rate_base / ode_rates_closing triple it drives on the DEFAULT (closing) method. | |
| file | include/line/solvers/fluid/fluid_odes_statedep.h |
| The state-dependent fluid drifts: ports of ode_statedep.m, ode_softmin.m and ode_pnorm.m. | |
| file | include/line/solvers/fluid/fluid_passage.h |
| Response-time distribution by tagged fluid: a port of solver_fluid_passage_time.m, which is what @@SolverFLD/getCdfRespT delegates to. | |
| file | include/line/solvers/fluid/fluid_petri.h |
| Fluid analysis of a stochastic Petri net: one simultaneous algebraic solve per active set. | |
| file | include/line/solvers/fluid/fluid_petri_system.h |
| The closures, the closed enabling term, the rate vector and the drift Jacobian of a stochastic Petri net's fluid limit. | |
| file | include/line/solvers/fluid/fluid_petri_terms.h |
| Event-based representation of the fluid marking process of a stochastic Petri net. | |
| file | include/line/solvers/fluid/fluid_qsys.h |
| Port of matlab/src/solvers/FLD/solver_fluid_qsys_analyzer.m: the single-station fluid limits. | |
| file | include/line/solvers/fluid/fluid_runner.h |
| The fluid solver's outermost entry point: @@SolverFLD/runAnalyzer.m's method resolution over solver_fluid_analyzer.m's dispatch. | |
| file | include/line/solvers/fluid/fluid_stiff.h |
| Port of ode_eliminate_immediate.m, eliminate_immediate_matrix.m and ode_solve_stiff.m: the two answers to an IMMEDIATE transition. | |
| file | include/line/solvers/fluid/fluid_symodes.h |
| A symbolic description of the fluid ODE system: a port of solver_fluid_symodes.m, which is what @@SolverFLD/exportODEs renders. | |
| file | include/line/solvers/fluid/fluid_tbi.h |
| The tbi method: a port of solver_fluid_tbi_iteration.m and tbi_partition.m. | |
| file | include/line/solvers/fluid/solver_fluid.h |
| SolverFluid: the closing method, a port of solver_fluid.m, solver_fluid_iteration.m and solver_fluid_closing.m. | |
| file | include/line/solvers/ldes/ldes_busyperiod.h |
| Busy period measurement for the native LDES engine. | |
| file | include/line/solvers/ldes/ldes_cache.h |
| The Cache node of the native LDES engine. | |
| file | include/line/solvers/ldes/ldes_engine.h |
| The NATIVE LDES discrete-event engine. | |
| file | include/line/solvers/ldes/ldes_ln_engine.h |
| The NATIVE LDES engine for LAYERED (LQN) models, the C++ twin of jline/solvers/ldes/handlers/Solver_ssj_ln.java. | |
| file | include/line/solvers/ldes/ldes_region.h |
| Finite capacity regions for the native LDES engine. | |
| file | include/line/solvers/ldes/ldes_sampler.h |
| The variate generators of the native LDES engine. | |
| file | include/line/solvers/ldes/ldes_spn.h |
| The Petri-net layer of the native LDES engine: Places and Transitions. | |
| file | include/line/solvers/ldes/ldes_ssj_variates.h |
| The variate layer of the Java LDES engine, reproduced: SSJ's randvar generators as inverse-CDF functions of one uniform. | |
| file | include/line/solvers/ldes/ldes_station.h |
| The scheduling disciplines of the native LDES engine. | |
| file | include/line/solvers/ldes/ldes_stats.h |
| The estimators of the native LDES engine: running integrals, the MSER-5 warmup filter, and the batch-means confidence intervals. | |
| file | include/line/solvers/ln/lqn_analyzers.h |
| The @SolverLN methods that solver_ln.h does not carry. | |
| file | include/line/solvers/ln/lqn_helpers.h |
| Standalone LQN routines that SolverLN needs but does not contain. | |
| file | include/line/solvers/ln/solver_ln.h |
| SolverLN: layered decomposition of a layered queueing network. | |
| file | include/line/solvers/mam/mam_dispatch.h |
| Port of solver_mam_analyzer.m: one inner solve, choosing the analyzer that fits the model and the requested method. | |
| file | include/line/solvers/mam/mam_types.h |
| The option and result types SolverMAM shares with its analyzers. | |
| file | include/line/solvers/mam/solver_mam_basic.h |
| Port of solver_mam_basic.m, the dec.source analyzer and the default algorithm of SolverMAM. | |
| file | include/line/solvers/mam/solver_mam_basic_mmap.h |
| Port of solver_mam_basic_mmap.m, solver_mam_basic_mmap_inner.m and solver_mam_basic_mmap_closed.m: the MMAP fork-join decomposition, reached as the dec.source.mmap method and as branch 2b of the dispatch (every open fork-join model that is not in the homogeneous class solver_mam_fj serves). | |
| file | include/line/solvers/mam/solver_mam_bgchain.h |
| Port of solver_mam_bgchain.m and its three helpers: the analyzer that treats the CLOSED classes as a background modulating chain and the OPEN classes as matrix-analytic queues driven by it. | |
| file | include/line/solvers/mam/solver_mam_bmap.h |
| The batch-arrival and batch-service queues of the MAM solver, and the two finite-capacity helpers solver_mam_basic.m shares with them: solver_mam_bmap_map_1.m, solver_mam_map_bmap_1.m, mam_detect_mmck.m and mam_truncate_renorm.m. | |
| file | include/line/solvers/mam/solver_mam_decmmap.h |
| Port of solver_mam.m, the dec.mmap method: the per-class departure-process decomposition. | |
| file | include/line/solvers/mam/solver_mam_dt.h |
| Port of solver_mam_dt.m: discrete-time (slotted) analysis of an open network whose interarrival and service laws all live on the slot lattice. | |
| file | include/line/solvers/mam/solver_mam_fj.h |
| Port of solver_mam_fj.m, the fork-join route of SolverMAM. | |
| file | include/line/solvers/mam/solver_mam_ldqbd.h |
| Port of solver_mam_ldqbd.m: the level-dependent QBD analyzer for a single-class network of one infinite server and one FCFS queue. | |
| file | include/line/solvers/mam/solver_mam_ldqbd_flatten.h |
| The two reductions that let an LD-QBD stand in for an enumerated CTMC. | |
| file | include/line/solvers/mam/solver_mam_ldqbd_transient.h |
| Port of solver_mam_ldqbd_transient.m: transient queue length, utilization and throughput of a single-class OPEN queue, and the fast path behind getTranAvg. | |
| file | include/line/solvers/mam/solver_mam_mapmap1_exact.h |
| Port of solver_mam_mapmap1_exact.m: the exact fast path SolverMAM tries BEFORE anything else, for a single-class open Source -> FCFS Queue -> Sink model whose arrival or service is a genuinely CORRELATED MAP. | |
| file | include/line/solvers/mam/solver_mam_passage_time.h |
| Port of solver_mam_passage_time.m: the response-time (sojourn-time) distribution of a single open queue, which is what getCdfRespT, getSjrnT / sjrnT and the CDF path of getPerctRespT return. | |
| file | include/line/solvers/mam/solver_mam_prob.h |
| Port of @@SolverMAM/getProb.m and @@SolverMAM/getProbMarg.m: the joint (level, phase) and marginal queue-length distributions at the model's single queue, plus @@SolverMAM/getMAMResult.m, which exposes the matrix-analytic internals themselves. | |
| file | include/line/solvers/mam/solver_mam_retrial.h |
| Port of solver_mam_retrial.m, the customer-impatience analyzer of SolverMAM. | |
| file | include/line/solvers/mam/solver_mam_runner.h |
| The SolverMAM class surface: @@SolverMAM/runAnalyzer.m and the gates around it. | |
| file | include/line/solvers/mam/solver_mam_traffic.h |
| Port of solver_mam_traffic.m and solver_mam_traffic_mmap.m: the traffic step of the dec.mmap decomposition. | |
| file | include/line/solvers/mam/solver_mam_transient_qbd.h |
| Transient analysis of a single-class open queue by the Laplace-domain transient QBD plus numerical inverse Laplace, the port of matlab/src/solvers/MAM/solver_mam_transient_qbd.m. | |
| file | include/line/solvers/mam/solver_mna.h |
| Port of solver_mna_open.m and solver_mna_closed.m, the two analyzers behind SolverMAM's mna method. | |
| file | include/line/solvers/mva/fj_driver.h |
| The fork-join fixed point that drives one inner MVA solve. | |
| file | include/line/solvers/mva/fj_ht.h |
| The Heidelberger-Trivedi fork-join transform, options.config.fork_join='ht'. | |
| file | include/line/solvers/mva/fj_mmt.h |
| The fork-join transform SolverMVA applies before solving a layer that contains a Fork. | |
| file | include/line/solvers/mva/mva_dispatch.h |
| Port of @@SolverMVA/mvaDispatch.m: one inner solve, choosing the analyzer that fits the model. | |
| file | include/line/solvers/mva/mva_types.h |
| The option and result types every MVA analyzer shares. | |
| file | include/line/solvers/mva/sn_chain.h |
| Chain aggregation and de-aggregation. | |
| file | include/line/solvers/mva/solver_mapqn.h |
| SolverMVA method 'amva.mapqn': the horizontal-cut mean value analysis (mapqn_amva) of a closed multiclass model with one exponential delay station and one FCFS single-server queue whose class-r service is a MAP. | |
| file | include/line/solvers/mva/solver_mva.h |
| SolverMVA over a SolverLN layer. | |
| file | include/line/solvers/mva/solver_mva_cache.h |
| The non-reentrant cache analyzer: a Source-Cache-Sink model. | |
| file | include/line/solvers/mva/solver_mva_cacheqn.h |
| Integrated caching-queueing analyzer, a port of matlab/src/solvers/MVA/solver_mva_cacheqn_analyzer.m. | |
| file | include/line/solvers/mva/solver_mva_cacheqn_retrieval.h |
| Port of solver_mva_cacheqn_retrieval_analyzer.m: a CLOSED integrated cache-queueing model whose Cache carries a delayed-hit retrieval system. | |
| file | include/line/solvers/mva/solver_mva_oi.h |
| Exact mean-value analysis for networks with order-independent stations. | |
| file | include/line/solvers/mva/solver_mva_polling.h |
| The multiclass open polling analyzer (ladder branch 5). | |
| file | include/line/solvers/mva/solver_mva_prob.h |
| The state-probability half of the SolverMVA class surface. | |
| file | include/line/solvers/mva/solver_mva_retrieval.h |
| Delayed-hit (retrieval-system) cache analyzer, a port of matlab/src/solvers/MVA/solver_mva_retrieval_analyzer.m. | |
| file | include/line/solvers/mva/solver_mva_runner.h |
| The SolverMVA class surface: @@SolverMVA/runAnalyzer.m and the gates around it. | |
| file | include/line/solvers/mva/solver_mva_sjn.h |
| Closed networks with shortest-job-next (SJF) stations, ladder branch 0. | |
| file | include/line/solvers/mva/solver_mvac.h |
| MVAC, exact mean value analysis BY CHAIN (Conway, de Souza e Silva and Lavenberg, IEEE Trans. | |
| file | include/line/solvers/mva/solver_qna.h |
| QNA, the two-moment open-network decomposition analyzer. | |
| file | include/line/solvers/mva/solver_rqna.h |
| Robust Queueing Network Analyzer (RQNA), a port of matlab/src/solvers/MVA/solver_rqna.m. | |
| file | include/line/solvers/mva/solver_rqt.h |
| Robust Queueing Network Analyzer (RQNA) of Robust Queueing Theory, a port of matlab/src/solvers/MVA/solver_rqt.m, cross-checked against jar/src/main/java/jline/solvers/mva/handlers/Solver_rqt.java. | |
| file | include/line/solvers/nc/nc_dispatch.h |
| Port of solver_nc_analyzer.m, solver_ncld_analyzer.m and @@SolverNC/ncDispatch.m: one inner solve, choosing the analyzer that fits. | |
| file | include/line/solvers/nc/nc_types.h |
| Controls and result shape shared by the normalizing-constant analyzers. | |
| file | include/line/solvers/nc/sn_pf_params.h |
| Port of matlab/src/api/sn/sn_get_product_form_params.m: the CLASS-level product-form parameters. | |
| file | include/line/solvers/nc/solver_nc.h |
| Port of solver_nc.m: the load-INDEPENDENT normalizing-constant analyzer. | |
| file | include/line/solvers/nc/solver_nc_busyp.h |
| Port of @SolverNC/getAvgBusyPeriod.m and of the Python-native SolverNC.getAvgBusyPeriod: the mean busy period of order n for a set of stations, from pfqn_busyp (Daduna, J. | |
| file | include/line/solvers/nc/solver_nc_cache.h |
| Port of solver_nc_cache_analyzer.m: the NON-REENTRANT cache, a model that is exactly a Source, a Cache and a Sink. | |
| file | include/line/solvers/nc/solver_nc_cacheqn.h |
| Port of solver_nc_cacheqn_analyzer.m: the INTEGRATED caching-queueing network, where a Cache sits inside a queueing network rather than between a Source and a Sink. | |
| file | include/line/solvers/nc/solver_nc_cacheqn_retrieval.h |
| Port of solver_nc_cacheqn_retrieval_analyzer.m: a CLOSED integrated cache-queueing model whose Cache carries a delayed-hit retrieval system. | |
| file | include/line/solvers/nc/solver_nc_cdf.h |
| Port of @@SolverNC/getCdfRespT.m, and of its two aliases getSjrnT and sjrnT. | |
| file | include/line/solvers/nc/solver_nc_conv.h |
| Exact convolution analysis of a closed network with class-dependent service rates. | |
| file | include/line/solvers/nc/solver_nc_dps.h |
| Heavy-usage asymptotic analysis of the closed two-station network with one think (infinite-server) station and one discriminatory processor-sharing station, by the generating-function expansion of J.A. | |
| file | include/line/solvers/nc/solver_nc_dt.h |
| Exact normalizing-constant analysis of a discrete-time (slotted) model. | |
| file | include/line/solvers/nc/solver_nc_lcfsqn.h |
| The two-station LCFS + LCFS-PR closed network. | |
| file | include/line/solvers/nc/solver_nc_lossn.h |
| Port of solver_nc_lossn_analyzer.m: the open LOSS NETWORK, which is a Source, ONE multiclass Delay sitting inside a Finite Capacity Region under a DROP rule, and a Sink. | |
| file | include/line/solvers/nc/solver_nc_mem.h |
| Port of solver_nc_mem.m and solver_nc_mem_supports.m: the Maximum Entropy Method of Kouvatsos (1994). | |
| file | include/line/solvers/nc/solver_nc_oi.h |
| Order-independent (OI) and pass-and-swap (P&S) normalizing-constant analysis. | |
| file | include/line/solvers/nc/solver_nc_prob.h |
| The state-probability half of the SolverNC class surface: ports of solver_nc_marg.m, solver_nc_margaggr.m, solver_nc_joint.m, solver_nc_jointaggr.m and solver_nc_jointaggr_ld.m, with the five @@SolverNC/getProb* entry points on top of them. | |
| file | include/line/solvers/nc/solver_nc_retrieval.h |
| Port of solver_nc_retrieval_analyzer.m: the OPEN delayed-hit (retrieval-system) cache. | |
| file | include/line/solvers/nc/solver_nc_runner.h |
| The SolverNC class surface: @@SolverNC/runAnalyzer.m and the gates around it. | |
| file | include/line/solvers/nc/solver_nc_sdr.h |
| Exact product-form analysis under state-dependent routing. | |
| file | include/line/solvers/nc/solver_nc_spn.h |
| Stationary analysis of a PRODUCT-FORM stochastic Petri net by MDD-rec. | |
| file | include/line/solvers/nc/solver_ncld.h |
| Port of solver_ncld.m: the LOAD-DEPENDENT normalizing-constant analyzer. | |
| file | include/line/solvers/sens/solver_sens_table.h |
| Performance sensitivities with respect to service rates. | |
| file | include/line/solvers/solver.h |
| The solver API a user writes, spelled as its Python twin. | |
| file | include/line/solvers/solver_chain_tables.h |
| The CHAIN-level and SYSTEM-level views of a solved model. | |
| file | include/line/solvers/solver_default_cdf.h |
| The base-class fallback for a response-time CDF. | |
| file | include/line/solvers/solver_node_tables.h |
| The NODE-indexed view of a station result, behind getAvgNodeTable. | |
| file | include/line/solvers/solver_options.h |
| The keyword arguments a solver takes, as one struct. | |
| file | include/line/solvers/ssa/solver_ssa_getters.h |
| The SolverSSA queries that are not the average table: getProb, getProbAggr, getProbSys, getProbSysAggr, and the four samplers sample, sampleAggr, sampleSys, sampleSysAggr. | |
| file | include/line/solvers/ssa/solver_ssa_nrm.h |
| SolverSSA, the nrm method: a port of solver_ssa_nrm.m and its analyzer solver_ssa_analyzer_nrm.m. | |
| file | include/line/solvers/ssa/solver_ssa_nrm_space.h |
| SolverSSA, the EXPLICIT STATE SPACE variant of the Next Reaction Method: a port of solver_ssa_nrm_space.m and of the else branch of solver_ssa_analyzer_nrm.m that consumes it, together with solver_ssa_findenabled.m. | |
| file | include/line/solvers/ssa/solver_ssa_parallel.h |
| SolverSSA, the para / parallel method: a port of solver_ssa_analyzer_parallel.m. | |
| file | include/line/solvers/ssa/solver_ssa_serial.h |
| SolverSSA, the serial method: a port of solver_ssa_reachability.m, of the run loop of solver_ssa.m, and of solver_ssa_analyzer_serial.m. | |
| file | include/line/solvers/ssa/ssa_dispatch.h |
| The SolverSSA entry surface: a port of @@SolverSSA/runAnalyzer.m's method whitelist, of solver_ssa_analyzer.m's eligibility gate (isNrmEligible and the per-feature *NrmOK predicates) and of solver_ssa_analyzer_nrm.m's own scheduling validation. | |
| file | include/line/solvers/ssa/ssa_event_cache.h |
| Port of EventCache.m and of the lookup that State.afterEvent performs against it (afterEvent.m lines 24-44 and its write-back sites). | |
| file | include/line/solvers/ssa/ssa_types.h |
| Controls, results and the random source of SolverSSA. | |
| file | include/line/solvers/tr/fj_tag_transform.h |
| Fork-join TAG AUGMENTATION: the fold-back half of the transform/lift pair that CTMC and SSA share. | |
| file | include/line/solvers/tr/transform_solve.h |
| Solver-agnostic driver of a model TRANSFORMATION, the sibling of solvers/mva/fj_driver.h. | |
| file | include/line/solvers/uq/solver_uq.h |
| SolverUQ: uncertainty quantification by expansion over a Prior. | |
| file | include/line/solvers/uq/uq_dispatch.h |
| The stage solver of SolverUQ, named rather than passed. | |
| file | include/line/solvers/wrappers/jmt/jmt_logs.h |
| The log-driven half of SolverJMT: linkAndLog, parseLogs, parseTranState, parseTranRespT, sampleAggr, sampleSysAggr, getProbAggr, getProbSysAggr, getCdfRespT and getTranProbAggr. | |
| file | include/line/solvers/wrappers/jmt/solver_jmt.h |
| Port of SolverJMT, the Java Modelling Tools client. | |
| file | include/line/solvers/wrappers/ldes/ldes_options.h |
| The option and result records of SolverLDES, the discrete-event simulator. | |
| file | include/line/solvers/wrappers/ldes/ldes_probe.h |
| Where the LDES engine is, and whether this machine can run it. | |
| file | include/line/solvers/wrappers/ldes/solver_ldes.h |
| Port of SolverLDES, the discrete-event simulator, as its C++ client. | |
| file | include/line/solvers/wrappers/lqns/lqns_probe.h |
| Is a usable lqns installed on this machine? | |
| file | include/line/solvers/wrappers/lqns/solver_lqns.h |
| SolverLQNS: the layered model solved by the external lqns / lqsim binaries. | |
| file | include/line/solvers/wrappers/qns/solver_qns.h |
| Port of @@SolverQNS, the wrapper around qnsolver of the RADS/LQNS distribution. | |
line/solvers – MVA, NC, CTMC, fluid, MAM, SSA, LDES, LN, ENV, BA, UQ and AUTO, plus the wrappers that drive JMT, LQNS and qnsolver.
1.18.0