Enum ExactnessClass 

#[repr(u8)]
pub enum ExactnessClass {
    Exact = 0,
    DeterministicApproximate = 1,
    InteractiveApproximate = 2,
}

Exactness profile (plan §4.4). Exactness is an explicit contract, never an invisible server preference.

Variants

Exact = 0

qisp:Exact — robust/exact predicates and constructions where supported.

DeterministicApproximate = 1

qisp:DeterministicApproximate — reproducible approximation with declared absolute/relative error bounds.

InteractiveApproximate = 2

qisp:InteractiveApproximate — renderer/GPU-oriented result; never accepted for a rights-affecting policy without a separate exact verification.

Implementations

impl ExactnessClass

pub const fn iri(&self) -> &'static str

The provisional qisp: IRI for this exactness profile.

The returned literal is QISP_NS + the profile local name; a unit test asserts that invariant so the two stay in lockstep.

Trait Implementations

impl Clone for ExactnessClass

fn clone(&self) -> ExactnessClass

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExactnessClass

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

Formats the value using the given formatter.

impl Hash for ExactnessClass

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 PartialEq for ExactnessClass

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

impl Eq for ExactnessClass

impl StructuralPartialEq for ExactnessClass