libpetri 1.5.0 → 1.7.0

package/dist/{petri-net-C3Jy5HCt.d.ts → petri-net-DrTpTRNy.d.ts}

@@ -364,10 +364,28 @@ declare class TransitionContext {
     /** Returns declared read places (context, not consumed). */
     readPlaces(): ReadonlySet<Place<any>>;
     private requireRead;
-    /** Add output value. Throws if place not declared as output. */
-    output<T>(place: Place<T>, value: T): this;
-    /** Add output token with metadata. */
-    outputToken<T>(place: Place<T>, token: Token<T>): this;
+    /**
+     * Add one or more output values to the same place in a single call.
+     *
+     * Validates the place once, then appends each value to the output
+     * collector. Calling with zero values is a no-op.
+     *
+     * @example
+     *   ctx.output(outPlace, 'a', 'b', 'c');
+     *   ctx.output(outPlace, ...someArray);
+     *
+     * @throws if place not declared as output.
+     */
+    output<T>(place: Place<T>, ...values: T[]): this;
+    /**
+     * Add one or more pre-built output tokens to the same place in a single call.
+     *
+     * Validates the place once, then appends each token. Calling with zero
+     * tokens is a no-op.
+     *
+     * @throws if place not declared as output.
+     */
+    outputToken<T>(place: Place<T>, ...tokens: Token<T>[]): this;
     /** Returns declared output places. */
     outputPlaces(): ReadonlySet<Place<any>>;
     private requireOutput;

package/dist/verification/index.d.ts

@@ -1,4 +1,4 @@
-import { P as Place, b as Transition, a as PetriNet, E as EnvironmentPlace } from '../petri-net-C3Jy5HCt.js';
+import { P as Place, b as Transition, a as PetriNet, E as EnvironmentPlace } from '../petri-net-DrTpTRNy.js';
 import { Expr, init, Bool, FuncDecl } from 'z3-solver';
 
 /**

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "libpetri",
-  "version": "1.5.0",
+  "version": "1.7.0",
   "description": "Coloured Time Petri Net engine — TypeScript port",
   "homepage": "https://libpetri.org",
   "repository": {