Struct VtreeBuild 

pub struct VtreeBuild {
    pub root: Arc<Vtree>,
    pub components: Option<Vec<ComponentVtree>>,
}

What a build returns: the vtree over every variable of the formula, and the component trees when the build split the formula.

Fields

root: Arc<Vtree>

The vtree over the formula’s variables 1..=num_vars.

components: Option<Vec<ComponentVtree>>

One tree per independent component, when the spec reads the formula’s structure and the formula has two or more components; None when the build did not split. ComponentPlan::from_components turns it into the plan compile_cnf takes.

Trait Implementations

impl Clone for VtreeBuild

fn clone(&self) -> VtreeBuild

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VtreeBuild

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

Formats the value using the given formatter.