PropertyValidator

Trait PropertyValidator 

Source
pub trait PropertyValidator: Send + Sync {
    // Required methods
    fn validate_properties(
        &self,
        name: &str,
        properties: &FunctionProperties,
    ) -> ValidationResult;
    fn validate_consistency(
        &self,
        functions: &[(&str, &FunctionProperties)],
    ) -> ValidationResult;
    fn validate_accuracy(
        &self,
        name: &str,
        test_cases: &[(Vec<f64>, f64)],
    ) -> ValidationResult;
}
Expand description

Trait for function property validation

Ensures mathematical correctness and consistency of function properties across different implementations and modules.

Required Methods§

Source

fn validate_properties( &self, name: &str, properties: &FunctionProperties, ) -> ValidationResult

Validate mathematical properties of a function

Source

fn validate_consistency( &self, functions: &[(&str, &FunctionProperties)], ) -> ValidationResult

Check consistency between related functions

Source

fn validate_accuracy( &self, name: &str, test_cases: &[(Vec<f64>, f64)], ) -> ValidationResult

Validate numerical accuracy against known values

Implementors§