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 <limits>
#include <map>
#include <sstream>
#include <utility>
#include "line/solvers/auto/auto_methods.h"
#include "line/solvers/auto/solver_auto.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_prob.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/mam/solver_mam_runner.h"
#include "line/solvers/mva/solver_mva_runner.h"
#include "line/solvers/nc/solver_nc_runner.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/solvers/wrappers/ldes/solver_ldes.h"

Include dependency graph for solver_facade.cpp:

Go to the source code of this file.

Namespaces
namespace	line

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.