Struct Soft 

pub struct Soft {
    pub priority: Priority,
    pub dists: Vec<u32>,
    pub keys: Vec<SoftKey>,
    pub disabled: bool,
    pub disabled_by: Vec<u32>,
}

One soft constraint of a program.

Fields

priority: Priority

Its priority.

dists: Vec<u32>

The Dists (indices into the program’s dist table) it contains.

keys: Vec<SoftKey>

The random variables it directly mentions.

disabled: bool

Discarded for every call by a higher-priority disable soft (apply_disables).

disabled_by: Vec<u32>

The disable softs (Disables, by their index in the program’s table) that reach it: Self::disabled is whether any is in force. A disable soft in a constraint block constraint_mode(0) switched off is not (LRM 18.9), so a call recomputes the flag from this list.

Trait Implementations

impl Clone for Soft

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 Soft

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Soft

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for Soft

impl PartialEq for Soft

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Soft

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Soft