parametric_solver.hpp 文件参考

含参方程组求解器 ParametricSolver，支持分段解。 更多...

#include "symbolic.hpp"
#include <vector>
#include <map>
#include <string>
#include <memory>

parametric_solver.hpp 的引用(Include)关系图:

此图展示该文件被哪些文件直接或间接地引用了:

浏览该文件的源代码.

类
struct	LMCAS::PiecewiseSolution
	含参方程组的分段解，按参数条件分类 更多...
struct	LMCAS::PiecewiseSolution::Case
	单个分段：参数条件及对应的解集 更多...

命名空间
namespace	LMCAS

类型定义
using	LMCAS::ParametricSolutionList
using	LMCAS::ParametricSolutionsResult = Result<ParametricSolutionList>

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.

详细描述

含参方程组求解器 ParametricSolver，支持分段解。

在文件 parametric_solver.hpp 中定义.

---

类说明

LMCAS::PiecewiseSolution

struct LMCAS::PiecewiseSolution

含参方程组的分段解，按参数条件分类

在文件 parametric_solver.hpp 第 15 行定义.

LMCAS::PiecewiseSolution 的协作图:

类成员
vector< Case >	cases	所有分段