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

函数
Result< void >	consume (ComputationContext &context)
std::optional< bool >	exact_interval_membership (const std::shared_ptr< const SymbolicNode > &element, const IntervalNode &interval)
bool	exact_value (const std::shared_ptr< const SymbolicNode > &node, Rational &value)
SymbolicSetResult	failure (CasErrc code, std::string message)
std::shared_ptr< const FiniteSetNode >	finite_set_node (const SymbolicExpr &expression)
SymbolicSetResult	from_nodes (std::vector< std::shared_ptr< const SymbolicNode > > elements)

变量
constexpr const char *	kOperation = "symbolic_set"

函数说明

consume()

Result< void > LMCAS::anonymous_namespace{symbolic_set.cpp}::consume

(

ComputationContext &

context

)

在文件 symbolic_set.cpp 第 19 行定义.

                                                  {
    return context.consume_steps(1, kOperation);
}

引用了 consume(), LMCAS::context , 以及 kOperation.

被这些函数引用 consume().

函数调用图:

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

exact_interval_membership()

std::optional< bool > LMCAS::anonymous_namespace{symbolic_set.cpp}::exact_interval_membership	(	const std::shared_ptr< const SymbolicNode > &	element,
		const IntervalNode &	interval )

在文件 symbolic_set.cpp 第 52 行定义.

                                                                                    {
    Rational value;
    Rational lower;
    Rational upper;
    if (!exact_value(element, value)) {
        return std::nullopt;
    }
    if (!exact_value(interval.lower(), lower) || !exact_value(interval.upper(), upper)) {
        return std::nullopt;
    }
    if (value < lower || upper < value) {
        return false;
    }
    if (value == lower && !interval.lower_closed()) {
        return false;
    }
    return value != upper || interval.upper_closed();
}

引用了 LMCAS::element, exact_interval_membership(), exact_value(), LMCAS::interval(), LMCAS::lower, LMCAS::upper , 以及 LMCAS::value.

被这些函数引用 exact_interval_membership().

函数调用图:

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

exact_value()

bool LMCAS::anonymous_namespace{symbolic_set.cpp}::exact_value	(	const std::shared_ptr< const SymbolicNode > &	node,
		Rational &	value )

在文件 symbolic_set.cpp 第 27 行定义.

                                                                                 {
    auto number = std::dynamic_pointer_cast<const NumberNode>(node);
    if (!number) return false;
    if (std::holds_alternative<BigInt>(number->value())) {
        value = Rational(std::get<BigInt>(number->value()));
        return true;
    }
    if (std::holds_alternative<Rational>(number->value())) {
        value = std::get<Rational>(number->value());
        return true;
    }
    return false;
}

引用了 exact_value() , 以及 LMCAS::value.

被这些函数引用 exact_interval_membership() , 以及 exact_value().

函数调用图:

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

failure()

SymbolicSetResult LMCAS::anonymous_namespace{symbolic_set.cpp}::failure	(	CasErrc	code,
		std::string	message )

在文件 symbolic_set.cpp 第 15 行定义.

                                                           {
    return SymbolicSetResult::failure(code, std::move(message), kOperation);
}

引用了 failure(), LMCAS::Result< std::shared_ptr< SymbolicExpr > >::failure() , 以及 kOperation.

被这些函数引用 failure() , 以及 from_nodes().

函数调用图:

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

finite_set_node()

std::shared_ptr< const FiniteSetNode > LMCAS::anonymous_namespace{symbolic_set.cpp}::finite_set_node

(

const SymbolicExpr &

expression

)

在文件 symbolic_set.cpp 第 23 行定义.

                                                                                   {
    return std::dynamic_pointer_cast<const FiniteSetNode>(detail::node(expression));
}

引用了 finite_set_node() , 以及 LMCAS::detail::node().

被这些函数引用 finite_set_node().

函数调用图:

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

from_nodes()

SymbolicSetResult LMCAS::anonymous_namespace{symbolic_set.cpp}::from_nodes

(

std::vector< std::shared_ptr< const SymbolicNode > >

elements

)

在文件 symbolic_set.cpp 第 41 行定义.

                                                                                    {
    try {
        return SymbolicSetResult::success(detail::make_expression_ptr(
            detail::make_node<FiniteSetNode>(std::move(elements))));
    } catch (const std::bad_alloc&) {
        return failure(CasErrc::ResourceLimit, "finite set allocation failed");
    } catch (const std::exception& error) {
        return failure(CasErrc::InvalidArgument, error.what());
    }
}

引用了 failure(), from_nodes(), LMCAS::InvalidArgument, LMCAS::detail::make_expression_ptr(), LMCAS::detail::make_node(), LMCAS::ResourceLimit , 以及 LMCAS::Result< std::shared_ptr< SymbolicExpr > >::success().

被这些函数引用 from_nodes().

函数调用图:

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

变量说明

kOperation

const char* LMCAS::anonymous_namespace{symbolic_set.cpp}::kOperation = "symbolic_set"

constexpr

在文件 symbolic_set.cpp 第 13 行定义.

被这些函数引用 consume() , 以及 failure().