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

函数
bool	coordinate_update_needs_protection (const Result< double > &point_scale, bool numeric_plane_offset)
bool	direction_products_need_scaling (double normal_scale, double direction_scale)
bool	finite_plane_offset (const Result< ApproxReal > &offset)
double	fused_dot_three (const double(&a)[3], const double(&b)[3])
bool	interrupts_optional_numeric_evaluation (const CasError &error)
bool	point_dot_needs_protection (double normal_scale, const Result< double > &point_scale)
VectorExprListResult	protected_coordinate_intersection (const std::vector< double > &normal_values, double normal_scale, const std::vector< double > &direction_values, double direction_scale, const std::vector< double > &point_values, double point_scale, double plane_offset, const std::string &operation)
std::shared_ptr< SymbolicExpr >	scale_plane_offset (const std::shared_ptr< SymbolicExpr > &offset, double normal_scale, bool protect_point_dot)
void	scale_symbolic_components (const std::vector< double > &values, double scale, bool protect_point_dot, std::vector< std::shared_ptr< SymbolicExpr > > &scaled)
VectorExprListResult	symbolic_line_plane_intersection (const std::vector< std::shared_ptr< SymbolicExpr > > &normal, const std::vector< std::shared_ptr< SymbolicExpr > > &direction, const std::vector< std::shared_ptr< SymbolicExpr > > &point, const std::shared_ptr< SymbolicExpr > &offset, ComputationContext &context, const std::string &operation)
ExpressionResult	symbolic_point_plane_distance (const std::vector< std::shared_ptr< SymbolicExpr > > &point, const std::vector< std::shared_ptr< SymbolicExpr > > &normal, const std::shared_ptr< SymbolicExpr > &offset, ComputationContext &context, const std::string &operation)
Result< void >	validate_intersection_inputs (const LineSymbolic &line, const PlaneSymbolic &plane, ComputationContext &context, const std::string &operation)

函数说明

coordinate_update_needs_protection()

bool LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::coordinate_update_needs_protection	(	const Result< double > &	point_scale,
		bool	numeric_plane_offset )

在文件 symbolic_geometry_line_plane.cpp 第 54 行定义.

  {
    return point_scale.has_value() && numeric_plane_offset &&
           point_scale.value() > std::numeric_limits<double>::max() / 3.0;
}

引用了 coordinate_update_needs_protection(), LMCAS::Result< T >::has_value() , 以及 LMCAS::Result< T >::value().

被这些函数引用 coordinate_update_needs_protection().

函数调用图:

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

direction_products_need_scaling()

bool LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::direction_products_need_scaling	(	double	normal_scale,
		double	direction_scale )

在文件 symbolic_geometry_line_plane.cpp 第 39 行定义.

                                                                                  {
    const double safe_high = std::numeric_limits<double>::max() / 3.0;
    const double safe_low = std::numeric_limits<double>::min();
    return normal_scale > safe_high / direction_scale ||
           normal_scale < safe_low / direction_scale;
}

引用了 direction_products_need_scaling().

被这些函数引用 direction_products_need_scaling().

函数调用图:

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

finite_plane_offset()

bool LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::finite_plane_offset

(

const Result< ApproxReal > &

offset

)

在文件 symbolic_geometry_line_plane.cpp 第 34 行定义.

                                                           {
    return offset.has_value() && offset.value().is_finite() &&
           std::isfinite(offset.value().value);
}

引用了 finite_plane_offset(), LMCAS::Result< T >::has_value() , 以及 LMCAS::Result< T >::value().

被这些函数引用 finite_plane_offset().

函数调用图:

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

fused_dot_three()

double LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::fused_dot_three	(	const double(&)	a[3],
		const double(&)	b[3] )

在文件 symbolic_geometry_line_plane.cpp 第 85 行定义.

                                                                   {
    return std::fma(a[0], b[0], std::fma(a[1], b[1], a[2] * b[2]));
}

引用了 LMCAS::a, LMCAS::b , 以及 fused_dot_three().

被这些函数引用 fused_dot_three() , 以及 protected_coordinate_intersection().

函数调用图:

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

interrupts_optional_numeric_evaluation()

bool LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::interrupts_optional_numeric_evaluation

(

const CasError &

error

)

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

                                                                   {
    return error.code == CasErrc::Cancelled ||
           error.code == CasErrc::ResourceLimit;
}

引用了 LMCAS::Cancelled, LMCAS::CasError::code, interrupts_optional_numeric_evaluation() , 以及 LMCAS::ResourceLimit.

被这些函数引用 interrupts_optional_numeric_evaluation().

函数调用图:

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

point_dot_needs_protection()

bool LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::point_dot_needs_protection	(	double	normal_scale,
		const Result< double > &	point_scale )

在文件 symbolic_geometry_line_plane.cpp 第 46 行定义.

  {
    return point_scale.has_value() && point_scale.value() > 0.0 &&
           normal_scale >
               std::numeric_limits<double>::max() / point_scale.value() / 3.0;
}

引用了 LMCAS::Result< T >::has_value(), point_dot_needs_protection() , 以及 LMCAS::Result< T >::value().

