api

Type Members

1. type BiPartiteGraph[P, T, E[X] <: EdgeLikeIn[X]] = Graph[Either[P, T], E]

   

2. case class HMap[K[_], V[_]](data: Map[K[_], V[_]]) extends Iterable[(K[_], V[_])] with Product with Serializable

   

   Simple Heterogeneous map implementation.

   Simple Heterogeneous map implementation.

   data

   The map backing this heterogeneous map

3. final case class Id(value: Long) extends AnyVal with Product with Serializable

   

4. implicit class IdFn[T] extends AnyRef

   

5. type Identifiable[T] = (T) ⇒ Id

   

6. implicit class IterableToMarking[P[_]] extends AnyRef

   

   Definition Classes

   MarkingOps

7. final case class Label(value: String) extends AnyVal with Product with Serializable

   

8. type Labeled[T] = (T) ⇒ Label

   

9. implicit class LabeledFn[T] extends AnyRef

   

10. type MarkedPlace[P[_], Color] = (P[Color], MultiSet[Color])

    

    Type alias for a single marked place, meaning a place containing tokens.

11. type Marking[P[_]] = HMap[P, MultiSet]

    

    Type alias for a marking.

12. type MarkingData = Map[Long, MultiSet[_]]

    

    Type alias for marking data.

13. implicit class MarkingFunctions[P[_]] extends AnyRef

    

    Some convenience method additions to work with Markings.

    Some convenience method additions to work with Markings.

    Definition Classes

    MarkingOps

14. trait MarkingOps extends AnyRef

    

15. type MultiSet[T] = Map[T, Int]

    

16. implicit class MultiSetFunctions[T] extends AnyRef

    

    Definition Classes

    MultiSetOps

17. trait MultiSetOps extends AnyRef

    

18. implicit class MultiSetToMarking[P[_]] extends AnyRef

    

    Definition Classes

    MarkingOps

19. implicit class OptionOps extends AnyRef

    

20. trait PetriNet[P, T] extends AnyRef

    

    Petri net interface.

    Petri net interface.

    TODO also incorporate the edge types, P -> T and T -> P

21. implicit class PetriNetGraphAdditions[P, T] extends AnyRef

    

22. implicit class PetriNetGraphNodeTAdditions[A, B] extends AnyRef

    

23. class ReferenceTokenGame[P[_], T[_, _]] extends TokenGame[P[_], T[_, _], Marking[P]]

    

24. class ScalaGraphPetriNet[P, T] extends PetriNet[P, T]

    

    TODO; can we remove this wrapper? It seems only needed because we need to mix in other traits with PetriNet which cannot be done with Graph.apply

25. trait TokenGame[P, T, M] extends AnyRef

    

    Interface for deciding which (transition, marking) parameters are 'enabled' or 'fireable' in a petri net.

    Interface for deciding which (transition, marking) parameters are 'enabled' or 'fireable' in a petri net.

    P

    Place

    T

    Transition

    M

    Marking The type of Marking in the PetriNet