Struct Dnf 

pub struct Dnf(pub Vec<Conjunction>);

A disjunction of conjunctions of constraints: true if any of the clauses contain constraints all of which are true.

Tuple Fields

0: Vec<Conjunction>

Implementations

impl Dnf

pub fn trivially_false() -> Self

The trivially false disjunction, unprovable no matter what.

pub fn trivially_true() -> Self

The trivially true disjunction, provable with no evidence.

pub fn is_trivially_true(&self) -> bool

Tests if a conjunction is trivially true (i.e. requires no evidence to be true).

pub fn only_if(conj: Conjunction) -> Self

Construct a disjunction from a single conjunction.

Trait Implementations

impl Clone for Dnf

fn clone(&self) -> Dnf

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Dnf

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

Formats the value using the given formatter.