[net] PlaceEntry -- has queue of values

xieyuheng · xieyuheng · commit d7239e9ff6b9 · 2023-11-15T11:13:04.000+08:00
diff --git a/TODO.md b/TODO.md
@@ -1,6 +1,5 @@
 # net
 
-[net] PlaceEntry -- has queue of values
 [net] addPlace
 [net] addTransition
 
diff --git a/src/lang/net/Net.ts b/src/lang/net/Net.ts
@@ -35,4 +35,5 @@ export type PlaceEntry = {
   inputs: Array<TransitionEntry>
   outputs: Array<TransitionEntry>
   t: Value
+  queue: Array<Value>
 }

Original file line number	Diff line number	Diff line change
`@@ -35,4 +35,5 @@ export type PlaceEntry = {`
`35`	`35`	`inputs: Array<TransitionEntry>`
`36`	`36`	`outputs: Array<TransitionEntry>`
`37`	`37`	`t: Value`
	`38`	`+ queue: Array<Value>`
`38`	`39`	`}`