LMCAS::detail::anonymous_namespace{assumption_simplification.cpp} 命名空间参考

函数
template<typename Transform>
ExpressionResult	assumed_transform (const ExprPtr &expression, ComputationContext &context, const char *operation, const char *name, Transform &&transform)

函数说明

assumed_transform()

template<typename Transform>

ExpressionResult LMCAS::detail::anonymous_namespace{assumption_simplification.cpp}::assumed_transform	(	const ExprPtr &	expression,
		ComputationContext &	context,
		const char *	operation,
		const char *	name,
		Transform &&	transform )

在文件 assumption_simplification.cpp 第 17 行定义.

                                                          {
    return checked_transform_expr(
        expression, context, operation, name,
        [&](const SymbolicExpr& value) {
            RewriteBudget budget(context, context.limits().max_recursion_depth,
                                 context.limits().max_ast_nodes, operation);
            std::optional<AssumptionFacts> facts;
            if (context.assumptions()) { facts.emplace(*context.assumptions()); }
            return make_expression_ptr(transform(
                node(value), budget, facts ? static_cast<const FactsQuery&>(*facts) : no_facts()));
        });
}

引用了 assumed_transform(), LMCAS::detail::budget, LMCAS::detail::checked_transform_expr(), LMCAS::detail::context, LMCAS::detail::facts, LMCAS::detail::make_expression_ptr(), LMCAS::name, LMCAS::detail::no_facts(), LMCAS::detail::node(), LMCAS::detail::operation , 以及 LMCAS::value.

被这些函数引用 assumed_transform().

函数调用图:

这是这个函数的调用关系图: