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§
Sourcefn validate_properties(
&self,
name: &str,
properties: &FunctionProperties,
) -> ValidationResult
fn validate_properties( &self, name: &str, properties: &FunctionProperties, ) -> ValidationResult
Validate mathematical properties of a function
Sourcefn validate_consistency(
&self,
functions: &[(&str, &FunctionProperties)],
) -> ValidationResult
fn validate_consistency( &self, functions: &[(&str, &FunctionProperties)], ) -> ValidationResult
Check consistency between related functions
Sourcefn validate_accuracy(
&self,
name: &str,
test_cases: &[(Vec<f64>, f64)],
) -> ValidationResult
fn validate_accuracy( &self, name: &str, test_cases: &[(Vec<f64>, f64)], ) -> ValidationResult
Validate numerical accuracy against known values