Struct SymmetricCount 

pub struct SymmetricCount {
    pub representatives: Vec<Vec<bool>>,
    pub total_models: u128,
    pub exhaustive: bool,
}

The solution set described up to symmetry: one representative per orbit, plus the exact total.

Fields

representatives: Vec<Vec<bool>>

One satisfying assignment per orbit of the model set under the variable-symmetry group — the essentially-distinct solutions.

total_models: u128

The EXACT number of models (over the variables that occur), recovered as the sum of orbit sizes — so a 2^Θ(n) model count is obtained by enumerating only the orbits.

exhaustive: bool

false if the representative cap was reached before the model set was exhausted.

Trait Implementations

impl Clone for SymmetricCount

fn clone(&self) -> SymmetricCount

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymmetricCount

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

Formats the value using the given formatter.

impl PartialEq for SymmetricCount

fn eq(&self, other: &SymmetricCount) -> 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 SymmetricCount

impl StructuralPartialEq for SymmetricCount