Struct DnfVec 

pub struct DnfVec<V>(/* private fields */)
where
    V: Eval + PartialEq;

A boolean expression in Disjunctive Normal Form, stored as a Vec.

Implementations

impl<V> DnfVec<V>

where V: Eval + PartialEq,

pub fn into_vec(self) -> Vec<Expr<V>>

Returns the disjunctive clauses as elements of a Vec.

pub fn is_empty(&self) -> bool

Returns true if the boolean expression contains no terms.

Trait Implementations

impl<V> Clone for DnfVec<V>

where V: Eval + PartialEq + Clone,

fn clone(&self) -> DnfVec<V>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V> Debug for DnfVec<V>

where V: Eval + PartialEq + Debug,

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

Formats the value using the given formatter.

impl<V> Default for DnfVec<V>

where V: Eval + PartialEq,

fn default() -> Self

Returns the “default value” for a type.

impl<V> Eval for DnfVec<V>

where V: Eval + PartialEq,

type Context = <V as Eval>::Context

The contextual data required to evaluate the expression.

fn eval(&self, data: &Self::Context) -> bool

Evaluates the expression, returning its truth value.

impl<V> From<DnfVec<V>> for Vec<Expr<V>>

where V: Eval + PartialEq,

fn from(dnf: DnfVec<V>) -> Vec<Expr<V>>

Converts to this type from the input type.

impl<V> From<Expr<V>> for DnfVec<V>

where V: Eval + PartialEq,

fn from(expr: Expr<V>) -> Self

Converts to this type from the input type.

impl<I, V> From<I> for DnfVec<V>

where I: IntoIterator<Item = Expr<V>>, V: Eval + PartialEq,

fn from(iter: I) -> Self

Converts to this type from the input type.

impl<V> PartialEq for DnfVec<V>

where V: Eval + PartialEq,

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