Skip to main content

ExperimentRunner

forge_engine::lab::evidence

Trait ExperimentRunner 

Source 
pub trait ExperimentRunner: Send + Sync {
    // Required method
    fn run_plan<'life0, 'life1, 'life2, 'async_trait>(
        &'life0 self,
        plan: &'life1 VerificationPlan,
        bundle: &'life2 ExperimentEvidenceBundle,
    ) -> Pin<Box<dyn Future<Output = ForgeResult<Vec<CausalHypothesis>>> + Send + 'async_trait>>
       where Self: 'async_trait,
             'life0: 'async_trait,
             'life1: 'async_trait,
             'life2: 'async_trait;
}
Expand description

Trait for running verification experiments.

Required Methods§

Source

fn run_plan<'life0, 'life1, 'life2, 'async_trait>( &'life0 self, plan: &'life1 VerificationPlan, bundle: &'life2 ExperimentEvidenceBundle, ) -> Pin<Box<dyn Future<Output = ForgeResult<Vec<CausalHypothesis>>> + Send + 'async_trait>>
where Self: 'async_trait, 'life0: 'async_trait, 'life1: 'async_trait, 'life2: 'async_trait,

Execute a verification plan and return updated hypotheses.

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§