inequality_solver.hpp 文件参考

不等式求解器 InequalitySolver,支持多项式,有理式,参数化不等式. 更多...

#include "computation_context.hpp"
#include "interval.hpp"
#include "polynomial.hpp"
#include "result.hpp"
#include "symbolic.hpp"
#include <vector>
#include <memory>
#include <string>
#include <utility>

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

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

浏览该文件的源代码.

类
struct	LMCAS::SignChartEntry
	符号图条目,记录区间及其上的符号 更多...

命名空间
namespace	LMCAS

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

详细描述

不等式求解器 InequalitySolver,支持多项式,有理式,参数化不等式.

在文件 inequality_solver.hpp 中定义.

---

类说明

LMCAS::SignChartEntry

struct LMCAS::SignChartEntry

符号图条目,记录区间及其上的符号

在文件 inequality_solver.hpp 第 19 行定义.

LMCAS::SignChartEntry 的协作图:

类成员
Interval	interval	区间
int	sign	该区间上表达式的符号(+1, 0, -1)