Skip to main content

Oracle

oxilean_std::program_synthesis::functions

Trait Oracle 

Source 
pub trait Oracle {
    // Required method
    fn query(&self, input: &[String]) -> Option<String>;
}
Expand description

An oracle that can answer membership queries about the target function.

Required Methods§

Source

fn query(&self, input: &[String]) -> Option<String>

Given an input, return the expected output (consulting the oracle).

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§