Enum haybale_pitchfork::AbstractValue

pub enum AbstractValue {
    ExactValue(u64),
    Range(u64, u64),
    Unconstrained,
    Named {
        name: String,
        value: Box<AbstractValue>,
    },
    EqualTo(String),
    SignedLessThan(String),
    SignedGreaterThan(String),
    UnsignedLessThan(String),
    UnsignedGreaterThan(String),
}

A variety of ways to specify a numerical value, from completely unconstrained to fully constrained.

Variants

ExactValue(u64)

This exact numerical value

Range(u64, u64)

Any numerical value in the range (inclusive)

Unconstrained

Any value whatsoever

Named

A value with a (unique) name, so that it can be referenced in a Equal, SignedLessThan, SignedGreaterThan, etc.

If more than one AbstractValue is given the same name, they will implicitly be set equal to each other.

Fields of Named

name: Stringvalue: Box<AbstractValue>

EqualTo(String)

A value equal to the value with the given name

SignedLessThan(String)

A value signed-less-than the value with the given name

SignedGreaterThan(String)

A value signed-greater-than the value with the given name

UnsignedLessThan(String)

A value unsigned-less-than the value with the given name

UnsignedGreaterThan(String)

A value unsigned-greater-than the value with the given name

Implementations

impl AbstractValue

pub fn named(name: &str, value: AbstractValue) -> Self

Trait Implementations

impl Clone for AbstractValue

fn clone(&self) -> AbstractValue

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for AbstractValue

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

Formats the value using the given formatter.

impl Eq for AbstractValue

impl PartialEq<AbstractValue> for AbstractValue

fn eq(&self, other: &AbstractValue) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for AbstractValue

impl StructuralPartialEq for AbstractValue