Enum ExpandError 

pub enum ExpandError {
    IndexOutOfRange {
        array: ArrayId,
        index: i64,
        size: usize,
    },
    LeafIndexOutOfRange {
        index: i64,
        size: usize,
    },
    NonConstantIndex,
    GuardError,
    StateUnknown(u32),
    Func(FuncError),
    DistRandomBound,
    Malformed(&'static str),
}

Why expand failed.

Variants

IndexOutOfRange

An element index outside 0..size in a live constraint.

Fields

array: ArrayId

The array.

index: i64

The index (may be negative).

size: usize

The array’s size in this call.

LeafIndexOutOfRange

An index outside the elements of a fixed-size array held in a class property (ArrayNode::Pick) in a live constraint.

Fields

index: i64

The index (may be negative).

size: usize

The array’s size.

NonConstantIndex

An element index that is not a constant once the loop variables are substituted.

GuardError

A guard of an implication or if constraint is ERROR (LRM 18.5.12).

StateUnknown(u32)

A state an index or constant guard reads is X/Z.

Func(FuncError)

A function called from a constraint failed on fixed arguments.

DistRandomBound

A weight or bound of a dist inside a foreach over a dynamic array reads a random element once the loop is unrolled (LRM 18.5.3: weights and bounds are fixed values).

Malformed(&'static str)

The array-level IR is malformed (a builder bug).

Trait Implementations

impl Clone for ExpandError

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 ExpandError

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

Formats the value using the given formatter.

impl Eq for ExpandError

impl PartialEq for ExpandError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExpandError