rational.hpp 文件参考

精确有理数 Rational，基于 BigInt 分子/分母表示，自动约分。 更多...

#include "bigint.hpp"
#include "lmcas_export.hpp"
#include "lmmc/config.h"
#include <cstddef>
#include <cstdint>
#include <string>

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

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

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

详细描述

精确有理数 Rational，基于 BigInt 分子/分母表示，自动约分。

在文件 rational.hpp 中定义.