Struct ConstraintTag 

pub struct ConstraintTag(/* private fields */);

An identifier for constraints, which is used to relate constraints from the model to steps in the proof. Under the hood, a tag is just a NonZero<u32>. The underlying integer can be obtained through the Into implementation.

Constraint tags only be created through [Solver::new_constraint_tag()]. This is a conscious decision, as learned constraints will also need to be tagged, which means the solver has to be responsible for maintaining their uniqueness.

Trait Implementations

impl Clone for ConstraintTag

fn clone(&self) -> ConstraintTag

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintTag

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

Formats the value using the given formatter.

impl Hash for ConstraintTag

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

where __H: Hasher,

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 PartialEq for ConstraintTag

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

fn index(&self) -> usize

fn create_from_index(index: usize) -> ConstraintTag

impl Copy for ConstraintTag

impl Eq for ConstraintTag

impl StructuralPartialEq for ConstraintTag