Struct ProgramSketch 

pub struct ProgramSketch {
    pub template: String,
    pub num_holes: usize,
    pub hole_types: Vec<String>,
}

A program sketch: a program template with “holes” to be filled.

Fields

template: String

The template string with {hole_N} placeholders.

num_holes: usize

The number of holes.

hole_types: Vec<String>

The type constraints for each hole (simplified).

Implementations

impl ProgramSketch

pub fn new(template: &str, num_holes: usize) -> Self

Create a new program sketch.

pub fn set_hole_type(&mut self, i: usize, ty: &str)

Set the type of hole i.

pub fn fill(&self, completions: &[&str]) -> String

Fill holes with given completions to get a concrete program.

pub fn is_complete(&self, program: &str) -> bool

Check if all holes are filled in a given program string.

pub fn sketch_space_size(&self, num_operations: u64) -> u64

Generate all sketches of programs up to depth d with k holes. Returns simplified count: (operations^holes).

Trait Implementations

impl Clone for ProgramSketch

fn clone(&self) -> ProgramSketch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProgramSketch

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

Formats the value using the given formatter.