被这些函数引用 point_dot_needs_protection().

函数调用图:

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

protected_coordinate_intersection()

VectorExprListResult LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::protected_coordinate_intersection	(	const std::vector< double > &	normal_values,
		double	normal_scale,
		const std::vector< double > &	direction_values,
		double	direction_scale,
		const std::vector< double > &	point_values,
		double	point_scale,
		double	plane_offset,
		const std::string &	operation )

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

  {
    const double plane_location = plane_offset / normal_scale;
    if (!std::isfinite(plane_location)) {
        return VectorExprListResult::failure(
            CasErrc::NumericFailure,
            "line-plane intersection coordinate is outside the supported domain",
            operation);
    }
    double spatial_scale = std::max(point_scale, std::abs(plane_location));
    if (spatial_scale == 0.0) spatial_scale = 1.0;
 
    double unit_normal[3];
    double unit_direction[3];
    double scaled_point[3];
    for (size_t i = 0; i < 3; ++i) {
        unit_normal[i] = normal_values[i] / normal_scale;
        unit_direction[i] = direction_values[i] / direction_scale;
        scaled_point[i] = point_values[i] / spatial_scale;
    }
    const double denominator = fused_dot_three(unit_normal, unit_direction);
    if (denominator == 0.0) {
        return VectorExprListResult::failure(
            CasErrc::DomainError,
            "line is parallel to plane, so no unique intersection exists",
            operation);
    }
    const double point_dot = fused_dot_three(unit_normal, scaled_point);
    const double scaled_offset = plane_location / spatial_scale;
    const double parameter = (scaled_offset - point_dot) / denominator;
 
    std::vector<std::shared_ptr<SymbolicExpr>> intersection;
    intersection.reserve(3);
    for (size_t i = 0; i < 3; ++i) {
        const double scaled_coordinate = std::fma(
            parameter, unit_direction[i], scaled_point[i]);
        const double coordinate = scaled_coordinate * spatial_scale;
        if (!std::isfinite(coordinate)) {
            return VectorExprListResult::failure(
                CasErrc::NumericFailure,
                "line-plane intersection coordinate is outside the supported domain",
                operation);
        }
        intersection.push_back(SymbolicExpr::number(coordinate));
    }
    return VectorExprListResult::success(std::move(intersection));
}

引用了 LMCAS::denominator, LMCAS::DomainError, LMCAS::Result< std::vector< std::shared_ptr< SymbolicExpr > > >::failure(), fused_dot_three(), LMCAS::NumericFailure, protected_coordinate_intersection() , 以及 LMCAS::Result< std::vector< std::shared_ptr< SymbolicExpr > > >::success().

被这些函数引用 protected_coordinate_intersection().

函数调用图:

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

scale_plane_offset()

std::shared_ptr< SymbolicExpr > LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::scale_plane_offset	(	const std::shared_ptr< SymbolicExpr > &	offset,
		double	normal_scale,
		bool	protect_point_dot )

在文件 symbolic_geometry_line_plane.cpp 第 73 行定义.

  {
    auto scaled = SymbolicExpr::divide(
        offset, SymbolicExpr::number(normal_scale));
    if (protect_point_dot) {
        scaled = SymbolicExpr::divide(scaled, SymbolicExpr::number(3.0));
    }
    return scaled;
}

引用了 scale_plane_offset().

被这些函数引用 scale_plane_offset().

函数调用图:

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

scale_symbolic_components()

void LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::scale_symbolic_components	(	const std::vector< double > &	values,
		double	scale,
		bool	protect_point_dot,
		std::vector< std::shared_ptr< SymbolicExpr > > &	scaled )

在文件 symbolic_geometry_line_plane.cpp 第 61 行定义.

  {
    scaled.reserve(values.size());
    for (double component : values) {
        double scaled_component = component / scale;
        if (protect_point_dot) scaled_component /= 3.0;
        scaled.push_back(SymbolicExpr::number(scaled_component));
    }
}

引用了 scale_symbolic_components().

被这些函数引用 scale_symbolic_components().

函数调用图:

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

symbolic_line_plane_intersection()

VectorExprListResult LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::symbolic_line_plane_intersection	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	normal,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	direction,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	point,
		const std::shared_ptr< SymbolicExpr > &	offset,
		ComputationContext &	context,
		const std::string &	operation )

