Enum Verdict 

pub enum Verdict {
    Equal,
    Differ {
        inputs: Vec<bool>,
        latches: Vec<bool>,
    },
    Unknown(String),
}

What decide found for one pair of literals.

Variants

Equal

Differ

An assignment, of the inputs by index and the latches by index, under which the two literals differ.

Fields

inputs: Vec<bool>

latches: Vec<bool>

Unknown(String)

No verdict: the conflict budget ran out, or the solver’s answer did not survive its own check.

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verdict

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

Formats the value using the given formatter.

impl PartialEq for Verdict

fn eq(&self, other: &Verdict) -> 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 Eq for Verdict

impl StructuralPartialEq for Verdict