Struct Assignment 

pub struct Assignment {
    pub var: TermId,
    pub value: bool,
    pub level: usize,
    pub reason: Option<ReasonClause>,
}

An assignment to a variable.

Fields

var: TermId

Variable being assigned

value: bool

Assigned value

level: usize

Decision level at which this was assigned

reason: Option<ReasonClause>

Reason for assignment (None = decision, Some = propagation)

Trait Implementations

impl Clone for Assignment

fn clone(&self) -> Assignment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Assignment

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

Formats the value using the given formatter.