Enum AxiomStatus 

pub enum AxiomStatus {
    Supported,
    Partial,
    Rejected,
    Unknown,
    Invoked,
    NotInvoked,
}

AXIOM status after CHECK.

Variants

Supported

Criterion passed or hypothesis supported.

Partial

Criterion/hypothesis is partially supported.

Rejected

Criterion failed or hypothesis was rejected.

Unknown

State is unknown or unresolved.

Invoked

Capability was invoked.

NotInvoked

Capability was explicitly not used.

Implementations

impl AxiomStatus

pub const fn proof_state(self, has_evidence_refs: bool) -> ClaimProofState

Proof state implied by the AXIOM status and source-anchor presence.

Trait Implementations

impl Clone for AxiomStatus

fn clone(&self) -> AxiomStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AxiomStatus

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for AxiomStatus

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for AxiomStatus

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl JsonSchema for AxiomStatus

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl PartialEq for AxiomStatus

fn eq(&self, other: &AxiomStatus) -> 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 Serialize for AxiomStatus

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for AxiomStatus

impl Eq for AxiomStatus

impl StructuralPartialEq for AxiomStatus