Enum Tri 

pub enum Tri {
    Required,
    Accepted,
    Rejected,
    NotApplicable,
}

A parsed layout tri-state (FKC §4.1). contiguous admits Required; the other four flags use only Accepted / Rejected. NotApplicable (n/a) is the “no constraint declared” value. An absent flag (YAML key omitted) defaults to Tri::Rejected for the capability flags (the conservative default matching today’s all-false KernelCaps).

Variants

Required

required — the kernel demands this property of the operand.

Accepted

accepted — the kernel handles this property directly.

Rejected

rejected — the kernel cannot consume this property (planner must normalize first).

NotApplicable

n/a — no constraint declared.

Implementations

impl Tri

pub fn is_accepted(self) -> bool

Whether this flag is accepted (the projection predicate).

pub fn is_required(self) -> bool

Whether this flag is required (the operand MUST carry the property; for broadcast_stride0 this marks a baked-broadcast kernel).

Trait Implementations

impl Clone for Tri

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 Tri

impl Debug for Tri

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

Formats the value using the given formatter.

impl Eq for Tri

impl PartialEq for Tri

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Tri