Enum NullRejectionProof 

pub enum NullRejectionProof {
    Proven {
        possible_truths: TruthSet,
    },
    NotProven {
        possible_truths: TruthSet,
    },
}

The result of attempting to prove that a predicate rejects null extension.

A proof is valid only when TRUE is absent from the over-approximated truth set. NotProven is intentionally not a claim that the predicate accepts a null-extended row.

Variants

Proven

Fields

possible_truths: TruthSet

NotProven

Fields

possible_truths: TruthSet

Implementations

impl NullRejectionProof

pub const fn is_proven(self) -> bool

pub const fn possible_truths(self) -> TruthSet

Trait Implementations

impl Clone for NullRejectionProof

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for NullRejectionProof

impl Debug for NullRejectionProof

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

Formats the value using the given formatter.

impl Eq for NullRejectionProof

impl PartialEq for NullRejectionProof

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for NullRejectionProof