Struct ListDeducer

pub struct ListDeducer {
    pub nt: usize,
    pub map: Option<Cfg>,
    pub filter: Option<Cfg>,
}

Represents a deduction strategy for list transformation synthesis using an optional mapping configuration.

Encapsulates an index for the non-terminal symbol and an optional grammar configuration that may be used for map-based operations during list deduction.

Fields

nt: usize

map: Option<Cfg>

filter: Option<Cfg>

Implementations

impl ListDeducer

pub fn map( &'static self, exec: &'static Executor, prob: Problem, list: Value, ) -> Option<JoinHandle<&'static Expr>>

Deduce a map operation

pub fn filter( &'static self, exec: &'static Executor, prob: Problem, list: Value, ) -> Option<JoinHandle<&'static Expr>>

Deduce a filter operation

Trait Implementations

impl Debug for ListDeducer

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

Formats the value using the given formatter.

impl Deducer for ListDeducer

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

Deduce a synthesis subproblem asynchronously by concurrently monitoring a task and mapping-related events to yield the resulting expression.

This function triggers debugging output, acquires a task associated with the current subproblem, and sets up a listener that, if a mapping configuration is present, extends a collection of futures via a mapping operation. It then concurrently awaits multiple asynchronous futures and returns the selected synthesized expression based on the first completed event.