Module backward

Backward Deducer

Provides a DeducerEnum enum that represents different deduction strategies, including Enumeration, ACS, and TopBlocked.

Modules

int

liststr

Deduction for list of strings

simple

Basic Deduction

str

Deduction for string

Structs

Problem

A struct represents a synthesis problem within the backward deduction process of the string synthesis algorithm. This structure contains three primary fields: nt, which holds the non-terminal symbol represented as an index, value, which associates a Value to the synthesis task, and used_cost, which tracks the cost incurred during the deduction process for this particular problem instance.

Enums

DeducerEnum

Represents different deduction strategy implementations for string synthesis problems.

Traits

Deducer

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