- 生成于 , 为 LMCAS使用
1.18.0
|
LMCAS
Lamina Computer Algebra System
|
成员的完整列表，这些成员属于 LMCAS::InferenceEngine::Impl,包括所有继承而来的类成员
| absolute_domain(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Domain target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| absolute_sign(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| accumulate_product_sign(const InferenceEngine &engine, const std::shared_ptr< const SymbolicNode > &operand, std::uint8_t &possible, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| accumulate_sum_relation_sign(const std::shared_ptr< const SymbolicNode > &operand, const SymbolicExpr &zero_expr, bool &all_gt_zero, bool &all_geq_zero, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| add_deduced(InferenceEngine &engine, const SymbolicExpr &new_lhs, const SymbolicExpr &new_rhs, RelationStore &store, PropertyStore &prop_store, int depth) const | LMCAS::InferenceEngine::Impl | |
| arctangent_domain(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Domain target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| collect_node_exponent(const std::shared_ptr< const SymbolicNode > &node, const std::string &lhs_name, const std::string &rhs_name, std::unordered_set< int > &exponents) | LMCAS::InferenceEngine::Impl | static |
| collect_power_exponents(const RelationStore &store, const std::string &lhs_name, const std::string &rhs_name) | LMCAS::InferenceEngine::Impl | static |
| composite_integer(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| composite_negative(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| composite_nonnegative(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| composite_nonpositive(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| composite_nonzero(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| composite_positive(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| composite_real(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| ctx | LMCAS::InferenceEngine::Impl | |
| current_depth | LMCAS::InferenceEngine::Impl | mutable |
| deduce_function_relation(InferenceEngine &engine, const VariableNode &lhs, const VariableNode &rhs, FunctionNode::FuncType type, RelationStore &store, PropertyStore &prop_store, int depth) const | LMCAS::InferenceEngine::Impl | |
| deduce_power_relations(InferenceEngine &engine, const VariableNode &lhs, const VariableNode &rhs, RelationStore &store, PropertyStore &prop_store, int depth) const | LMCAS::InferenceEngine::Impl | |
| even_power_sign(const InferenceEngine &engine, const SymbolicExpr &base_expr, const NumberNode &exponent, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| exponential_domain(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Domain target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| exponential_sign(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| function_domain(const InferenceEngine &engine, FunctionNode::FuncType type, const SymbolicExpr &argument, Domain target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| function_monotonicity(const FunctionNode &func, const std::string &var, const Interval &interval) | LMCAS::InferenceEngine::Impl | static |
| function_sign(const InferenceEngine &engine, FunctionNode::FuncType type, const SymbolicExpr &argument, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| has_negated_operand(const AddNode &node, ComputationContext &context) | LMCAS::InferenceEngine::Impl | static |
| Impl(const AssumptionContext &context) | LMCAS::InferenceEngine::Impl | inlineexplicit |
| integer_power_sign(const InferenceEngine &engine, const SymbolicExpr &base_expr, const NumberNode &exponent, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| integral_power_domain(const InferenceEngine &engine, const SymbolicExpr &base, const NumberNode &exponent, Domain target, ComputationContext &context) | LMCAS::InferenceEngine::Impl | static |
| known_sign(int value, Sign target) | LMCAS::InferenceEngine::Impl | static |
| logarithm_domain(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Domain target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| logarithm_monotonicity(const Interval &interval) | LMCAS::InferenceEngine::Impl | static |
| logarithm_sign(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| max_depth | LMCAS::InferenceEngine::Impl | |
| multiply_domain(const InferenceEngine &engine, const MultiplyNode &node, Domain target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| natural_number(const NumberNode &num) | LMCAS::InferenceEngine::Impl | static |
| nonnegative_sign(Sign target) | LMCAS::InferenceEngine::Impl | static |
| nonzero_power_sign(const InferenceEngine &engine, const SymbolicExpr &base_expr, const NumberNode &exponent, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| number_integer(const NumberNode &num) | LMCAS::InferenceEngine::Impl | static |
| number_negative(const NumberNode &num) | LMCAS::InferenceEngine::Impl | static |
| number_nonnegative(const NumberNode &num) | LMCAS::InferenceEngine::Impl | static |
| number_nonpositive(const NumberNode &num) | LMCAS::InferenceEngine::Impl | static |
| number_nonzero(const NumberNode &num) | LMCAS::InferenceEngine::Impl | static |
| number_positive(const NumberNode &num) | LMCAS::InferenceEngine::Impl | static |
| operand_sign(const std::shared_ptr< const SymbolicNode > &operand, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| positive_integer_power_sign(const InferenceEngine &engine, const SymbolicExpr &base_expr, const NumberNode &exponent, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| positive_power_sign(const InferenceEngine &engine, const SymbolicExpr &base_expr, const SymbolicExpr &exp_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| positive_relation_chain(const SymbolicExpr &expr, const SymbolicExpr &zero_expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| product_parity_sign(std::uint8_t possible, Sign target) | LMCAS::InferenceEngine::Impl | static |
| product_relation_sign(const MultiplyNode &mul, const SymbolicExpr &zero_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| product_sign(const InferenceEngine &engine, const MultiplyNode &node, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| query_natural(const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| query_rational(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| query_zero(const InferenceEngine &engine, const SymbolicExpr &expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| quotient_sign(const InferenceEngine &engine, const SymbolicExpr &num_expr, const SymbolicExpr &den_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| real_definedness(const InferenceEngine &engine, const SymbolicNode &node, ComputationContext &context) | LMCAS::InferenceEngine::Impl | static |
| real_or_integer(const InferenceEngine &engine, const SymbolicExpr &arg_expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| relation_rhs_nonnegative(const Relation &rel, const SymbolicExpr &zero_expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| small_positive_exponent(const std::shared_ptr< const NumberNode > &number) | LMCAS::InferenceEngine::Impl | static |
| square_root_domain(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Domain target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| square_root_sign(const InferenceEngine &engine, const SymbolicExpr &arg_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| subtraction_sign(const InferenceEngine &engine, const SymbolicExpr &minuend_expr, const SymbolicExpr &subtrahend_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| subtrahend(const std::shared_ptr< const SymbolicNode > &operand, ComputationContext &context) | LMCAS::InferenceEngine::Impl | static |
| sum_nonzero(const InferenceEngine &engine, const AddNode &add, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| sum_relation_sign(const AddNode &add, const SymbolicExpr &zero_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| sum_sign(const InferenceEngine &engine, const AddNode &node, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| trigonometric_sign(const InferenceEngine &engine, const SymbolicExpr &arg_expr, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| visited | LMCAS::InferenceEngine::Impl | mutable |
| weak_subtraction_sign(const InferenceEngine &engine, const SymbolicExpr &minuend_expr, const SymbolicExpr &subtrahend_expr, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl | |
| zero_power_sign(const InferenceEngine &engine, const SymbolicExpr &base_expr, const NumberNode *exp_num, Sign target, ComputationContext &context) const | LMCAS::InferenceEngine::Impl |
1.18.0