Struct ConstraintHints 

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

Constraint hints provide additional information about active constraints to help solvers optimize more efficiently.

Important

Constraint hints can only reference active constraints, not removed constraints. When a constraint is relaxed (moved to removed_constraints), any associated hints are automatically invalidated. When adding hints via crate::Instance::add_constraint_hints, referencing a removed constraint will result in an error.

When parsing an instance from bytes, hints that reference removed or unknown constraints are discarded (with debug-level logging) for backward compatibility with legacy artifacts.

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 LogicalMemoryProfile for ConstraintHints

fn visit_logical_memory<V: LogicalMemoryVisitor>( &self, path: &mut Path, visitor: &mut V, )

Enumerate the “logical memory leaves” of this value.

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