Enum BoolConstraint 

pub enum BoolConstraint {
    Always,
    Never,
    EqTo {
        b: bool,
    },
    Not {
        child: Box<Self>,
    },
}

Boolean-value constraint.

No And/Or — with only two possible values every conjunction / disjunction is either a tautology, a contradiction, or equal to one of its leaves. EqTo(false) and EqTo(true) span the space.

Variants

Always

Always satisfied.

Never

Never satisfied.

EqTo

value == b.

Fields

b: bool

Required value.

Not

Child must not hold.

Fields

child: Box<Self>

The negated child.

Implementations

impl BoolConstraint

pub fn test(&self, value: bool) -> bool

Test a candidate value.

pub fn canonicalize(self) -> Self

Peel double negation and fold Not over the identity variants.

pub fn canonical_bytes(&self) -> Vec<u8>

Canonical byte form of this constraint as written.

pub fn fingerprint(&self) -> Fingerprint

Canonical fingerprint — auto-canonicalises first.

Trait Implementations

impl Clone for BoolConstraint

fn clone(&self) -> BoolConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BoolConstraint

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BoolConstraint

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for BoolConstraint

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Not for BoolConstraint

type Output = BoolConstraint

The resulting type after applying the ! operator.

fn not(self) -> Self

Performs the unary ! operation.

impl PartialEq for BoolConstraint

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for BoolConstraint

impl StructuralPartialEq for BoolConstraint