Struct StrDeducer

pub struct StrDeducer {
    pub nt: usize,
    pub split_once: (usize, usize),
    pub join: (usize, usize),
    pub ite_concat: (usize, usize),
    pub index: (usize, usize),
    pub formatter: Vec<(Op1Enum, usize)>,
    pub decay_rate: usize,
}

A struct hold configuration for string deduction tasks.

Fields

nt: usize

The non-terminal identifier of this deducer.

split_once: (usize, usize)

(No longer used, non-terminal to split to)

join: (usize, usize)

(No longer used, non-terminal to split to)

ite_concat: (usize, usize)

(No longer used, non-terminal to split to)

index: (usize, usize)

formatter: Vec<(Op1Enum, usize)>

Formatting operations to be applied during deduction, (operator, non-terminal to format to).

decay_rate: usize

No longer used

Implementations

impl StrDeducer

pub fn new(nt: usize) -> Self

Creates a new instance of the associated type with a specified non-terminal identifier, using the default setting.

impl StrDeducer

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

Deduce a string splitting by a specified delimiter.

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

Generates a conditional expression

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

Deduce conditional concatenation deduction for string synthesis problems.

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

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

Deduce a string joining operation based on a specified delimiter.

fn join_empty_str( &'static self, exec: &'static Executor, prob: Problem, ) -> Option<JoinHandle<&'static Expr>>

Deduce to list of strings using join

async fn fmt( &self, problem: Problem, formatter: &(Op1Enum, usize), exec: &'static Executor, ) -> &'static Expr

Deduce formats of strings using the provided formatter

Trait Implementations

impl Debug for StrDeducer

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

Formats the value using the given formatter.

impl Deducer for StrDeducer

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

Deducing string synthesis problems.