interval.hpp 文件参考

区间与区间并集 IntervalUnion，用于不等式解集表示。 更多...

#include "computation_context.hpp"
#include "symbolic.hpp"
#include <vector>
#include <string>
#include <memory>
#include <optional>

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

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

枚举
enum class	LMCAS::InequalityType { LMCAS::GreaterThan , LMCAS::GreaterEqual , LMCAS::LessThan , LMCAS::LessEqual }
	不等式类型 更多...

函数
class	LMCAS::__attribute__ ((visibility("default"))) AssumptionContext
	Scoped assumption context with push/pop management.
__attribute__((visibility("default"))) Result< EqvProfile > eqv_profile_from_name(const std	LMCAS::__attribute__ ((visibility("default"))) BerlekampResult berlekamp_factor(const Polynomial< Rational > &poly
	Berlekamp 模素数分解(内部接口).

详细描述

区间与区间并集 IntervalUnion，用于不等式解集表示。

在文件 interval.hpp 中定义.