-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Description
check that:
- given a marking and a sequence of firings, check that the resulting marking is as expected (
fire :: Wiring -> Firing -> Marking -> FiringError \/ Marking - given a wiring tree, check that the linearization into glued transitions is correct (
linearize :: WiringTree -> LinearizationError \/ Array (Glued Transition) - given an
ArrayMultiset a
we convert it correctly to anArray (PlaceMarking a Int)
(buildPlaceMarkings :: ∀ a. Ord a => ArrayMultiset a -> Array (PlaceMarkingF a Int)
Metadata
Metadata
Assignees
Labels
No labels