symbolic_ode.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "symbolic_ode.hpp"
#include "internal/ode_characteristic_roots.hpp"
#include "internal/expression_analysis.hpp"
#include "internal/normalization_utils.hpp"
#include "symbolic_ode_engine.hpp"
#include "internal/symbolic_ast.hpp"
#include "symbolic.hpp"
#include "assumption_context.hpp"
#include "integrator.hpp"
#include "lmmc/config.h"
#include "lmmc/numeric.h"
#include <cmath>
#include <memory>
#include <new>
#include <stdexcept>
#include <string>

symbolic_ode.cpp 的引用(Include)关系图:

浏览该文件的源代码.

命名空间
namespace	LMCAS
namespace	LMCAS::anonymous_namespace{symbolic_ode.cpp}

函数
static Result< bool >	LMCAS::dep_var_is_positive (const std::string &y, const AssumptionContext *ctx, ComputationContext &context)
	Check if the dependent variable is known Positive in the given context.
static std::shared_ptr< SymbolicExpr >	LMCAS::linear2_root_basis (const std::vector< ode_root_detail::CharRoot > &roots, const std::string &x)
static std::shared_ptr< SymbolicExpr >	LMCAS::make_abs (std::shared_ptr< SymbolicExpr > expr)
	Wrap an expression in abs() to signal positive-branch preference.
std::shared_ptr< const SymbolicNode >	LMCAS::anonymous_namespace{symbolic_ode.cpp}::reciprocal_on_regular_region (const std::shared_ptr< const SymbolicNode > &node)
ExprPtr	LMCAS::solve_linear1_ode (ExprPtr Px, ExprPtr Qx, const std::string &x, const std::string &y, const AssumptionContext *ctx)
static Result< std::shared_ptr< SymbolicExpr > >	LMCAS::solve_linear2_homogeneous (double a, double b, double c, const std::string &x, const std::string &y, const AssumptionContext *ctx, ComputationContext &context)
std::shared_ptr< SymbolicExpr >	LMCAS::solve_linear2_ode (double a, double b, double c, std::shared_ptr< SymbolicExpr > fx, const std::string &x, const std::string &y, const AssumptionContext *ctx)
Result< std::shared_ptr< SymbolicExpr > >	LMCAS::solve_linear2_ode_checked (double a, double b, double c, std::shared_ptr< SymbolicExpr > fx, const std::string &x, const std::string &y, ComputationContext &context, const AssumptionContext *ctx)
Result< std::shared_ptr< SymbolicExpr > >	LMCAS::solve_linear2_ode_checked (double a, double b, double c, std::shared_ptr< SymbolicExpr > fx, const std::string &x, const std::string &y, const AssumptionContext *ctx)
ExprPtr	LMCAS::solve_separable_ode (ExprPtr rhs, const std::string &x, const std::string &y, const AssumptionContext *ctx)

变量
constexpr const char *	LMCAS::anonymous_namespace{symbolic_ode.cpp}::kSolveLinear2OdeOperation = "solve_linear2_ode"