Struct Weighted 

pub struct Weighted {
    pub var: VarId,
    pub weights: Vec<Weight>,
    pub measure: Measure,
}

A variable drawn by weight instead of uniformly (a dist selector, C6): code c is chosen with probability proportional to weights[c] * measure(c) among the codes that are still feasible; a code with weight 0, or beyond weights.len(), is never chosen.

With Measure::Distinct this is exact for LRM 18.5.3: the selector’s code is an item of the dist, its weight the item’s per-value weight, and the measure the number of values of the subject that are both in the item and still feasible, so the probability of a feasible value is proportional to the sum of the per-value weights of the items that contain it, however the items overlap or the other constraints exclude values.

Fields

var: VarId

The variable.

weights: Vec<Weight>

The weight of each value of the variable, indexed by value.

measure: Measure

What a code stands for.

Trait Implementations

impl Clone for Weighted

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 Weighted

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

Formats the value using the given formatter.

impl Eq for Weighted

impl PartialEq for Weighted

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Weighted