-
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 awe convert it correctly to anArray (PlaceMarking a Int)()buildPlaceMarkings :: ∀ a. Ord a => ArrayMultiset a -> Array (PlaceMarkingF a Int)
Metadata
Metadata
Assignees
Labels
No labels