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

类
class	ParametricBranchSolver

类型定义
using	ParametricAssignment = std::map<std::string, std::shared_ptr<SymbolicExpr>>
using	ParametricBasis = std::vector<std::shared_ptr<SymbolicExpr>>

函数
bool	depends_on_remaining_unknown (const SymbolicExpr &expression, const std::vector< std::string > &unknowns, int last)
ParametricSolutionList	free_unknowns (const std::vector< std::string > &unknowns)
Result< Tribool >	parameter_constraint (const ExprPtr &expression, ComputationContext &context)
ParametricBasis	parametric_basis (const std::vector< SymbolicExpr > &input_polys, const std::vector< std::string > &unknowns, ComputationContext &context)
std::vector< SymbolicExpr >	parametric_input_polynomials (const std::vector< std::shared_ptr< SymbolicExpr > > &equations, ComputationContext &context)
std::shared_ptr< SymbolicExpr >	substitute_assignment (const std::shared_ptr< SymbolicExpr > &expression, const ParametricAssignment &assignment, ComputationContext &context)

类型定义说明

ParametricAssignment

using LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricAssignment = std::map<std::string, std::shared_ptr<SymbolicExpr>>

在文件 parametric_solver_branches.cpp 第 15 行定义.

ParametricBasis

using LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBasis = std::vector<std::shared_ptr<SymbolicExpr>>

在文件 parametric_solver_branches.cpp 第 16 行定义.

函数说明

depends_on_remaining_unknown()

bool LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::depends_on_remaining_unknown	(	const SymbolicExpr &	expression,
		const std::vector< std::string > &	unknowns,
		int	last )

在文件 parametric_solver_branches.cpp 第 75 行定义.

                                            {
    for (int index = 0; index <= last && index < static_cast<int>(unknowns.size()); ++index) {
        if (contains(expression, unknowns[index])) {
            return true;
        }
    }
    return false;
}

引用了 LMCAS::contains() , 以及 depends_on_remaining_unknown().

被这些函数引用 depends_on_remaining_unknown(), LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver::reduce_basis() , 以及 LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver::select_target().

函数调用图:

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

free_unknowns()

ParametricSolutionList LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::free_unknowns

(

const std::vector< std::string > &

unknowns

)

在文件 parametric_solver_branches.cpp 第 32 行定义.

                                                                           {
    ParametricAssignment solution;
    for (const auto& variable : unknowns) solution[variable] = SymbolicExpr::variable(variable);
    return {std::move(solution)};
}

引用了 free_unknowns() , 以及 LMCAS::variable.

被这些函数引用 free_unknowns().

函数调用图:

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

parameter_constraint()

Result< Tribool > LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::parameter_constraint	(	const ExprPtr &	expression,
		ComputationContext &	context )

在文件 parametric_solver_branches.cpp 第 18 行定义.

                                                                                             {
    std::optional<detail::AssumptionFacts> assumptions;
    if (context.assumptions()) { assumptions.emplace(*context.assumptions()); }
    const FactsQuery& facts = assumptions ? static_cast<const FactsQuery&>(*assumptions) : detail::no_facts();
    auto nonzero = detail::query_nonzero_value(detail::node(expression), facts, Domain::Complex, context);
    if (!nonzero) { return Result<Tribool>::failure(nonzero.error()); }
    if (nonzero.value() == Tribool::True) { return Tribool::False; }
    if (nonzero.value() == Tribool::False) { return Tribool::True; }
    auto residual = check_zero_residual(expression, context);
    if (!residual) { return Result<Tribool>::failure(residual.error()); }
    return std::holds_alternative<ProvedZeroResidual>(residual.value()) ?
        Tribool::True : Tribool::Unknown;
}

引用了 LMCAS::check_zero_residual(), LMCAS::Complex, LMCAS::context, LMCAS::Result< T >::failure(), LMCAS::False, LMCAS::detail::no_facts(), LMCAS::detail::node(), parameter_constraint(), LMCAS::detail::query_nonzero_value(), LMCAS::True , 以及 LMCAS::Unknown.

被这些函数引用 parameter_constraint(), LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver::reduce_basis() , 以及 LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver::select_target().

函数调用图:

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

parametric_basis()

ParametricBasis LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::parametric_basis	(	const std::vector< SymbolicExpr > &	input_polys,
		const std::vector< std::string > &	unknowns,
		ComputationContext &	context )

在文件 parametric_solver_branches.cpp 第 56 行定义.

                                                                                                    {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    auto G_basis = Solver::groebner_basis(input_polys, unknowns);
 
    std::vector<std::shared_ptr<SymbolicExpr>> basis;
    basis.reserve(G_basis.size());
    for (const auto& g : G_basis) {
        auto g_ptr = LMCAS::detail::make_expression_ptr(g);
        auto simp = detail::make_expression_ptr(detail::normalize_node(detail::node(g_ptr), transform_budget));
        if (simp && !simp->is_zero()) {
            basis.push_back(simp);
        }
    }
    return basis;
}

引用了 LMCAS::basis, LMCAS::context, LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node() , 以及 parametric_basis().

被这些函数引用 parametric_basis().

函数调用图:

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

parametric_input_polynomials()

std::vector< SymbolicExpr > LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::parametric_input_polynomials	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	equations,
		ComputationContext &	context )

在文件 parametric_solver_branches.cpp 第 38 行定义.

                                                                                          {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    std::vector<SymbolicExpr> input_polys;
    input_polys.reserve(equations.size());
    for (const auto& eq : equations) {
        if (eq && LMCAS::detail::node(eq)) {
            auto simplified = detail::make_expression_ptr(detail::normalize_node(detail::node(eq), transform_budget));
            if (simplified && !simplified->is_zero()) {
                input_polys.push_back(*simplified);
            }
        }
    }
    return input_polys;
}

引用了 LMCAS::context, LMCAS::eq(), LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node() , 以及 parametric_input_polynomials().

被这些函数引用 parametric_input_polynomials().

函数调用图:

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

substitute_assignment()

std::shared_ptr< SymbolicExpr > LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::substitute_assignment	(	const std::shared_ptr< SymbolicExpr > &	expression,
		const ParametricAssignment &	assignment,
		ComputationContext &	context )

在文件 parametric_solver_branches.cpp 第 86 行定义.

                                                                                                                        {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    auto result = expression;
    for (const auto& [name, value] : assignment) {
        result = detail::make_expression_ptr(detail::substitute_node(detail::node(result), name, detail::node(value), transform_budget));
        if (!result) {
            return nullptr;
        }
    }
    return detail::make_expression_ptr(detail::normalize_node(detail::node(result), transform_budget));
}

引用了 LMCAS::context, LMCAS::detail::make_expression_ptr(), LMCAS::name, LMCAS::detail::node(), LMCAS::detail::normalize_node(), substitute_assignment(), LMCAS::detail::substitute_node() , 以及 LMCAS::value.

被这些函数引用 LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver::reduce_basis() , 以及 substitute_assignment().

函数调用图:

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