Struct Problem

pub struct Problem {
    pub nt: usize,
    pub value: Value,
    pub used_cost: usize,
}

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.

Fields

nt: usize

value: Value

used_cost: usize

Implementations

impl Problem

pub fn new(nt: usize, value: Value, used_cost: usize) -> Problem

impl Problem

pub fn with_value(self, v: Value) -> Problem

Updates the associated value in a synthesis subproblem and returns the modified instance. This method consumes the current problem instance, replacing its stored value with the provided one, and returns the updated problem for further synthesis processing.

pub fn with_nt(self, nt: usize, v: Value) -> Problem

Updates an existing synthesis subproblem instance with a new non-terminal index and associated value. This method takes ownership of the current instance, sets its non-terminal field to the supplied index and updates its associated value, and then returns the modified instance for chaining or further use.

pub fn root(nt: usize, value: Value) -> Problem

Creates a new synthesis subproblem with a specified non-terminal index and associated value, initializing the accumulated cost to zero.

Initializes a Problem instance intended to represent the root of a synthesis task in the backward deduction process, ensuring that the deduction cost starts at zero.

pub fn inccost(self) -> Problem

Increments the accrued cost associated with a synthesis subproblem and returns the updated instance.

This method updates the internal cost metric by adding one to it, allowing the overall synthesis process to keep track of the computational expense incurred while performing backward deduction. The function consumes the current instance, modifies its cost field, and returns the modified version for further processing.

Trait Implementations

impl Clone for Problem

fn clone(&self) -> Problem

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Problem

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

Formats the value using the given formatter.

impl Copy for Problem