Struct Query 

pub struct Query {
    pub cone: Vec<u32>,
    pub extra: Vec<u32>,
    pub num_vars: usize,
    pub clauses: Vec<Vec<Lit>>,
}

A lemma’s formula: variable k is the k-th node of cone (the two literals’ cone, in increasing order), then of extra (nodes outside the cone an earlier lemma relates to a node inside it, free, in increasing order).

Fields

cone: Vec<u32>

extra: Vec<u32>

num_vars: usize

clauses: Vec<Vec<Lit>>

Trait Implementations

impl Clone for Query

fn clone(&self) -> Query

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Query

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

Formats the value using the given formatter.