solve_solution_finalization.cpp 文件参考

#include <stdexcept>
#include "internal/expression_transform.hpp"
#include "internal/transcendental_solver_support.hpp"
#include "assumption_context.hpp"
#include "root_of_utils.hpp"
#include "residual_verification.hpp"
#include "internal/assumption_facts.hpp"
#include "internal/expression_analysis.hpp"

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

浏览该文件的源代码.

类
class	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::SolutionFinalizer

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

函数
void	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::append_condition (std::vector< ExprPtr > &conditions, const ExprPtr &condition)
Result< void >	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::apply_root_representation_policy (ExprPtr &root, const SolveOptions &options)
Result< Tribool >	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::equality_condition_truth (const ExprPtr &difference, Tribool nonzero, RelationOp op, ComputationContext &context)
ExprPtr	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::equation_predicate (const ExprPtr &expression)
ExprPtr	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::equation_residual (const ExprPtr &expression)
Result< Tribool >	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::logical_condition_truth (const LogicalNode &logic, const FactsQuery &facts, ComputationContext &context)
Tribool	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::negate_truth (Tribool value)
Result< Tribool >	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::relational_condition_truth (const ExprPtr &expression, const RelationalNode &relation, const FactsQuery &facts, ComputationContext &context)
Result< Tribool >	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::solve_condition_truth (const ExprPtr &expression, const FactsQuery &facts, ComputationContext &context)
ExprPtr	LMCAS::anonymous_namespace{solve_solution_finalization.cpp}::substitute_raw (const ExprPtr &expression, const std::string &variable, const ExprPtr &value)