Struct OracleSynthLoop 

pub struct OracleSynthLoop {
    pub queries: Vec<Vec<String>>,
    pub answers: Vec<Option<String>>,
}

Oracle-guided synthesis loop.

Fields

queries: Vec<Vec<String>>

Queries made so far.

answers: Vec<Option<String>>

Answers received.

Implementations

impl OracleSynthLoop

pub fn new() -> Self

Create a new oracle-guided synthesis loop.

pub fn query( &mut self, oracle: &dyn Oracle, input: Vec<String>, ) -> Option<String>

Make an oracle query and record the answer.

pub fn num_queries(&self) -> usize

Number of oracle queries made.

Trait Implementations

impl Clone for OracleSynthLoop

fn clone(&self) -> OracleSynthLoop

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OracleSynthLoop

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

Formats the value using the given formatter.

impl Default for OracleSynthLoop

fn default() -> Self

Returns the “default value” for a type.