Struct Criterion 

pub struct Criterion {
    pub text: String,
    pub required: bool,
    pub weight: f32,
    pub id: Option<String>,
    pub machine_checkable: Option<bool>,
}

Fields

text: String

required: bool

weight: f32

id: Option<String>

I3.3 (A4): optional stable id from the host’s contract layer; threaded to VerdictFn.

machine_checkable: Option<bool>

I3.3 (A4): host hint — host has a deterministic check for this criterion.

Implementations

impl Criterion

pub fn required(text: impl Into<String>) -> Self

pub fn optional(text: impl Into<String>) -> Self

pub fn with_weight(self, w: f32) -> Self

pub fn with_id(self, id: impl Into<String>) -> Self

I3.3 (A4): attach a stable identifier so VerdictFn can dispatch per-criterion checks.

pub fn machine_checkable(self, on: bool) -> Self

I3.3 (A4): mark this criterion as host-checkable (deterministic) for VerdictFn dispatch.

Trait Implementations

impl Clone for Criterion

fn clone(&self) -> Criterion

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Criterion

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

Formats the value using the given formatter.