Enum In 

pub enum In {
    One {
        place: PlaceRef,
        guard: Option<GuardFn>,
    },
    Exactly {
        place: PlaceRef,
        count: usize,
        guard: Option<GuardFn>,
    },
    All {
        place: PlaceRef,
        guard: Option<GuardFn>,
    },
    AtLeast {
        place: PlaceRef,
        minimum: usize,
        guard: Option<GuardFn>,
    },
}

Input specification with cardinality and optional guard predicate.

CPN-compliant: cardinality determines how many tokens to consume, guard filters which tokens are eligible.

Inputs are always AND-joined (all must be satisfied to enable transition).

Variants

One

Consume exactly 1 token (standard CPN semantics).

Fields

place: PlaceRef

guard: Option<GuardFn>

Exactly

Consume exactly N tokens (batching).

Fields

place: PlaceRef

count: usize

guard: Option<GuardFn>

All

Consume all available tokens (must be 1+).

Fields

place: PlaceRef

guard: Option<GuardFn>

AtLeast

Wait for N+ tokens, consume all when enabled.

Fields

place: PlaceRef

minimum: usize

guard: Option<GuardFn>

Implementations

impl In

pub fn place(&self) -> &PlaceRef

Returns the place reference for this input spec.

pub fn place_name(&self) -> &str

Returns the place name.

pub fn has_guard(&self) -> bool

Returns whether this input spec has a guard.

pub fn guard(&self) -> Option<&GuardFn>

Returns the guard function, if any.

Trait Implementations

impl Clone for In

fn clone(&self) -> In

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for In

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

Formats the value using the given formatter.