在文件 symbolic_geometry_line_plane.cpp 第 141 行定义.

      {
    detail::RewriteBudget transform_budget(context, (context).limits().max_recursion_depth,
                                            (context).limits().max_ast_nodes, "transform");
    auto n_dot_a = vector_dot_checked(normal, point, context);
    if (!n_dot_a) return VectorExprListResult::failure(n_dot_a.error());
    auto n_dot_b = vector_dot_checked(normal, direction, context);
    if (!n_dot_b) return VectorExprListResult::failure(n_dot_b.error());
    auto denom = detail::make_expression_ptr(detail::normalize_node(detail::node(n_dot_b.value()), transform_budget));
    auto nonzero = checked_nonzero_numeric_or_exact(
        denom, context, operation,
        "line is parallel to plane, so no unique intersection exists",
        "line-plane denominator nonzero condition cannot be verified");
    if (!nonzero) return VectorExprListResult::failure(nonzero.error());
 
    auto t = SymbolicExpr::divide(
        SymbolicExpr::add(
            offset,
            SymbolicExpr::multiply(SymbolicExpr::number(-1), n_dot_a.value())),
        denom);
    std::vector<std::shared_ptr<SymbolicExpr>> intersection;
    intersection.reserve(point.size());
    for (size_t i = 0; i < point.size(); ++i) {
        auto coord = SymbolicExpr::add(
            point[i], SymbolicExpr::multiply(t, direction[i]));
        auto simplified = simplify_checked(
            coord, operation,
            "line-plane intersection coordinate is outside the supported domain", context);
        if (!simplified) {
            return VectorExprListResult::failure(simplified.error());
        }
        intersection.push_back(std::move(simplified.value()));
    }
    return VectorExprListResult::success(std::move(intersection));
} catch (const CasError& error) {
    return VectorExprListResult::failure(error);
} catch (const std::bad_alloc&) {
    return VectorExprListResult::failure(CasErrc::ResourceLimit, "allocation failed", operation);
} catch (const std::length_error& error) {
    return VectorExprListResult::failure(CasErrc::ResourceLimit, error.what(), operation);
} catch (const std::exception& error) {
    return VectorExprListResult::failure(CasErrc::InternalInvariant, error.what(), operation);
}

引用了 LMCAS::geometry_detail::checked_nonzero_numeric_or_exact(), LMCAS::context, LMCAS::direction, LMCAS::Result< std::vector< std::shared_ptr< SymbolicExpr > > >::failure(), LMCAS::detail::make_expression_ptr(), LMCAS::detail::node(), LMCAS::detail::normalize_node(), LMCAS::point, LMCAS::geometry_detail::simplify_checked(), LMCAS::Result< std::vector< std::shared_ptr< SymbolicExpr > > >::success(), symbolic_line_plane_intersection(), LMCAS::t , 以及 LMCAS::vector_dot_checked().

被这些函数引用 symbolic_line_plane_intersection().

函数调用图:

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

symbolic_point_plane_distance()

ExpressionResult LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::symbolic_point_plane_distance	(	const std::vector< std::shared_ptr< SymbolicExpr > > &	point,
		const std::vector< std::shared_ptr< SymbolicExpr > > &	normal,
		const std::shared_ptr< SymbolicExpr > &	offset,
		ComputationContext &	context,
		const std::string &	operation )

在文件 symbolic_geometry_line_plane.cpp 第 190 行定义.

  {
    auto n_dot_r = vector_dot_checked(normal, point, context);
    if (!n_dot_r) return ExpressionResult::failure(n_dot_r.error());
    auto norm_sq = vector_dot_checked(normal, normal, context);
    if (!norm_sq) return ExpressionResult::failure(norm_sq.error());
 
    auto diff = SymbolicExpr::add(
        n_dot_r.value(),
        SymbolicExpr::multiply(SymbolicExpr::number(-1), offset));
    auto norm_n = SymbolicExpr::sqrt(norm_sq.value());
    auto abs_diff = LMCAS::detail::make_expression_ptr(
        LMCAS::detail::make_node<FunctionNode>(
            FunctionNode::FuncType::Abs,
            std::vector<std::shared_ptr<const SymbolicNode>>{
                LMCAS::detail::node(diff)}));
    return simplify_checked(
        SymbolicExpr::divide(abs_diff, norm_n),
        operation,
        "point-plane distance is outside the supported domain", context);
}

引用了 LMCAS::FunctionNode::Abs, LMCAS::context, LMCAS::Result< std::shared_ptr< SymbolicExpr > >::failure(), LMCAS::detail::make_expression_ptr(), LMCAS::detail::make_node(), LMCAS::detail::node(), LMCAS::point, LMCAS::geometry_detail::simplify_checked(), symbolic_point_plane_distance() , 以及 LMCAS::vector_dot_checked().

被这些函数引用 symbolic_point_plane_distance().

函数调用图:

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

validate_intersection_inputs()

Result< void > LMCAS::anonymous_namespace{symbolic_geometry_line_plane.cpp}::validate_intersection_inputs	(	const LineSymbolic &	line,
		const PlaneSymbolic &	plane,
		ComputationContext &	context,
		const std::string &	operation )

在文件 symbolic_geometry_line_plane.cpp 第 18 行定义.

  {
    auto line_valid = validate_line_checked(line, context, operation);
    if (!line_valid) return line_valid;
    auto plane_valid = validate_plane_checked(plane, context, operation);
    if (!plane_valid) return plane_valid;
    return context.consume_steps(6, operation);
}

引用了 LMCAS::context, LMCAS::plane, validate_intersection_inputs(), LMCAS::geometry_detail::validate_line_checked() , 以及 LMCAS::geometry_detail::validate_plane_checked().

被这些函数引用 validate_intersection_inputs().

函数调用图:

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