inference_engine_impl.hpp 文件参考

#include "assumption_context.hpp"
#include "computation_context.hpp"
#include "inference_engine.hpp"
#include "interval.hpp"
#include "numeric_evaluation.hpp"
#include "property_store.hpp"
#include "relation_store.hpp"
#include "internal/symbolic_ast.hpp"
#include <algorithm>
#include <climits>
#include <cstdint>
#include <functional>
#include <optional>
#include <unordered_set>

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

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

浏览该文件的源代码.

类
class	LMCAS::InferenceEngine::DepthGuard
struct	LMCAS::InferenceEngine::Impl

命名空间
namespace	LMCAS

函数
template<typename T>
Result< T >	LMCAS::checked_inference_result (const SymbolicExpr &expr, const std::string &operation, ComputationContext &context, const std::function< Result< T >()> &query)
int	LMCAS::infinity_sign (const SymbolicExpr &expression, ComputationContext &context)
bool	LMCAS::is_even_integer_number (const NumberNode &num)
bool	LMCAS::is_integer_number (const NumberNode &num)
bool	LMCAS::is_negative_infinity_coefficient (const NumberNode &number)
bool	LMCAS::is_positive_integer_number (const NumberNode &num)
bool	LMCAS::is_zero_number (const NumberNode &num)