query_interface.hpp 文件参考

QueryInterface class - unified tri-state query API for property questions on arbitrary expressions. 更多...

#include "assumption.hpp"
#include "symbolic.hpp"
#include "relation_store.hpp"
#include "result.hpp"
#include <unordered_map>
#include <functional>
#include <vector>
#include <utility>
#include <optional>

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

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

浏览该文件的源代码.

类
struct	LMCAS::CacheKey
	由表达式结构哈希、属性和自变量组成缓存键。 更多...
struct	LMCAS::CacheKeyHash
	缓存键哈希，计入周期查询的自变量。 更多...

命名空间
namespace	LMCAS

类型定义
using	LMCAS::QueryPeriodResult = Result<std::optional<SymbolicExpr>>
using	LMCAS::QueryTriboolResult = Result<Tribool>

枚举
enum class	LMCAS::PropType {   LMCAS::Positive , LMCAS::Negative , LMCAS::NonNegative , LMCAS::NonPositive ,   LMCAS::Real , LMCAS::Integer , LMCAS::NonZero , LMCAS::Algebraic ,   LMCAS::Transcendental , LMCAS::Finite , LMCAS::Divergent , LMCAS::Periodic ,   LMCAS::PositiveDefinite , LMCAS::PositiveSemiDefinite }
	Identifies which property is being queried, used as part of the cache key. 更多...

详细描述

QueryInterface class - unified tri-state query API for property questions on arbitrary expressions.

The QueryInterface is the single public entry point for property queries on SymbolicExpr trees. It handles special cases (NaN, Infinity, Matrix, Relational, Logical nodes) and delegates to the InferenceEngine for NumberNode, VariableNode, and composite node queries.

在文件 query_interface.hpp 中定义.