Struct ImplicationNode 

pub struct ImplicationNode {
    pub literal: Lit,
    pub level: Level,
    pub antecedents: Vec<Lit>,
    pub consequents: Vec<Lit>,
    pub is_decision: bool,
}

Node in implication graph.

Fields

literal: Lit

The literal at this node.

level: Level

Decision level when this literal was assigned.

antecedents: Vec<Lit>

Antecedent literals (reasons for propagation).

consequents: Vec<Lit>

Consequents (literals this one implies).

is_decision: bool

Is this a decision literal?

Implementations

impl ImplicationNode

pub fn decision(literal: Lit, level: Level) -> Self

Create decision node.

pub fn propagated(literal: Lit, level: Level, antecedents: Vec<Lit>) -> Self

Create propagated node.

Trait Implementations

impl Clone for ImplicationNode

fn clone(&self) -> ImplicationNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ImplicationNode

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

Formats the value using the given formatter.