[#328] [stbx-core] Rename buildTokens to buildTransitionMarking.

Author: epost

stbx-core/src/Statebox/Core/Transition.purs

@@ -30,8 +30,8 @@ type Tokens = Int
 
 --------------------------------------------------------------------------------
 
-buildTokens :: ∀ a. Ord a => ArrayMultiset a -> ArrayMultiset a -> TransitionF a Tokens
-buildTokens pre post =
+buildTransitionMarking :: ∀ a. Ord a => ArrayMultiset a -> ArrayMultiset a -> TransitionF a Tokens
+buildTransitionMarking pre post =
   { pre:  buildPlaceMarkings pre
   , post: buildPlaceMarkings post
   }

stbx-core/src/Statebox/Core/WiringTree.purs

@@ -10,7 +10,7 @@ import Data.Tuple.Nested ((/\))
 
 import Data.ArrayMultiset (ArrayMultiset)
 import Data.Petrinet.Representation.NLL (ErrNetEncoding, TransitionF', fromNLL)
-import Statebox.Core.Transition (Glued(..), Transition, buildTokens, isInitial, isFinal)
+import Statebox.Core.Transition (Glued(..), Transition, buildTransitionMarking, isInitial, isFinal)
 import Statebox.Core.Types (Diagram, Net, PID, TID, Wiring)
 
 data WiringTree
@@ -49,7 +49,7 @@ buildGluedTransition tid (pre /\ post) name =
     _ , [] -> Final     gluedTransition
     _ , _  -> Untouched gluedTransition
   where
-    gluedTransition = { name, path, transition: tid, tokens: buildTokens pre post }
+    gluedTransition = { name, path, transition: tid, tokens: buildTransitionMarking pre post }
     path = [netIndex, diagramIndex, 0] -- path to trivial diagram that is assumed to exist
     diagramIndex = 0
     netIndex = 0