io.kagera.api.colored.transitions
IdentityTransition
Related Doc:
package transitions
Given the in and out adjacent places with their weight returns a function:
Given the in and out adjacent places with their weight returns a function:
(Mi, S, I) => (Mo, O)
Where:
Mi is the in-adjacent marking, the tokens this transition consumes. S is the context state. I is input data
Mo is the out-adjacent marking, the tokens this transition produces. O is the emitted output
TODO instead of requiring this on a Transition trait a Type-Class approach looks more flexible.
For example some type T[_, _, _] we have T => TransitionFunction The same goes for other properties defined on this trait.
This way we can forgo with the entire Transition trait and let user's use whatever they want. For example, in simple cases (uncolored place / transition nets) an identifier (Int or Long) as a type is enough.
The unique identifier of this transition.
The unique identifier of this transition.
The unique identifier.
Flag indicating whether this transition is managed or manually triggered from outside.
Flag indicating whether this transition is managed or manually triggered from outside.
This is only true IFF Input == Unit.
TODO How to encode this? the problem is in some contexts the Input type is unknown but this property might still be needed
Require a TypeTag for Input?
A human readable label of this transition.
Indicates a strategy to use when dealing with exceptions.
Indicates a strategy to use when dealing with exceptions.
The state event sourcing function.
The state event sourcing function.