Enum GoalStatus 

pub enum GoalStatus {
    Pending,
    InProgress,
    Proven,
    Unprovable,
}

Status of a goal in the proof process

Variants

Pending

Goal has not been attempted yet

InProgress

Goal is currently being proven (to detect cycles)

Proven

Goal has been successfully proven

Unprovable

Goal cannot be proven with available rules/facts

Trait Implementations

impl Clone for GoalStatus

fn clone(&self) -> GoalStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GoalStatus

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

Formats the value using the given formatter.

impl PartialEq for GoalStatus

fn eq(&self, other: &GoalStatus) -> 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.

impl Eq for GoalStatus

impl StructuralPartialEq for GoalStatus