Struct ProgramSynthesizer 

pub struct ProgramSynthesizer { /* private fields */ }

Program synthesis engine for generating code from specifications

Implementations

impl ProgramSynthesizer

pub fn new() -> Self

Create a new program synthesizer with default settings

pub fn with_strategy(strategy: SynthesisStrategy) -> Self

Create synthesizer with custom strategy

pub fn with_max_depth(self, depth: usize) -> Self

Set maximum search depth

pub fn with_timeout(self, timeout_ms: u64) -> Self

Set synthesis timeout

pub fn synthesize_from_examples( &self, examples: &[SynthesisExample], ) -> JitResult<SynthesisResult>

Synthesize program from input/output examples

pub fn synthesize_from_spec( &self, specification: &str, ) -> JitResult<SynthesisResult>

Synthesize program from specification

pub fn verify_program( &self, graph: &ComputationGraph, examples: &[SynthesisExample], ) -> JitResult<f64>

Verify a synthesized program against examples

pub fn optimize_program( &self, graph: ComputationGraph, ) -> JitResult<ComputationGraph>

Optimize a synthesized program

Trait Implementations

impl Clone for ProgramSynthesizer

fn clone(&self) -> ProgramSynthesizer

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramSynthesizer

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

Formats the value using the given formatter.

impl Default for ProgramSynthesizer

fn default() -> Self

Returns the “default value” for a type.