命名空间
namespace	anonymous_namespace{assumption_parse_atoms.cpp}
namespace	anonymous_namespace{assumption_parse_relations.cpp}
namespace	anonymous_namespace{assumption_parse_values.cpp}

类
class	AssumptionParser

函数
bool	is_closing_delimiter (char value) noexcept
bool	is_serialized_numeric_atom (std::string_view expression) noexcept
char	matching_closer (char opener) noexcept
Boundedness	parse_boundedness (const std::string &s, int line_num)
Definiteness	parse_definiteness (const std::string &s, int line_num)
Domain	parse_domain (const std::string &s, int line_num)
std::shared_ptr< const SymbolicNode >	parse_finite_number_node (const std::string &token, int line_num)
Finiteness	parse_finiteness (const std::string &s, int line_num)
Interval	parse_interval (const std::string &text, int line_num, ComputationContext &context)
Monotonicity	parse_monotonicity (const std::string &s, int line_num)
Parity	parse_parity (const std::string &s, int line_num)
Relation	parse_relation (const std::string &text, int line_num, bool conditional, ComputationContext &context)
RelationOp	parse_relop (const std::string &s, int line_num)
SymbolicExpr	parse_serialized_expression (const std::string &text, int line_num, ComputationContext &context)
Sign	parse_sign (const std::string &s, int line_num)
void	require_deserialization_update (const Result< void > &result, int line, const std::string &keyword)
void	require_line_end (std::istringstream &input, int line_num, const std::string &keyword)
std::string_view	trim_ascii_whitespace (std::string_view text) noexcept

函数说明

◆ is_closing_delimiter()

bool LMCAS::assumption_detail::is_closing_delimiter ( char value )

noexcept

在文件 assumption_parse_atoms.cpp 第 47 行定义.

                                               {
    return value == ')' || value == ']' || value == '}';
}

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

被这些函数引用 LMCAS::assumption_detail::anonymous_namespace{assumption_parse_relations.cpp}::consume_delimiter(), LMCAS::assumption_detail::anonymous_namespace{assumption_parse_atoms.cpp}::find_interval_comma() , 以及 is_closing_delimiter().

函数调用图:

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

◆ is_serialized_numeric_atom()

bool LMCAS::assumption_detail::is_serialized_numeric_atom ( std::string_view expression )

noexcept

在文件 assumption_parse_atoms.cpp 第 17 行定义.

                                                                    {
    bool saw_digit = false;
    for (std::size_t i = 0; i < expression.size(); ++i) {
        const char c = expression[i];
        if (std::isdigit(static_cast<unsigned char>(c))) {
            saw_digit = true;
            continue;
        }
        if (c == '.' || c == '/' || c == 'e' || c == 'E') {
            continue;
        }
        if ((c == '+' || c == '-') &&
            (i == 0 || expression[i - 1] == 'e' ||
             expression[i - 1] == 'E')) {
            continue;
        }
        return false;
    }
    return saw_digit;
}

引用了 LMCAS::c , 以及 is_serialized_numeric_atom().

被这些函数引用 is_serialized_numeric_atom() , 以及 parse_serialized_expression().

函数调用图:

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

◆ matching_closer()

char LMCAS::assumption_detail::matching_closer ( char opener )

noexcept

在文件 assumption_parse_atoms.cpp 第 38 行定义.

                                           {
    switch (opener) {
    case '(': return ')';
    case '[': return ']';
    case '{': return '}';
    default: return '\0';
    }
}

引用了 matching_closer().

被这些函数引用 LMCAS::assumption_detail::anonymous_namespace{assumption_parse_relations.cpp}::consume_delimiter(), LMCAS::assumption_detail::anonymous_namespace{assumption_parse_atoms.cpp}::find_interval_comma() , 以及 matching_closer().

函数调用图:

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

◆ parse_boundedness()

Boundedness LMCAS::assumption_detail::parse_boundedness	(	const std::string &	s,
		int	line_num )

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

                                                                {
    static const std::pair<const char*, Boundedness> values[] = {
        {"Bounded", Boundedness::Bounded},
        {"Unbounded", Boundedness::Unbounded},
    };
    return parse_named_value(s, line_num, "boundedness", values);
}

引用了 LMCAS::Bounded, parse_boundedness() , 以及 LMCAS::Unbounded.

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_bounded() , 以及 parse_boundedness().

函数调用图:

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

◆ parse_definiteness()

Definiteness LMCAS::assumption_detail::parse_definiteness	(	const std::string &	s,
		int	line_num )

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

                                                                  {
    static const std::pair<const char*, Definiteness> values[] = {
        {"PositiveDefinite", Definiteness::PositiveDefinite},
        {"PositiveSemiDefinite", Definiteness::PositiveSemiDefinite},
        {"NegativeDefinite", Definiteness::NegativeDefinite},
        {"NegativeSemiDefinite", Definiteness::NegativeSemiDefinite},
        {"Indefinite", Definiteness::Indefinite},
    };
    return parse_named_value(s, line_num, "definiteness", values);
}

引用了 LMCAS::Indefinite, LMCAS::NegativeDefinite, LMCAS::NegativeSemiDefinite, parse_definiteness(), LMCAS::PositiveDefinite , 以及 LMCAS::PositiveSemiDefinite.

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_definiteness() , 以及 parse_definiteness().

函数调用图:

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

◆ parse_domain()

Domain LMCAS::assumption_detail::parse_domain	(	const std::string &	s,
		int	line_num )

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

                                                      {
    static const std::pair<const char*, Domain> values[] = {
        {"Complex", Domain::Complex},
        {"Real", Domain::Real},
        {"Algebraic", Domain::Algebraic},
        {"Rational", Domain::Rational},
        {"Integer", Domain::Integer},
        {"Natural", Domain::Natural},
        {"PositiveInt", Domain::PositiveInt},
    };
    return parse_named_value(s, line_num, "domain", values);
}

引用了 LMCAS::Algebraic, LMCAS::Complex, LMCAS::Integer, LMCAS::Natural, parse_domain(), LMCAS::PositiveInt, LMCAS::Rational , 以及 LMCAS::Real.

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_domain() , 以及 parse_domain().

函数调用图:

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

◆ parse_finite_number_node()

std::shared_ptr< const SymbolicNode > LMCAS::assumption_detail::parse_finite_number_node	(	const std::string &	token,
		int	line_num )

在文件 assumption_parse_atoms.cpp 第 75 行定义.

                  {
    const auto invalid = [&]() {
        return std::invalid_argument(
            "Line " + std::to_string(line_num) +
            ": invalid finite number '" + token + "'");
    };
    if (token.empty()) {
        throw invalid();
    }
    if (token.compare(0, 7, "approx(") == 0 && token.back() == ')') {
        std::string_view decimal(token.data() + 7, token.size() - 8);
        decimal = trim_ascii_whitespace(decimal);
        auto value = LMCAS::detail::parse_finite_decimal(decimal);
        if (!value) { throw invalid(); }
        return LMCAS::detail::make_node<NumberNode>(value.value());
    }
 
    const auto slash = token.find('/');
    if (slash != std::string::npos) {
        if (slash == 0 || slash + 1 == token.size() ||
            token.find('/', slash + 1) != std::string::npos) {
            throw invalid();
        }
        return LMCAS::detail::make_node<NumberNode>(
            Rational(
                BigInt(token.substr(0, slash)),
                BigInt(token.substr(slash + 1))));
    }
    if (token.find_first_of(".eE") == std::string::npos) {
        return LMCAS::detail::make_node<NumberNode>(BigInt(token));
    }
 
    return LMCAS::detail::make_node<NumberNode>(Rational(token));
}

引用了 LMCAS::detail::make_node(), LMCAS::detail::parse_finite_decimal(), parse_finite_number_node(), trim_ascii_whitespace() , 以及 LMCAS::value.

被这些函数引用 parse_finite_number_node() , 以及 LMCAS::assumption_detail::anonymous_namespace{assumption_parse_atoms.cpp}::parse_serialized_numeric_atom().

函数调用图:

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

◆ parse_finiteness()

Finiteness LMCAS::assumption_detail::parse_finiteness	(	const std::string &	s,
		int	line_num )

在文件 assumption_parse_values.cpp 第 60 行定义.

                                                              {
    static const std::pair<const char*, Finiteness> values[] = {
        {"Finite", Finiteness::Finite},
        {"Divergent", Finiteness::Divergent},
    };
    return parse_named_value(s, line_num, "finiteness", values);
}

引用了 LMCAS::Divergent, LMCAS::Finite , 以及 parse_finiteness().

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_finiteness() , 以及 parse_finiteness().

函数调用图:

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

◆ parse_interval()

Interval LMCAS::assumption_detail::parse_interval	(	const std::string &	text,
		int	line_num,
		ComputationContext &	context )

在文件 assumption_parse_atoms.cpp 第 266 行定义.

                                                                      {
    if (!interval_delimiters_valid(text)) {
        throw malformed_interval(text, line_num);
    }
 
    const bool lower_open = text.front() == '(';
    const bool upper_open = text.back() == ')';
    const std::string inner = text.substr(1, text.size() - 2);
    const std::size_t comma_pos =
        find_interval_comma(inner, text, line_num);
    const std::string lower_text = trim_interval_endpoint(
        inner.substr(0, comma_pos), text, line_num);
    const std::string upper_text = trim_interval_endpoint(
        inner.substr(comma_pos + 1), text, line_num);
    validate_interval_endpoints(
        lower_text, upper_text, lower_open, upper_open, text, line_num);
 
    Interval interval;
    interval.lower = lower_text == "-inf"
        ? Endpoint::neg_inf()
        : parse_interval_endpoint(
            lower_text, lower_open, line_num, text, context);
    interval.upper = upper_text == "+inf"
        ? Endpoint::pos_inf()
        : parse_interval_endpoint(
            upper_text, upper_open, line_num, text, context);
    return interval;
}

引用了 LMCAS::context, LMCAS::interval() , 以及 parse_interval().

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_bounded(), LMCAS::assumption_detail::AssumptionParser::parse_continuity(), parse_interval() , 以及 LMCAS::assumption_detail::AssumptionParser::parse_monotonicity().

函数调用图:

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

◆ parse_monotonicity()

Monotonicity LMCAS::assumption_detail::parse_monotonicity	(	const std::string &	s,
		int	line_num )

在文件 assumption_parse_values.cpp 第 79 行定义.

                                                                  {
    static const std::pair<const char*, Monotonicity> values[] = {
        {"Increasing", Monotonicity::Increasing},
        {"Decreasing", Monotonicity::Decreasing},
        {"NonDecreasing", Monotonicity::NonDecreasing},
        {"NonIncreasing", Monotonicity::NonIncreasing},
    };
    return parse_named_value(s, line_num, "monotonicity", values);
}

引用了 LMCAS::Decreasing, LMCAS::Increasing, LMCAS::NonDecreasing, LMCAS::NonIncreasing , 以及 parse_monotonicity().

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_monotonicity() , 以及 parse_monotonicity().

函数调用图:

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

◆ parse_parity()

Parity LMCAS::assumption_detail::parse_parity	(	const std::string &	s,
		int	line_num )

在文件 assumption_parse_values.cpp 第 44 行定义.

                                                      {
    static const std::pair<const char*, Parity> values[] = {
        {"Even", Parity::Even},
        {"Odd", Parity::Odd},
    };
    return parse_named_value(s, line_num, "parity", values);
}

引用了 LMCAS::Even, LMCAS::Odd , 以及 parse_parity().

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_parity() , 以及 parse_parity().

函数调用图:

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

◆ parse_relation()

Relation LMCAS::assumption_detail::parse_relation	(	const std::string &	text,
		int	line_num,
		bool	conditional,
		ComputationContext &	context )

在文件 assumption_parse_relations.cpp 第 129 行定义.

                                 {
    static const std::vector<std::string_view> operators = {
        "GEQ", "LEQ", "NEQ", "GT", "LT", "EQ",
        ">=", "<=", "!=", "==", ">", "<"};
    const auto matches =
        find_top_level_tokens(text, operators, line_num);
    if (matches.size() != 1) {
        const std::string message = conditional
            ? "CONDITIONAL cannot parse expression '" + text + "'"
            : "RELATION requires exactly one top-level operator";
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": " + message);
    }
 
    const auto match = matches.front();
    const std::string lhs_text =
        trim_copy(text.substr(0, match.position), line_num);
    const std::string rhs_text = trim_copy(
        text.substr(match.position + match.token.size()), line_num);
    return {
        parse_serialized_expression(lhs_text, line_num, context),
        parse_serialized_expression(rhs_text, line_num, context),
        parse_relop(std::string(match.token), line_num)};
}

引用了 LMCAS::context, parse_relation(), parse_relop() , 以及 parse_serialized_expression().

被这些函数引用 LMCAS::assumption_detail::anonymous_namespace{assumption_parse_relations.cpp}::parse_conditional_relation(), LMCAS::assumption_detail::AssumptionParser::parse_relation() , 以及 parse_relation().

函数调用图:

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

◆ parse_relop()

RelationOp LMCAS::assumption_detail::parse_relop	(	const std::string &	s,
		int	line_num )

在文件 assumption_parse_values.cpp 第 89 行定义.

                                                         {
    static const std::pair<const char*, RelationOp> values[] = {
        {"GT", RelationOp::GT},
        {"LT", RelationOp::LT},
        {"GEQ", RelationOp::GEQ},
        {"LEQ", RelationOp::LEQ},
        {"NEQ", RelationOp::NEQ},
        {"EQ", RelationOp::EQ},
        {">", RelationOp::GT},
        {"<", RelationOp::LT},
        {">=", RelationOp::GEQ},
        {"<=", RelationOp::LEQ},
        {"!=", RelationOp::NEQ},
        {"==", RelationOp::EQ},
    };
    return parse_named_value(s, line_num, "relational operator", values);
}

引用了 LMCAS::EQ, LMCAS::GEQ, LMCAS::GT, LMCAS::LEQ, LMCAS::LT, LMCAS::NEQ , 以及 parse_relop().

被这些函数引用 parse_relation() , 以及 parse_relop().

函数调用图:

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

◆ parse_serialized_expression()

SymbolicExpr LMCAS::assumption_detail::parse_serialized_expression	(	const std::string &	text,
		int	line_num,
		ComputationContext &	context )

在文件 assumption_parse_atoms.cpp 第 154 行定义.

                                                                      {
    const auto trimmed = trim_ascii_whitespace(text);
    if (trimmed.empty()) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": empty expression");
    }
    const std::string expression(trimmed);
    if (is_serialized_numeric_atom(trimmed)) {
        return parse_serialized_numeric_atom(expression, line_num);
    }
    return parse_general_expression(expression, line_num, context);
}

引用了 LMCAS::context, is_serialized_numeric_atom(), parse_serialized_expression() , 以及 trim_ascii_whitespace().

被这些函数引用 LMCAS::assumption_detail::anonymous_namespace{assumption_parse_atoms.cpp}::parse_interval_expression(), LMCAS::assumption_detail::AssumptionParser::parse_periodic(), parse_relation() , 以及 parse_serialized_expression().

函数调用图:

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

◆ parse_sign()

Sign LMCAS::assumption_detail::parse_sign	(	const std::string &	s,
		int	line_num )

在文件 assumption_parse_values.cpp 第 32 行定义.

                                                  {
    static const std::pair<const char*, Sign> values[] = {
        {"Positive", Sign::Positive},
        {"Negative", Sign::Negative},
        {"NonNegative", Sign::NonNegative},
        {"NonPositive", Sign::NonPositive},
        {"Zero", Sign::Zero},
        {"NonZero", Sign::NonZero},
    };
    return parse_named_value(s, line_num, "sign", values);
}

引用了 LMCAS::Negative, LMCAS::NonNegative, LMCAS::NonPositive, LMCAS::NonZero, parse_sign(), LMCAS::Positive , 以及 LMCAS::Zero.

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_sign() , 以及 parse_sign().

函数调用图:

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

◆ require_deserialization_update()

void LMCAS::assumption_detail::require_deserialization_update	(	const Result< void > &	result,
		int	line,
		const std::string &	keyword )

在文件 assumption_parse_atoms.cpp 第 51 行定义.

                                                              {
    if (result) {
        return;
    }
    if (result.error().code == CasErrc::InvalidArgument) {
        throw std::invalid_argument(
            "Line " + std::to_string(line) + ": " + keyword + ": " +
            result.error().message);
    }
    throw result.error();
}

引用了 LMCAS::CasError::code, LMCAS::Result< T >::error(), LMCAS::InvalidArgument, LMCAS::CasError::message , 以及 require_deserialization_update().

函数调用图:

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

◆ require_line_end()

void LMCAS::assumption_detail::require_line_end	(	std::istringstream &	input,
		int	line_num,
		const std::string &	keyword )

在文件 assumption_parse_atoms.cpp 第 64 行定义.

                                                {
    std::string trailing;
    if (input >> trailing) {
        throw std::invalid_argument(
            "Line " + std::to_string(line_num) + ": " + keyword +
            " has unexpected trailing field '" + trailing + "'");
    }
}

引用了 require_line_end().

被这些函数引用 LMCAS::assumption_detail::AssumptionParser::parse_definiteness(), LMCAS::assumption_detail::AssumptionParser::parse_domain(), LMCAS::assumption_detail::AssumptionParser::parse_finiteness(), LMCAS::assumption_detail::AssumptionParser::parse_parity(), LMCAS::assumption_detail::AssumptionParser::parse_scope(), LMCAS::assumption_detail::AssumptionParser::parse_sign(), LMCAS::assumption_detail::AssumptionParser::parse_transcendental() , 以及 require_line_end().

函数调用图:

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

◆ trim_ascii_whitespace()

std::string_view LMCAS::assumption_detail::trim_ascii_whitespace ( std::string_view text )

noexcept

在文件 assumption_parse_atoms.cpp 第 10 行定义.

                                                                   {
    const auto first = text.find_first_not_of(" \t\r\n");
    if (first == std::string_view::npos) return {};
    const auto last = text.find_last_not_of(" \t\r\n");
    return text.substr(first, last - first + 1);
}

引用了 trim_ascii_whitespace().

函数调用图:

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

命名空间

类

函数

函数说明

◆ is_closing_delimiter()

◆ is_serialized_numeric_atom()

◆ matching_closer()

◆ parse_boundedness()

◆ parse_definiteness()

◆ parse_domain()

◆ parse_finite_number_node()

◆ parse_finiteness()

◆ parse_interval()

◆ parse_monotonicity()

◆ parse_parity()

◆ parse_relation()

◆ parse_relop()

◆ parse_serialized_expression()

◆ parse_sign()

◆ require_deserialization_update()

◆ require_line_end()

◆ trim_ascii_whitespace()