solver_facade.cpp File Reference

The one translation unit that instantiates the solver stack for the facade. More...

#include "line/solvers/solver.h"
#include <algorithm>
#include <cctype>
#include <cstdio>
#include <iomanip>
#include <iostream>
#include <limits>
#include <map>
#include <set>
#include <sstream>
#include <utility>
#include "line/api/sn/sn_fj_nodevisits_mmt.h"
#include "line/api/sn/sn_zero_capacity.h"
#include "line/solvers/auto/auto_methods.h"
#include "line/solvers/auto/solver_auto.h"
#include "line/lang/qn/nodes.h"
#include "line/solvers/ag/ag_dispatch.h"
#include "line/solvers/ba/solver_ba_runner.h"
#include "line/solvers/ctmc/solver_ctmc_analyzer.h"
#include "line/solvers/ctmc/solver_ctmc_cdf.h"
#include "line/solvers/ctmc/solver_ctmc_getters.h"
#include "line/solvers/ctmc/solver_ctmc_mdd_analyzer.h"
#include "line/solvers/ctmc/solver_ctmc_prob.h"
#include "line/solvers/ctmc/solver_ctmc_symbolic.h"
#include "line/solvers/ctmc/solver_ctmc_waitq.h"
#include "line/solvers/fluid/fluid_runner.h"
#include "line/solvers/fluid/solver_fluid.h"
#include "line/solvers/map_env.h"
#include "line/solvers/map_env_stages.h"
#include "line/solvers/method_registry.h"
#include "line/solvers/mam/solver_mam_runner.h"
#include "line/solvers/mva/solver_mva_runner.h"
#include "line/solvers/nc/solver_nc_runner.h"
#include "line/solvers/solver_chain_tables.h"
#include "line/solvers/ssa/ssa_dispatch.h"
#include "line/solvers/wrappers/jmt/jmt_logs.h"
#include "line/solvers/wrappers/jmt/solver_jmt.h"
#include "line/lang/qn/state.h"
#include "line/solvers/wrappers/ldes/ldes_warm_start.h"
#include "line/solvers/wrappers/ldes/solver_ldes.h"
#include "line/solvers/wrappers/lqns/lqns_qnsolver.h"

Include dependency graph for solver_facade.cpp:

Go to the source code of this file.

Namespaces
namespace	line
	Conservation laws of a layered queueing network, enumerated from its structure.

Functions
std::ostream &	line::operator<< (std::ostream &out, const AvgTable &table)
std::ostream &	line::operator<< (std::ostream &out, const AvgSysTable &table)
std::ostream &	line::operator<< (std::ostream &out, const AvgChainTable &table)
std::ostream &	line::operator<< (std::ostream &out, const AvgFJTable &table)

Detailed Description

The one translation unit that instantiates the solver stack for the facade.

line/solvers/solver.h declares a double-only, non-template solver API so that this file can carry every body: a caller including that header pays for none of the template instantiation below, and line_mp_api pays for it once for the CLI, the tests and the examples together.

Every entry point forwards to the runner the CLI calls, so a program written against the facade and line-cli -s <solver> on the same model produce the same numbers by construction. Nothing is computed here beyond the reshaping the tables need.

Definition in file solver_facade.cpp.