Struct Superoptimiser 

pub struct Superoptimiser {
    pub instruction_set: Vec<String>,
    pub max_length: usize,
    pub tested: usize,
}

A superoptimiser that searches for the shortest equivalent program.

Fields

instruction_set: Vec<String>

Instruction set available to the target program.

max_length: usize

Maximum program length to enumerate.

tested: usize

Number of programs tested.

Implementations

impl Superoptimiser

pub fn new(instruction_set: Vec<String>, max_length: usize) -> Self

Create a new superoptimiser.

use oxilean_std::program_synthesis::Superoptimiser;
let so = Superoptimiser::new(vec!["add".into(), "mul".into()], 4);
assert_eq!(so.max_length, 4);

pub fn enumerate_length(&self, length: usize) -> Vec<Vec<String>>

Enumerate all programs of the given length.

pub fn test_equivalent( &mut self, _candidate: &[String], _reference: &[String], ) -> bool

Test a candidate program against a reference (placeholder).

pub fn optimise(&mut self, reference: &[String]) -> Option<Vec<String>>

Attempt to find the shortest equivalent program of length ≤ max_length.

Trait Implementations

impl Clone for Superoptimiser

fn clone(&self) -> Superoptimiser

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Superoptimiser

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

Formats the value using the given formatter.