Struct AntiderivativeRule 

pub struct AntiderivativeRule {
    pub rule_type: AntiderivativeRuleType,
    pub result_template: String,
    pub constant_handling: ConstantOfIntegration,
}

Antiderivative rule for automatic integration

Stores the antiderivative formula for a function, analogous to DerivativeRule. Supports simple antiderivatives, substitution patterns, and special techniques.

Examples

use mathhook_core::functions::properties::{AntiderivativeRule, AntiderivativeRuleType, ConstantOfIntegration};
use mathhook_core::expr;

let sin_antiderivative = AntiderivativeRule {
    rule_type: AntiderivativeRuleType::Simple {
        antiderivative_fn: "cos".to_string(),
        coefficient: expr!(-1),
    },
    result_template: "-cos(x) + C".to_string(),
    constant_handling: ConstantOfIntegration::AddConstant,
};

Fields

rule_type: AntiderivativeRuleType

Rule type for efficient computation

result_template: String

Result expression template (for documentation and validation) Example: “∫sin(x)dx = -cos(x) + C”

constant_handling: ConstantOfIntegration

Constant of integration behavior

Trait Implementations

impl Clone for AntiderivativeRule

fn clone(&self) -> AntiderivativeRule

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AntiderivativeRule

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.