Struct ThresholdValues

pub struct ThresholdValues<A: Arch> { /* private fields */ }

A set of I/O examples for a destination, that identify the specific behavior of that destination.

For example, if a destination is the result of a x < y comparison, the I/O examples would contain (at least) one example where x < y, one example where x + 1 = y, one example where x = y and one example where !(x < y).

Implementations

impl<A: Arch> ThresholdValues<A>

pub fn infer<O: Oracle<A>, M: MappableArea, R: Rng>( oracle: &mut O, rng: &mut R, state_gen: &StateGen<'_, A, M>, dataflows: &Dataflows<A, ()>, ) -> ThresholdValues<A>

Trait Implementations

impl<A: Clone + Arch> Clone for ThresholdValues<A>

fn clone(&self) -> ThresholdValues<A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<A: Debug + Arch> Debug for ThresholdValues<A>

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

Formats the value using the given formatter.

impl<A: Default + Arch> Default for ThresholdValues<A>

fn default() -> ThresholdValues<A>

Returns the “default value” for a type.

impl<'de, A: Arch> Deserialize<'de> for ThresholdValues<A>

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<A: PartialEq + Arch> PartialEq for ThresholdValues<A>

fn eq(&self, other: &ThresholdValues<A>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<A: Arch> Serialize for ThresholdValues<A>

where ThresholdValueKey<A>: Serialize,

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error>

where S: Serializer,

Serialize this value into the given Serde serializer.

impl<A: Arch> StructuralPartialEq for ThresholdValues<A>