Enum bellman_ce::Index

pub enum Index {
    Input(usize),
    Aux(usize),
}

Represents the index of either an input variable or auxillary variable.

Variants

Input(usize)Aux(usize)

Trait Implementations

impl Copy for Index

impl PartialEq<Index> for Index

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

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

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

This method tests for !=.

impl Clone for Index

fn clone(&self) -> Index

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Index

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

Formats the value using the given formatter.