Struct SketchSolver 

pub struct SketchSolver {
    pub candidates_per_hole: usize,
}

A sketch-based synthesiser that fills holes using constraint solving.

Fields

candidates_per_hole: usize

Maximum number of candidate values tried per hole.

Implementations

impl SketchSolver

pub fn new(candidates_per_hole: usize) -> Self

Create a new sketch solver.

pub fn complete(&self, sketch: &Sketch, _spec: &Spec) -> Option<String>

Attempt to complete a sketch given a specification.

Returns the completed program or None if no solution is found.

Trait Implementations

impl Clone for SketchSolver

fn clone(&self) -> SketchSolver

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SketchSolver

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

Formats the value using the given formatter.