Struct Inference 

pub struct Inference {
    pub pre: Option<String>,
    pub weakest: bool,
    pub examples: (usize, usize),
    pub report: Option<Report>,
}

The outcome of inference.

Fields

pre: Option<String>

The precondition found, in the transformation syntax. None when none is needed (then the report is valid), when none separates the examples, or when there are no symbolic constants (then there is no report).

weakest: bool

Whether it admits every valid example (so it is the weakest the vocabulary can say at the widths sampled).

examples: (usize, usize)

Valid and invalid examples seen.

report: Option<Report>

The verification of the transformation with the precondition.

Trait Implementations

impl Clone for Inference

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Inference

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

Formats the value using the given formatter.