Struct SingleVariableGeneratingFunction 

pub struct SingleVariableGeneratingFunction<E: Integer>(pub Vec<E>);

Measure the number of solutions of the diagram separated by the number of variables that are true in the solution.

Tuple Fields

0: Vec<E>

Trait Implementations

impl<E: Clone + Integer> Clone for SingleVariableGeneratingFunction<E>

fn clone(&self) -> SingleVariableGeneratingFunction<E>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Integer> Debug for SingleVariableGeneratingFunction<E>

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

Formats the value using the given formatter.

impl<E: Clone + Eq + PartialEq + Debug + Integer + AddAssign> GeneratingFunction for SingleVariableGeneratingFunction<E>

fn variable_set(self, _variable: VariableIndex) -> Self

shift up by one

fn zero() -> Self

The base value for NodeIndex::FALSE

fn one() -> Self

The base value for NodeIndex::TRUE

fn add(self, other: Self) -> Self

Add two GFs.

fn variable_not_set(self, _variable: VariableIndex) -> Self

Effect of having this variable set. Generally nothing

fn deal_with_variable_being_indeterminate(self, variable: VariableIndex) -> Self

Effect of having this variable either set or not set.

fn deal_with_variable_range_being_indeterminate( self, inclusive_start: VariableIndex, exclusive_end: VariableIndex, ) -> Self

Effect of variables inclusive_start..exclusive_end being indeterminate

impl<E: Clone + Eq + PartialEq + Debug + Integer + AddAssign + MulAssign, M: Copy + Integer + TryInto<E>> GeneratingFunctionWithMultiplicity<M> for SingleVariableGeneratingFunction<E>

fn multiply(self, multiple: M) -> Self

multiply self by M.

impl<E: PartialEq + Integer> PartialEq for SingleVariableGeneratingFunction<E>

fn eq(&self, other: &SingleVariableGeneratingFunction<E>) -> 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<E: Eq + Integer> Eq for SingleVariableGeneratingFunction<E>

impl<E: Integer> StructuralPartialEq for SingleVariableGeneratingFunction<E>