parametric_solver.cpp 文件参考

#include "internal/expression_transform.hpp"
#include "parametric_solver.hpp"
#include "internal/symbolic_ast.hpp"
#include "internal/assumption_facts.hpp"
#include "residual_verification.hpp"
#include <algorithm>
#include <set>
#include <optional>

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

浏览该文件的源代码.

命名空间
namespace	LMCAS

类型定义
using	LMCAS::ParametricMatrix = std::vector<std::vector<std::shared_ptr<SymbolicExpr>>>
using	LMCAS::ParametricVector = std::vector<std::shared_ptr<SymbolicExpr>>

函数
static void	LMCAS::eliminate_parametric_column (ParametricMatrix &A, ParametricVector &b, size_t current_row, size_t col, size_t n, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::extract_coefficient (const std::shared_ptr< SymbolicExpr > &expr, const std::string &var, ComputationContext &context)
static std::shared_ptr< SymbolicExpr >	LMCAS::extract_constant_term (const std::shared_ptr< SymbolicExpr > &expr, const std::vector< std::string > &unknowns, ComputationContext &context)
static size_t	LMCAS::find_parametric_pivot (ParametricMatrix &matrix, size_t row, size_t column, ComputationContext &context)
static std::map< std::string, std::shared_ptr< SymbolicExpr > >	LMCAS::parametric_linear_solution (const ParametricMatrix &A, const ParametricVector &b, const std::vector< size_t > &pivot_cols, const std::vector< size_t > &pivot_rows, const std::vector< std::string > &unknowns, ComputationContext &context)
static Tribool	LMCAS::parametric_nonzero_value (const std::shared_ptr< SymbolicExpr > &expression, ComputationContext &context)
static bool	LMCAS::parametric_residual_zero (const std::shared_ptr< SymbolicExpr > &expression, ComputationContext &context)
static bool	LMCAS::parametric_zero (const std::shared_ptr< SymbolicExpr > &expression, ComputationContext &context)