ITransition<'Token>
Namespace: QuickGraph.Petri
A node of a net, taken from the transition kind.
Instance members
| Instance member | Description |
Condition()
Signature: unit -> unit
Modifiers: abstract |
A boolean expression associated with the transition |
