|
LMCAS
Lamina Computer Algebra System
|
#include "internal/inference_engine_impl.hpp"#include "internal/assumption_facts.hpp"#include <cstdint>命名空间 | |
| namespace | LMCAS |
| namespace | LMCAS::anonymous_namespace{inference_engine_product.cpp} |
宏定义 | |
| #define | _USE_MATH_DEFINES |
函数 | |
| std::uint8_t | LMCAS::anonymous_namespace{inference_engine_product.cpp}::multiply_sign_sets (std::uint8_t left, std::uint8_t right) |
| std::uint8_t | LMCAS::anonymous_namespace{inference_engine_product.cpp}::sign_set (Sign target) |
变量 | |
| constexpr std::uint8_t | LMCAS::anonymous_namespace{inference_engine_product.cpp}::all_signs = 7 |
| constexpr std::uint8_t | LMCAS::anonymous_namespace{inference_engine_product.cpp}::negative_sign = 1 |
| constexpr std::uint8_t | LMCAS::anonymous_namespace{inference_engine_product.cpp}::positive_sign = 4 |
| constexpr std::uint8_t | LMCAS::anonymous_namespace{inference_engine_product.cpp}::zero_sign = 2 |
| #define _USE_MATH_DEFINES |
在文件 inference_engine_product.cpp 第 1 行定义.