parametric_solver_branches.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "parametric_solver.hpp"
#include "solver.hpp"
#include "solve_strategies.hpp"
#include "poly_utils.hpp"
#include "internal/symbolic_ast.hpp"
#include "residual_verification.hpp"
#include "internal/assumption_facts.hpp"
#include <algorithm>
#include <limits>

parametric_solver_branches.cpp 的引用(Include)关系图:

浏览该文件的源代码.

类
class	LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBranchSolver

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

类型定义
using	LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricAssignment = std::map<std::string, std::shared_ptr<SymbolicExpr>>
using	LMCAS::anonymous_namespace{parametric_solver_branches.cpp}::ParametricBasis = std::vector<std::shared_ptr<SymbolicExpr>>

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