inference_engine.hpp 文件参考

InferenceEngine class for deriving properties of composite expressions. 更多...

#include "assumption.hpp"
#include "symbolic.hpp"
#include "relation_store.hpp"
#include "result.hpp"
#include <memory>
#include <optional>

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

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

类型定义
using	LMCAS::InferencePeriodResult = Result<std::optional<SymbolicExpr>>
using	LMCAS::InferenceTriboolResult = Result<Tribool>

详细描述

InferenceEngine class for deriving properties of composite expressions.

Analyzes arithmetic and function expressions to infer sign, domain, and boundedness properties from their sub-expressions.

在文件 inference_engine.hpp 中定义.