LMCAS::anonymous_namespace{relation_store.cpp} 命名空间参考

函数
RelationOp	combine_ops (RelationOp op1, RelationOp op2)
	Combine two transitive operators according to the combination rules: GT+GT→GT, GT+GEQ→GT, GEQ+GT→GT, GEQ+GEQ→GEQ.
RelationStoreResult	declare_comparison_sign (const std::string &symbol, RelationOp op, PropertyStore &store)
RelationStoreResult	derive_comparison_sign (const SymbolicExpr &lhs, const SymbolicExpr &rhs, RelationOp op, PropertyStore &store)
bool	expr_equals (const SymbolicExpr &a, const SymbolicExpr &b)
	Check structural equality of two expression roots.
bool	is_transitive_op (RelationOp op)
	Check if an operator participates in transitive closure.

函数说明

combine_ops()

RelationOp LMCAS::anonymous_namespace{relation_store.cpp}::combine_ops	(	RelationOp	op1,
		RelationOp	op2 )

Combine two transitive operators according to the combination rules: GT+GT→GT, GT+GEQ→GT, GEQ+GT→GT, GEQ+GEQ→GEQ.

在文件 relation_store.cpp 第 58 行定义.

                                                       {
    if (op1 == RelationOp::GEQ && op2 == RelationOp::GEQ) {
        return RelationOp::GEQ;
    }
    return RelationOp::GT;
}

引用了 combine_ops(), LMCAS::GEQ , 以及 LMCAS::GT.

被这些函数引用 combine_ops().

函数调用图:

这是这个函数的调用关系图:

declare_comparison_sign()

RelationStoreResult LMCAS::anonymous_namespace{relation_store.cpp}::declare_comparison_sign	(	const std::string &	symbol,
		RelationOp	op,
		PropertyStore &	store )

在文件 relation_store.cpp 第 74 行定义.

                                                                               {
    struct SignRule {
        RelationOp op;
        Sign sign;
    };
    static constexpr SignRule rules[] = {
        {RelationOp::GT, Sign::Positive},
        {RelationOp::GEQ, Sign::NonNegative},
        {RelationOp::LT, Sign::Negative},
        {RelationOp::LEQ, Sign::NonPositive},
        {RelationOp::NEQ, Sign::NonZero}
    };
    for (const auto& rule : rules) {
        if (rule.op == op) return store.declare_sign(symbol, rule.sign);
    }
    return RelationStoreResult::success();
}

引用了 declare_comparison_sign(), LMCAS::GEQ, LMCAS::GT, LMCAS::LEQ, LMCAS::LT, LMCAS::Negative, LMCAS::NEQ, LMCAS::NonNegative, LMCAS::NonPositive, LMCAS::NonZero, LMCAS::op, LMCAS::Positive , 以及 LMCAS::Result< void >::success().

被这些函数引用 declare_comparison_sign() , 以及 derive_comparison_sign().

函数调用图:

这是这个函数的调用关系图:

derive_comparison_sign()

RelationStoreResult LMCAS::anonymous_namespace{relation_store.cpp}::derive_comparison_sign	(	const SymbolicExpr &	lhs,
		const SymbolicExpr &	rhs,
		RelationOp	op,
		PropertyStore &	store )

在文件 relation_store.cpp 第 94 行定义.

                                                                              {
    const auto variable = std::dynamic_pointer_cast<const VariableNode>(LMCAS::detail::node(lhs));
    const auto number = std::dynamic_pointer_cast<const NumberNode>(LMCAS::detail::node(rhs));
    if (variable && !variable->is_constant() && number && number->is_zero()) {
        return declare_comparison_sign(variable->name(), op, store);
    }
    const auto zero = std::dynamic_pointer_cast<const NumberNode>(LMCAS::detail::node(lhs));
    const auto reversed_variable = std::dynamic_pointer_cast<const VariableNode>(LMCAS::detail::node(rhs));
    if (zero && zero->is_zero() && reversed_variable &&
        !reversed_variable->is_constant()) {
        return declare_comparison_sign(
            reversed_variable->name(), detail::reversed_relation(op), store);
    }
    return RelationStoreResult::success();
}

引用了 declare_comparison_sign(), derive_comparison_sign(), LMCAS::detail::node(), LMCAS::op, LMCAS::detail::reversed_relation(), LMCAS::rhs, LMCAS::Result< void >::success() , 以及 LMCAS::variable.

被这些函数引用 derive_comparison_sign().

函数调用图:

这是这个函数的调用关系图:

expr_equals()

bool LMCAS::anonymous_namespace{relation_store.cpp}::expr_equals	(	const SymbolicExpr &	a,
		const SymbolicExpr &	b )

Check structural equality of two expression roots.

在文件 relation_store.cpp 第 68 行定义.

                                                               {
    if (!LMCAS::detail::node(a) && !LMCAS::detail::node(b)) return true;
    if (!LMCAS::detail::node(a) || !LMCAS::detail::node(b)) return false;
    return LMCAS::detail::node(a)->equals(*LMCAS::detail::node(b));
}

引用了 LMCAS::a, LMCAS::b, LMCAS::SymbolicNode::equals(), expr_equals() , 以及 LMCAS::detail::node().

被这些函数引用 expr_equals().

函数调用图:

这是这个函数的调用关系图:

is_transitive_op()

bool LMCAS::anonymous_namespace{relation_store.cpp}::is_transitive_op

(

RelationOp

op

)

Check if an operator participates in transitive closure.

Only GT and GEQ form transitive chains.

在文件 relation_store.cpp 第 50 行定义.

                                     {
    return op == RelationOp::GT || op == RelationOp::GEQ;
}

引用了 LMCAS::GEQ, LMCAS::GT, is_transitive_op() , 以及 LMCAS::op.

被这些函数引用 is_transitive_op().

函数调用图:

这是这个函数的调用关系图: