LMCAS::geometry_detail 命名空间参考

函数
Result< void >	checked_nonzero_numeric_or_exact (const std::shared_ptr< SymbolicExpr > &expr, ComputationContext &context, const std::string &operation, const std::string &domain_message, const std::string &inconclusive_message)
Result< void >	checked_nonzero_numeric_vector (const std::vector< std::shared_ptr< SymbolicExpr > > &expressions, ComputationContext &context, const std::string &operation, const std::string &domain_message, const std::string &inconclusive_message)
Result< double >	numeric_vector_scale_checked (const std::vector< std::shared_ptr< SymbolicExpr > > &expressions, ComputationContext &context, const std::string &operation, std::vector< double > *values=nullptr)
ExpressionResult	simplify_checked (const std::shared_ptr< SymbolicExpr > &expr, const std::string &operation, const std::string &message, ComputationContext &context)
Result< void >	validate_line_checked (const LineSymbolic &line, ComputationContext &context, const std::string &operation)
Result< void >	validate_plane_checked (const PlaneSymbolic &plane, ComputationContext &context, const std::string &operation)
Result< void >	validate_same_dimension_vectors (const std::vector< std::shared_ptr< SymbolicExpr > > &a, const std::vector< std::shared_ptr< SymbolicExpr > > &b, ComputationContext &context, const std::string &operation)
Result< void >	validate_surface_point (const SurfaceSymbolic &surf, const std::vector< std::shared_ptr< SymbolicExpr > > &point, ComputationContext &context, const std::string &operation)
Result< void >	validate_symbolic_vector (const std::vector< std::shared_ptr< SymbolicExpr > > &vector, const std::string &name, const std::string &operation)

函数说明

checked_nonzero_numeric_or_exact()

Result< void > LMCAS::geometry_detail::checked_nonzero_numeric_or_exact	(	const std::shared_ptr< SymbolicExpr > &	expr,
		ComputationContext &	context,
		const std::string &	operation,
		const std::string &	domain_message,
		const std::string &	inconclusive_message )

在文件 symbolic_geometry_support.cpp 第 177 行定义.

    {
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    if (!expr || !LMCAS::detail::node(expr)) {
        return Result<void>::failure(CasErrc::Inconclusive,
                                     inconclusive_message, operation);
    }
    auto simplified = detail::make_expression_ptr(detail::normalize_node(detail::node(expr), transform_budget));
    if (!simplified || !LMCAS::detail::node(simplified)) {
        return Result<void>::failure(CasErrc::Inconclusive,
                                     inconclusive_message, operation);
    }
    if (simplified->is_zero()) {
        return Result<void>::failure(CasErrc::DomainError,
                                     domain_message, operation);
    }
    auto numeric = evaluate_numeric(*simplified, NumericBindings{}, context);
    if (!numeric) {
        if (numeric.error().code == CasErrc::Cancelled ||
            numeric.error().code == CasErrc::ResourceLimit) {
            return Result<void>::failure(numeric.error());
        }
        return Result<void>::failure(CasErrc::Inconclusive,
                                     inconclusive_message, operation);
    }
    if (!numeric.value().is_finite() ||
        !std::isfinite(numeric.value().value)) {
        return Result<void>::failure(CasErrc::NumericFailure,
                                     inconclusive_message, operation);
    }
    if (numeric.value().value == 0.0) {
        return Result<void>::failure(CasErrc::DomainError,
                                     domain_message, operation);
    }
    return Result<void>::success();
} catch (const CasError& error) {
    return Result<void>::failure(error);
} catch (const std::bad_alloc&) {
    return Result<void>::failure(CasErrc::ResourceLimit, "allocation failed", operation);
} catch (const std::length_error& error) {
    return Result<void>::failure(CasErrc::ResourceLimit, error.what(), operation);
} catch (const std::exception& error) {
    return Result<void>::failure(CasErrc::InternalInvariant, error.what(), operation);
}

引用了 LMCAS::Cancelled, checked_nonzero_numeric_or_exact(), LMCAS::context, LMCAS::DomainError, LMCAS::evaluate_numeric(), LMCAS::Result< T >::failure(), LMCAS::Inconclusive, LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node(), LMCAS::NumericFailure, LMCAS::ResourceLimit , 以及 LMCAS::Result< T >::success().

被这些函数引用 LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::check_plane_normal_nonzero(), checked_nonzero_numeric_or_exact() , 以及 LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::symbolic_line_plane_intersection().

函数调用图:

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

checked_nonzero_numeric_vector()

Result< void > LMCAS::geometry_detail::checked_nonzero_numeric_vector	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	expressions,
		ComputationContext &	context,
		const std::string &	operation,
		const std::string &	domain_message,
		const std::string &	inconclusive_message )

在文件 symbolic_geometry_support.cpp 第 153 行定义.

{
    auto scaled = numeric_vector_scale_checked(
        expressions, context, operation);
    if (!scaled) {
        if (scaled.error().code == CasErrc::Cancelled ||
            scaled.error().code == CasErrc::ResourceLimit) {
            return Result<void>::failure(scaled.error());
        }
        return Result<void>::failure(
            CasErrc::Inconclusive, inconclusive_message, operation);
    }
    if (scaled.value() == 0.0) {
        return Result<void>::failure(
            CasErrc::DomainError, domain_message, operation);
    }
    return Result<void>::success();
}

引用了 LMCAS::Cancelled, checked_nonzero_numeric_vector(), LMCAS::context, LMCAS::DomainError, LMCAS::expressions(), LMCAS::Result< T >::failure(), LMCAS::Inconclusive, numeric_vector_scale_checked(), LMCAS::ResourceLimit , 以及 LMCAS::Result< T >::success().

被这些函数引用 LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::check_plane_normal_nonzero(), checked_nonzero_numeric_vector(), LMCAS::anonymous_namespace{symbolic_geometry_line.cpp}::skew_distance_from_directions(), validate_line_checked() , 以及 validate_plane_checked().

函数调用图:

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

numeric_vector_scale_checked()

Result< double > LMCAS::geometry_detail::numeric_vector_scale_checked	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	expressions,
		ComputationContext &	context,
		const std::string &	operation,
		std::vector< double > *	values = nullptr )

在文件 symbolic_geometry_support.cpp 第 108 行定义.

{
    double max_abs = 0.0;
    if (values) {
        values->clear();
        values->reserve(expressions.size());
    }
    for (const auto& expression : expressions) {
        if (!expression || !LMCAS::detail::node(expression)) {
            return Result<double>::failure(
                CasErrc::InvalidArgument,
                "numeric vector contains a null expression",
                operation);
        }
        auto evaluated = evaluate_numeric(
            *expression, NumericBindings{}, context);
        if (!evaluated) {
            if (evaluated.error().code == CasErrc::Cancelled ||
                evaluated.error().code == CasErrc::ResourceLimit) {
                return Result<double>::failure(evaluated.error());
            }
            return Result<double>::failure(
                CasErrc::NumericFailure,
                "vector is not finite numeric in the supported domain",
                operation);
        }
        if (!evaluated.value().is_finite() ||
            !std::isfinite(evaluated.value().value)) {
            return Result<double>::failure(
                CasErrc::NumericFailure,
                "vector is not finite numeric in the supported domain",
                operation);
        }
        max_abs = std::max(max_abs, std::abs(evaluated.value().value));
        if (values) {
            values->push_back(evaluated.value().value);
        }
    }
    return Result<double>::success(max_abs);
}

引用了 LMCAS::Cancelled, LMCAS::context, LMCAS::evaluate_numeric(), LMCAS::expressions(), LMCAS::Result< T >::failure(), LMCAS::InvalidArgument, LMCAS::detail::node(), numeric_vector_scale_checked(), LMCAS::NumericFailure, LMCAS::ResourceLimit , 以及 LMCAS::Result< T >::success().

被这些函数引用 LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::build_plane_edges(), checked_nonzero_numeric_vector(), LMCAS::line_plane_intersection_checked(), numeric_vector_scale_checked(), LMCAS::anonymous_namespace{symbolic_geometry_line.cpp}::point_difference_scale_checked(), LMCAS::point_plane_distance_checked(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::scale_plane_edges_for_cross(), LMCAS::skew_lines_distance_checked(), LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::surface_gradient_scale_checked() , 以及 LMCAS::tangent_plane_checked().

函数调用图:

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

simplify_checked()

ExpressionResult LMCAS::geometry_detail::simplify_checked	(	const std::shared_ptr< SymbolicExpr > &	expr,
		const std::string &	operation,
		const std::string &	message,
		ComputationContext &	context )

在文件 symbolic_geometry_support.cpp 第 82 行定义.

    {
 
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    if (!expr || !LMCAS::detail::node(expr)) {
        return ExpressionResult::failure(CasErrc::Inconclusive, message, operation);
    }
    auto simplified = detail::make_expression_ptr(detail::normalize_node(detail::node(expr), transform_budget));
    if (!simplified || !LMCAS::detail::node(simplified)) {
        return ExpressionResult::failure(CasErrc::Inconclusive, message, operation);
    }
    return ExpressionResult::success(std::move(simplified));
} catch (const CasError& error) {
    return ExpressionResult::failure(error);
} catch (const std::bad_alloc&) {
    return ExpressionResult::failure(CasErrc::ResourceLimit, "allocation failed", operation);
} catch (const std::length_error& error) {
    return ExpressionResult::failure(CasErrc::ResourceLimit, error.what(), operation);
} catch (const std::exception& error) {
    return ExpressionResult::failure(CasErrc::InternalInvariant, error.what(), operation);
}

引用了 LMCAS::context, LMCAS::Result< std::shared_ptr< SymbolicExpr > >::failure(), LMCAS::Inconclusive, LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node(), simplify_checked() , 以及 LMCAS::Result< std::shared_ptr< SymbolicExpr > >::success().

被这些函数引用 LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::append_symbolic_plane_edges(), LMCAS::anonymous_namespace{symbolic_geometry_plane.cpp}::assemble_plane(), LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::differentiate_surface_checked(), LMCAS::line_from_two_points_checked(), simplify_checked(), LMCAS::anonymous_namespace{symbolic_geometry_line.cpp}::skew_distance_from_directions(), LMCAS::anonymous_namespace{symbolic_geometry_surface.cpp}::surface_gradient_at_point_checked(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::symbolic_line_plane_intersection(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::symbolic_point_plane_distance() , 以及 LMCAS::tangent_plane_checked().

函数调用图:

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

validate_line_checked()

Result< void > LMCAS::geometry_detail::validate_line_checked	(	const LineSymbolic &	line,
		ComputationContext &	context,
		const std::string &	operation )

在文件 symbolic_geometry_support.cpp 第 228 行定义.

{
    auto valid = validate_same_dimension_vectors(line.point, line.direction,
                                                 context, operation);
    if (!valid) return valid;
    if (line.point.size() != 3) {
        return Result<void>::failure(CasErrc::InvalidArgument,
                                     "line geometry requires 3-dimensional data",
                                     operation);
    }
    return checked_nonzero_numeric_vector(
        line.direction, context, operation,
        "line direction cannot be zero",
        "line direction nonzero condition cannot be verified");
}

引用了 checked_nonzero_numeric_vector(), LMCAS::context, LMCAS::LineSymbolic::direction, LMCAS::Result< T >::failure(), LMCAS::InvalidArgument, LMCAS::LineSymbolic::point, validate_line_checked() , 以及 validate_same_dimension_vectors().

被这些函数引用 LMCAS::line_from_two_points_checked(), LMCAS::skew_lines_distance_checked(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::validate_intersection_inputs() , 以及 validate_line_checked().

函数调用图:

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

validate_plane_checked()

Result< void > LMCAS::geometry_detail::validate_plane_checked	(	const PlaneSymbolic &	plane,
		ComputationContext &	context,
		const std::string &	operation )

在文件 symbolic_geometry_support.cpp 第 246 行定义.

{
    if (!plane.d || !LMCAS::detail::node(plane.d)) {
        return Result<void>::failure(CasErrc::InvalidArgument,
                                     "plane constant cannot be null",
                                     operation);
    }
    if (plane.normal.size() != 3) {
        return Result<void>::failure(CasErrc::InvalidArgument,
                                     "plane geometry requires a 3-dimensional normal",
                                     operation);
    }
    auto normal_valid = validate_symbolic_vector(plane.normal, "plane normal",
                                                 operation);
    if (!normal_valid) return normal_valid;
    return checked_nonzero_numeric_vector(
        plane.normal, context, operation,
        "plane normal cannot be zero",
        "plane normal nonzero condition cannot be verified");
}

引用了 checked_nonzero_numeric_vector(), LMCAS::context, LMCAS::PlaneSymbolic::d, LMCAS::Result< T >::failure(), LMCAS::InvalidArgument, LMCAS::detail::node(), LMCAS::PlaneSymbolic::normal, LMCAS::plane, validate_plane_checked() , 以及 validate_symbolic_vector().

被这些函数引用 LMCAS::dihedral_angle_checked(), LMCAS::point_plane_distance_checked(), LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::validate_intersection_inputs() , 以及 validate_plane_checked().

函数调用图:

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

validate_same_dimension_vectors()

Result< void > LMCAS::geometry_detail::validate_same_dimension_vectors	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	a,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	b,
		ComputationContext &	context,
		const std::string &	operation )

在文件 symbolic_geometry_support.cpp 第 29 行定义.

{
    auto step = context.consume_steps(1, operation);
    if (!step) return step;
    if (a.empty() || b.empty()) {
        return Result<void>::failure(
            CasErrc::InvalidArgument, "vectors cannot be empty", operation);
    }
    if (a.size() != b.size()) {
        return Result<void>::failure(
            CasErrc::InvalidArgument, "vector dimensions do not match", operation);
    }
    auto a_check = validate_symbolic_vector(a, "left vector", operation);
    if (!a_check) return a_check;
    return validate_symbolic_vector(b, "right vector", operation);
}

引用了 LMCAS::a, LMCAS::b, LMCAS::context, LMCAS::Result< T >::failure(), LMCAS::InvalidArgument, validate_same_dimension_vectors() , 以及 validate_symbolic_vector().

被这些函数引用 LMCAS::line_from_two_points_checked(), LMCAS::plane_from_three_points_checked(), validate_line_checked(), validate_same_dimension_vectors(), LMCAS::vector_angle_checked() , 以及 LMCAS::vector_dot_checked().

函数调用图:

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

validate_surface_point()

Result< void > LMCAS::geometry_detail::validate_surface_point	(	const SurfaceSymbolic &	surf,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	point,
		ComputationContext &	context,
		const std::string &	operation )

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

{
    auto step = context.consume_steps(1, operation);
    if (!step) return step;
    if (!surf.F || !LMCAS::detail::node(surf.F)) {
        return Result<void>::failure(
            CasErrc::InvalidArgument, "surface equation cannot be null", operation);
    }
    if (surf.vars.empty()) {
        return Result<void>::failure(
            CasErrc::InvalidArgument, "surface variables cannot be empty", operation);
    }
    if (surf.vars.size() != point.size()) {
        return Result<void>::failure(
            CasErrc::InvalidArgument,
            "surface variable count must match point dimension",
            operation);
    }
    for (const auto& var : surf.vars) {
        if (var.empty()) {
            return Result<void>::failure(
                CasErrc::InvalidArgument, "surface variable names cannot be empty",
                operation);
        }
    }
    return validate_symbolic_vector(point, "surface point", operation);
}

引用了 LMCAS::context, LMCAS::SurfaceSymbolic::F, LMCAS::Result< T >::failure(), LMCAS::InvalidArgument, LMCAS::detail::node(), LMCAS::point, validate_surface_point(), validate_symbolic_vector() , 以及 LMCAS::SurfaceSymbolic::vars.

被这些函数引用 LMCAS::classify_quadric_checked(), LMCAS::surface_normal_checked(), LMCAS::tangent_plane_checked() , 以及 validate_surface_point().

函数调用图:

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

validate_symbolic_vector()

Result< void > LMCAS::geometry_detail::validate_symbolic_vector	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	vector,
		const std::string &	name,
		const std::string &	operation )

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

{
    for (size_t i = 0; i < vector.size(); ++i) {
        if (!vector[i] || !LMCAS::detail::node(vector[i])) {
            return Result<void>::failure(
                CasErrc::InvalidArgument,
                name + " contains a null component at index " + std::to_string(i),
                operation);
        }
    }
    return Result<void>::success();
}

引用了 LMCAS::Result< T >::failure(), LMCAS::InvalidArgument, LMCAS::name, LMCAS::detail::node(), LMCAS::Result< T >::success() , 以及 validate_symbolic_vector().

被这些函数引用 LMCAS::point_plane_distance_checked(), validate_plane_checked(), validate_same_dimension_vectors(), validate_surface_point(), validate_symbolic_vector() , 以及 LMCAS::vector_cross_checked().

函数调用图:

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