Struct Output

pub struct Output<'a, A: Arch> {
    pub output_index: usize,
    pub num_inputs: usize,
    pub fixed_instantiation_choices: Vec<Option<u64>>,
    pub encoding: &'a Encoding<A, ()>,
}

A synthesis output. Corresponds to a dataflow output in an Encoding.

Fields

output_index: usize

num_inputs: usize

fixed_instantiation_choices: Vec<Option<u64>>

encoding: &'a Encoding<A, ()>

Implementations

impl<'a, A: Arch> Output<'a, A>

pub fn extract_from_encoding(encoding: &'a Encoding<A, ()>) -> Vec<Self>

impl<'a, A: Arch> Output<'a, A>

pub fn evaluate_once_internal<const DEBUG: bool, V: AsValue, O: Oracle<A>>( &self, oracle: &mut O, inputs: &[V], ) -> Result<OwnedValue, EvaluationError>

pub fn evaluate_once<V: AsValue, O: Oracle<A>>( &self, oracle: &mut O, inputs: &[V], ) -> Result<OwnedValue, EvaluationError>

pub fn evaluate_debug<V: AsValue, O: Oracle<A>>( &self, oracle: &mut O, inputs: &[V], ) -> Result<OwnedValue, EvaluationError>

pub fn evaluate<V: AsValue, O: Oracle<A>>( &self, oracle: &mut O, inputs: &[V], ) -> Result<OwnedValue, EvaluationError>

Runs evaluate_once multiple times, to hopefully filter out the occasional error because of (for example) remapping.

pub fn extract_io<'i, 'o>( &self, instance: &Dataflows<A, ()>, state_in: &'i SystemState<A>, part_values: &[u64], state_out: &'o SystemState<A>, ) -> (ArrayVec<Value<'i>, 32>, Value<'o>)

pub fn input_types(&self) -> Vec<IoType>

pub fn output_type(&self) -> IoType

pub fn dest(&self) -> Dest<A>

Trait Implementations

impl<'a, A: Clone + Arch> Clone for Output<'a, A>

fn clone(&self) -> Output<'a, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, A: Debug + Arch> Debug for Output<'a, A>

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

Formats the value using the given formatter.