Struct AffinePCanonical 

pub struct AffinePCanonical {
    pub num_vars: usize,
    pub clauses: Vec<Vec<Lit>>,
    /* private fields */
}

The reduced one-hot formula over the surviving groups, plus the lift map.

Fields

num_vars: usize

clauses: Vec<Vec<Lit>>

Implementations

impl AffinePCanonical

pub fn lift(&self, reduced_model: &[bool]) -> Vec<bool>

Lift a model of the reduced formula back over the original one-hot bits.

Trait Implementations

impl Clone for AffinePCanonical

fn clone(&self) -> AffinePCanonical

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AffinePCanonical

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

Formats the value using the given formatter.