|
LMCAS
Lamina Computer Algebra System
|
#include "internal/inference_engine_impl.hpp"#include "internal/interval_endpoint.hpp"#include "internal/normalization_utils.hpp"命名空间 | |
| namespace | LMCAS |
宏定义 | |
| #define | _USE_MATH_DEFINES |
函数 | |
| static std::shared_ptr< const SymbolicNode > | LMCAS::detect_negation (const std::shared_ptr< const SymbolicNode > &node) |
| If the node is multiplication by exactly -1, returns the other operand. | |
| static bool | LMCAS::is_variable_operand (const std::shared_ptr< const VariableNode > &node) |
| #define _USE_MATH_DEFINES |
在文件 inference_engine_monotonicity.cpp 第 1 行定义.