Enum ShaclConstraint 

pub enum ShaclConstraint {
    Datatype(ShaclDatatype),
    MinLength(u32),
    MaxLength(u32),
    MinCount(u32),
    MaxCount(u32),
    In {
        count: u8,
        values: [u64; 8],
    },
    DeonticObligate,
    DeonticPermit,
    DeonticForbid,
    DeonticNotExpired {
        now_unix: u32,
    },
    EpistemicKnowledge {
        min_certainty: u8,
    },
    EpistemicBelief {
        min_certainty: u8,
    },
    CommonKnowledge,
}

Zero-heap SHACL Constraint AST Uses primitive types and FNV-1a hashes to fit within the memory ceiling.

Variants

Datatype(ShaclDatatype)

MinLength(u32)

MaxLength(u32)

MinCount(u32)

MaxCount(u32)

In

For sh:in, we store up to 8 permitted hashes inline to avoid allocation. If more are needed, it would overflow to a separate memory-mapped buffer.

Fields

count: u8

values: [u64; 8]

DeonticObligate

DeonticPermit

DeonticForbid

DeonticNotExpired

Fields

now_unix: u32

EpistemicKnowledge

Fields

min_certainty: u8

EpistemicBelief

Fields

min_certainty: u8

CommonKnowledge

Trait Implementations

impl Clone for ShaclConstraint

fn clone(&self) -> ShaclConstraint

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ShaclConstraint

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

Formats the value using the given formatter.

impl PartialEq for ShaclConstraint

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

impl StructuralPartialEq for ShaclConstraint