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

函数
bool	has_value_declaration (const PropertyStore &properties, const std::string &symbol)
bool	has_visible_proof (const std::vector< std::array< std::size_t, 2 > > &alternatives, const std::vector< bool > &visible, detail::RewriteBudget &budget)

函数说明

has_value_declaration()

bool LMCAS::anonymous_namespace{assumption_context.cpp}::has_value_declaration	(	const PropertyStore &	properties,
		const std::string &	symbol )

在文件 assumption_context.cpp 第 13 行定义.

                                                                                     {
    return !properties.get_signs(symbol).empty() ||
        properties.get_domain(symbol) != Domain::Complex ||
        properties.get_parity(symbol) != Parity::Unknown ||
        properties.get_boundedness(symbol) != Boundedness::Unknown ||
        properties.get_finiteness(symbol) != Finiteness::Unknown;
}

引用了 LMCAS::Complex, has_value_declaration() , 以及 LMCAS::Unknown.

被这些函数引用 has_value_declaration().

函数调用图:

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

has_visible_proof()

bool LMCAS::anonymous_namespace{assumption_context.cpp}::has_visible_proof	(	const std::vector< std::array< std::size_t, 2 > > &	alternatives,
		const std::vector< bool > &	visible,
		detail::RewriteBudget &	budget )

在文件 assumption_context.cpp 第 21 行定义.

                                                                 {
    for (const auto& premises : alternatives) {
        auto step = budget.context().consume_steps(1, "assumption.relations");
        if (!step) throw step.error();
        if (visible[premises[0]] && visible[premises[1]]) return true;
    }
    return false;
}

引用了 LMCAS::ComputationContext::consume_steps(), LMCAS::detail::RewriteBudget::context(), LMCAS::Result< void >::error() , 以及 has_visible_proof().

被这些函数引用 has_visible_proof().

函数调用图:

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