expr_number_domains.cpp 文件参考

#include "expr.hpp"
#include <cmath>
#include <optional>
#include <utility>
#include <vector>
#include "internal/expression_analysis.hpp"
#include "internal/assumption_simplification.hpp"
#include "internal/symbolic_ast.hpp"
#include "root_of_identity.hpp"

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

浏览该文件的源代码.

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

函数
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::bool_failure (CasErrc code, std::string message, const char *operation)
NumberDomainSet	LMCAS::complexes ()
Result< bool >	LMCAS::domain_contains (const NumberDomainSet &domain, const ExprPtr &element)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_complex (NumberDomain domain, const ComplexNode &node)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_fractional_power (NumberDomain domain, const PowerNode &power, const Rational &exponent)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_function (NumberDomain domain, const FunctionNode &function)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_negative_integer_power (NumberDomain domain, const std::shared_ptr< const NumberNode > &base_number, const std::optional< Rational > &exact_base)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_node (NumberDomain domain, const std::shared_ptr< const SymbolicNode > &node)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_number (NumberDomain domain, const NumberNode &number)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_operands (NumberDomain domain, const std::vector< std::shared_ptr< const SymbolicNode > > &operands)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_positive_integer_power (NumberDomain domain, const PowerNode &power)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_power (NumberDomain domain, const PowerNode &power)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_contains_root (NumberDomain domain, const std::shared_ptr< const SymbolicNode > &node)
int	LMCAS::anonymous_namespace{expr_number_domains.cpp}::domain_rank (NumberDomain domain) noexcept
Result< bool >	LMCAS::domain_subset (const NumberDomainSet &lhs, const NumberDomainSet &rhs)
bool	LMCAS::anonymous_namespace{expr_number_domains.cpp}::exact_sqrt_contains (NumberDomain domain, const Rational &value)
NumberDomainSet	LMCAS::expressions ()
bool	LMCAS::anonymous_namespace{expr_number_domains.cpp}::function_preserves_domain (FunctionNode::FuncType type)
Result< bool >	LMCAS::anonymous_namespace{expr_number_domains.cpp}::inconclusive_domain ()
NumberDomainSet	LMCAS::integers ()
bool	LMCAS::anonymous_namespace{expr_number_domains.cpp}::is_undefined_zero_power (const Rational &exponent, const std::shared_ptr< const NumberNode > &base)
NumberDomainSet	LMCAS::rationals ()
NumberDomainSet	LMCAS::reals ()

变量
constexpr const char *	LMCAS::anonymous_namespace{expr_number_domains.cpp}::kNumberDomainOperation = "LMCAS.number_domain"