Struct simple_predicates::CnfVec

pub struct CnfVec<V>(_)
where
         V: Eval + PartialEq;

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

Implementations

impl<V> CnfVec<V>where V: Eval + PartialEq,

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

Returns the conjunctive 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 CnfVec<V>where V: Eval + PartialEq + Clone,

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<V> Debug for CnfVec<V>where V: Eval + PartialEq + Debug,

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

Formats the value using the given formatter.

impl<V> Default for CnfVec<V>where V: Eval + PartialEq,

fn default() -> Self

Returns the “default value” for a type.

impl<V> Eval for CnfVec<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<CnfVec<V>> for Vec<Expr<V>>where V: Eval + PartialEq,

fn from(cnf: CnfVec<V>) -> Vec<Expr<V>>

Converts to this type from the input type.

impl<V> From<Expr<V>> for CnfVec<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 CnfVec<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<CnfVec<V>> for CnfVec<V>where V: Eval + PartialEq,

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.