Enum EngineRootMotionProjectIntentCountV1 

pub enum EngineRootMotionProjectIntentCountV1 {
    Exact {
        count: u64,
    },
    NPlusOne,
}

A bounded exact count or the first witness beyond its domain cap.

For unmapped declarations, NPlusOne also records that declaration traversal itself reached the first row beyond the bounded work window. This is deliberately conservative: an ownerless tail cannot be treated as a complete proof that no declaration exists without visiting that tail.

Variants

Exact

The exact count was established within the relevant cap.

Fields

count: u64

Exact observed count.

NPlusOne

Counting or bounded declaration traversal reached the first element after the relevant cap.

Implementations

impl EngineRootMotionProjectIntentCountV1

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

Construct one exact bounded count.

pub const fn overflowed(self) -> bool

Whether this count carries an N+1 overflow witness.

Trait Implementations

impl Clone for EngineRootMotionProjectIntentCountV1

fn clone(&self) -> EngineRootMotionProjectIntentCountV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EngineRootMotionProjectIntentCountV1

impl Debug for EngineRootMotionProjectIntentCountV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EngineRootMotionProjectIntentCountV1

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for EngineRootMotionProjectIntentCountV1

impl PartialEq for EngineRootMotionProjectIntentCountV1

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for EngineRootMotionProjectIntentCountV1

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for EngineRootMotionProjectIntentCountV1