Struct DnfHashSet 

pub struct DnfHashSet<V>(/* private fields */)
where
    V: Eval + Eq + Hash;

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

Implementations

impl<V> DnfHashSet<V>

where V: Eval + Eq + Hash,

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 DnfHashSet<V>

where V: Eval + Eq + Hash + Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<V> Debug for DnfHashSet<V>

where V: Eval + Eq + Hash + Debug,

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

Formats the value using the given formatter.

impl<V> Default for DnfHashSet<V>

where V: Eval + Eq + Hash,

fn default() -> Self

Returns the “default value” for a type.

impl<V> Eval for DnfHashSet<V>

where V: Eval + Eq + Hash,

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<DnfHashSet<V>> for Vec<Expr<V>>

where V: Eval + Eq + Hash,

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

Converts to this type from the input type.

impl<V> From<Expr<V>> for DnfHashSet<V>

where V: Eval + Eq + Hash,

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

Converts to this type from the input type.

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

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

fn from(iter: I) -> Self

Converts to this type from the input type.

impl<V> PartialEq for DnfHashSet<V>

where V: Eval + Eq + Hash,

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.