Struct AnfPolynomial 

pub struct AnfPolynomial { /* private fields */ }

Polynomial representation of Boolean function in Algebraic Normal Form (ANF).

The ANF representation is a XOR sum of monomials, where each monomial is a AND product of variables.

Implementations

impl AnfPolynomial

pub fn get_polynomial_small(&self) -> Option<u64>

Get the polynomial in ANF representation in unsigned 64-bit integer format. The unsigned representation of ANF is explained in README.md.

Returns None if the polynomial is too big to fit in a 64-bit integer (ie more than 6 variables).

pub fn get_polynomial_big(&self) -> BigUint

Get the polynomial in ANF representation in big unsigned integer format. The unsigned representation of ANF is explained in README.md.

pub fn get_degree(&self) -> usize

Get the degree of the polynomial.

The degree of the polynomial is the maximum number of variables in a monomial.

pub fn to_string(&self) -> String

Returns the string representation of the polynomial.

The monomials are ordered by the number of variables in the monomial in descending order, and then by the lexicographic order of the variables.

Example: “x0*x1 + x0 + x1 + x2”, the ‘+’ operator is the XOR operator, and the ‘*’ operator is the AND operator.

pub fn from_str( anf_polynomial: &str, num_variables: usize, ) -> Result<Self, BooleanFunctionError>

Computes the ANF polynomial from string representation

Representation must be in the form “x0*x2*x3 + x2*x3 + x1 + 1”.

X’s index starts at 0, meaning the maximum index is variable count - 1.

Parameters:

• anf_polynomial: The string representation of the ANF form
• num_variables: Variable count of the polynomial

Returns:

The ANF polynomial, or an error if the input string doesn’t respect the format and unsafe_disable_safety_checks feature is not activated.

pub fn get_boolean_function_type(&self) -> BooleanFunctionType

Returns Boolean function internal storage type:

• Small for u64 internal storage (less or equal than 6 variables Boolean function)
• Big for BigUInt internal storage (more than 6 variables Boolean function)

pub fn to_boolean_function(&self) -> BooleanFunction

Convert ANF polynomial to the corresponding Boolean Function, using fast ANF transform algorithm

Returns

A Boolean function corresponding to the polynomial

Trait Implementations

impl Add for AnfPolynomial

ADD operator for Boolean functions ANF polynomial.

It is equivalent to crate::AnfPolynomial::bitxor operator.

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

type Output = AnfPolynomial

The resulting type after applying the + operator.

fn add(self, rhs: Self) -> Self::Output

Performs the + operation.

impl AddAssign for AnfPolynomial

In-place ADD operator for Boolean functions ANF polynomial.

It is equivalent to crate::AnfPolynomial::bitxor_assign operator.

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

fn add_assign(&mut self, rhs: Self)

Performs the += operation.

impl BitAnd for AnfPolynomial

AND operator for Boolean functions ANF polynomial

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

type Output = AnfPolynomial

The resulting type after applying the & operator.

fn bitand(self, rhs: Self) -> Self::Output

Performs the & operation.

impl BitAndAssign for AnfPolynomial

In-place AND operator for Boolean functions ANF polynomial

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

fn bitand_assign(&mut self, rhs: Self)

Performs the &= operation.

impl BitXor for AnfPolynomial

XOR operator for Boolean functions ANF polynomial

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

type Output = AnfPolynomial

The resulting type after applying the ^ operator.

fn bitxor(self, rhs: Self) -> Self::Output

Performs the ^ operation.

impl BitXorAssign for AnfPolynomial

In-place XOR operator for Boolean functions ANF polynomial

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

fn bitxor_assign(&mut self, rhs: Self)

Performs the ^= operation.

impl Clone for AnfPolynomial

fn clone(&self) -> AnfPolynomial

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnfPolynomial

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

Formats the value using the given formatter.

impl Display for AnfPolynomial

Display implementation for AnfPolynomial.

Internally uses the AnfPolynomial::to_string method.

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

Formats the value using the given formatter.

impl Into<BooleanFunction> for AnfPolynomial

fn into(self) -> BooleanFunction

Converts this type into the (usually inferred) input type.

impl Into<String> for AnfPolynomial

fn into(self) -> String

Converts this type into the (usually inferred) input type.

impl Mul for AnfPolynomial

MUL operator for Boolean functions ANF polynomial.

It is equivalent to crate::AnfPolynomial::bitand operator.

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

type Output = AnfPolynomial

The resulting type after applying the * operator.

fn mul(self, rhs: Self) -> Self::Output

Performs the * operation.

impl MulAssign for AnfPolynomial

In-place MUL operator for Boolean functions ANF polynomial.

It is equivalent to crate::AnfPolynomial::bitand_assign operator.

Panics

If the Boolean functions have different number of variables, and the unsafe_disable_safety_checks feature is not enabled.

fn mul_assign(&mut self, rhs: Self)

Performs the *= operation.

impl PartialEq for AnfPolynomial

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

impl StructuralPartialEq for AnfPolynomial