Enum Verdict 

pub enum Verdict {
    Answers,
    Empty,
    Vacuous,
    Suspect,
    Undecidable,
    Unrecognized,
}

What a published starter query is worth on the file that carries it.

Variants

Answers

The card proves at least one row comes back.

Empty

The card proves none does. Airtight for the shapes that turn on a term’s existence (a path step missing from a complete predicate list, a VALUES list disjoint from the link predicates, a default-graph body on an empty default graph); for the class-∧-predicate shape it rests on the quotient, whose one blind spot Refuted documents and narrows.

Vacuous

A row comes back (an un-grouped aggregate always returns one) but it is vacuous — the thing being counted is provably zero.

Suspect

The card cannot prove the join is non-empty, and bounds how much could survive it. Not the same as Empty: reported separately, never merged.

Undecidable

Honestly undecidable from a card — the template says so, or the query conjoins terms nothing in the card can relate.

Unrecognized

The body matches no known revision of its template, so nothing is claimed about it.

Implementations

impl Verdict

pub fn as_str(self) -> &'static str

Trait Implementations

impl Clone for Verdict

fn clone(&self) -> Verdict

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Verdict

impl Debug for Verdict

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

Formats the value using the given formatter.

impl Eq for Verdict

impl PartialEq for Verdict

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for Verdict

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Verdict