Struct ConstraintHints 

pub struct ConstraintHints {
    pub one_hot_constraints: Vec<OneHot>,
    pub sos1_constraints: Vec<Sos1>,
}

Fields

one_hot_constraints: Vec<OneHot>

sos1_constraints: Vec<Sos1>

Implementations

impl ConstraintHints

pub fn is_empty(&self) -> bool

pub fn partial_evaluate( &mut self, state: State, atol: ATol, ) -> Result<State, ConstraintHintsError>

Partially evaluate all constraint hints with the given state.

This method modifies the constraint hints in-place by:

• Removing constraints that are satisfied or cannot be satisfied
• Updating constraints by removing variables fixed to 0

Returns a new State containing the original state plus any additional variable fixings discovered through constraint propagation.

The process iterates until no more variable fixings are discovered, ensuring all constraint propagations are applied.

Trait Implementations

impl Clone for ConstraintHints

fn clone(&self) -> ConstraintHints

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintHints

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

Formats the value using the given formatter.

impl Default for ConstraintHints

fn default() -> ConstraintHints

Returns the “default value” for a type.

impl From<ConstraintHints> for ConstraintHints

fn from(value: ConstraintHints) -> Self

Converts to this type from the input type.

impl PartialEq for ConstraintHints

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

impl StructuralPartialEq for ConstraintHints