Struct Component 

pub struct Component {
    pub clause_indices: Vec<usize>,
    pub local_to_global: Vec<VarId>,
}

An independent component of a formula: its clauses, and the formula variables it renumbers.

A component is compiled as a formula of its own over the local variables 1..=k, k being local_to_global.len(): local variable i + 1 stands for the formula variable local_to_global[i].

Fields

clause_indices: Vec<usize>

The component’s clauses, as indices into the formula’s clauses.

local_to_global: Vec<VarId>

The formula variable of each local variable, ascending: entry i is the one local variable i + 1 stands for.

Trait Implementations

impl Clone for Component

fn clone(&self) -> Component

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Component

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

Formats the value using the given formatter.

impl PartialEq for Component

fn eq(&self, other: &Component) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Component

impl StructuralPartialEq for Component