synthphonia::backward

Trait Deducer

Source 
pub trait Deducer {
    // Required method
    async fn deduce(
        &'static self,
        exec: &'static Executor,
        value: Problem,
    ) -> &'static Expr;
}
Expand description

Provides an asynchronous interface to synthesize an expression by resolving a synthesis subproblem using an executor context.

This method takes a static reference to an executor and a synthesis problem as inputs and returns a static reference to the synthesized expression. The interface is designed for asynchronous deduction, allowing varied deduction strategies to be implemented and executed concurrently while ensuring that each subproblem is processed efficiently.

Required Methods§

Source

async fn deduce( &'static self, exec: &'static Executor, value: Problem, ) -> &'static Expr

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§