Enum Declared 

pub enum Declared {
    Int(u32),
    Real(u32),
    Array(u32),
}

A leaf declared as a random variable, in the namespace it lives in.

Variants

Int(u32)

An integral leaf: an id of ConstraintSet::vars.

Real(u32)

A real/shortreal leaf: an id of ConstraintSet::real_vars.

Array(u32)

A dynamic array or queue leaf (rand int a[3][], a rand queue member of a struct): an id of ConstraintSet::arrays whose handle sits at a window of the property.

Trait Implementations

impl Clone for Declared

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Declared

impl Debug for Declared

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

Formats the value using the given formatter.

impl Eq for Declared

impl PartialEq for Declared

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Declared