Enum PredictionFacetDemandV2 

pub enum PredictionFacetDemandV2 {
    Exact(usize),
    NPlusOne,
}

Bounded candidate demand reported before V2 production-rule evaluation.

A producer must count only until the first excess candidate. NPlusOne never carries or retains the omitted candidate payload; it says only that demand is greater than the per-rule bound. The file allocator consumes this value before any rule emits facets, preventing orphaned finding bindings.

Variants

Exact(usize)

The exact demand was counted within the bound.

NPlusOne

Counting reached the first candidate after the bound.

Implementations

impl PredictionFacetDemandV2

pub fn exact(count: usize) -> Result<Self, PredictionContractError>

Construct a bounded exact demand.

pub const fn bounded_count(self) -> usize

Return the retained candidate count, treating N+1 as the cap.

pub const fn overflowed(self) -> bool

Whether the actual demand exceeded the counted bound.

Trait Implementations

impl Clone for PredictionFacetDemandV2

fn clone(&self) -> PredictionFacetDemandV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PredictionFacetDemandV2

impl Debug for PredictionFacetDemandV2

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

Formats the value using the given formatter.

impl Eq for PredictionFacetDemandV2

impl PartialEq for PredictionFacetDemandV2

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PredictionFacetDemandV2