Enum QNode 

pub enum QNode {
    Leaf(CanonClauses),
    Internal {
        clauses: CanonClauses,
        var: u32,
        lo: usize,
        hi: usize,
        lo_twist: Twist,
        hi_twist: Twist,
    },
}

A node of the quotient DAG. Edges carry the Twist that maps the recomputed cofactor onto the stored child representative.

Variants

Leaf(CanonClauses)

Internal

Fields

clauses: CanonClauses

var: u32

lo: usize

hi: usize

lo_twist: Twist

hi_twist: Twist

Trait Implementations

impl Clone for QNode

fn clone(&self) -> QNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QNode

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

Formats the value using the given formatter.