Struct Context

pub struct Context {
    pub len: usize,
    pub p: Vec<Value>,
    pub n: Vec<Value>,
    pub output: Value,
}

A struct that encapsulates the contextual information used during a string synthesis evaluation.

Fields

len: usize

p: Vec<Value>

Store inputs

n: Vec<Value>

No longer used

output: Value

Implementations

impl Context

pub fn new(len: usize, p: Vec<Value>, n: Vec<Value>, output: Value) -> Context

impl Context

pub fn len(&self) -> usize

Returns the length of the context of the values.

pub fn get(&self, index: i64) -> Option<&Value>

Retrieve a input value from the context based on the provided index.

pub fn iter(&self) -> impl Iterator<Item = Value> + '_

Provides an iterator over the inputs

pub fn inputs(&self) -> impl Iterator<Item = Value> + '_

Provides an iterator over all input values contained within a given context.

pub fn outputs(&self) -> impl Iterator<Item = Value> + '_

Returns an iterator over the output values within the context.

pub fn evaluate(&self, e: &'static Expr) -> Option<Bits>

Evaluates an expression within the given context and determines its equivalence to the context’s output.

pub fn with_examples(&self, exs: &[usize]) -> Context

Creates a new instance by filtering the existing values with provided indices.

impl Context

pub fn from_examples(examples: &IOExamples) -> Self

Creates a Context instance from a reference to IOExamples.

Trait Implementations

impl Clone for Context

fn clone(&self) -> Context

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Context

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

Formats the value using the given formatter.

impl Index<i64> for Context

fn index(&self, index: i64) -> &Self::Output

Provides a method for retrieving elements from a context using an index.

type Output = Value

The returned type after indexing.