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. 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

13. trait MarkingOps extends AnyRef

    

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

    

15. implicit class MultiSetFunctions[T] extends AnyRef

    

    Definition Classes

    MultiSetOps

16. trait MultiSetOps extends AnyRef

    

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

    

    Definition Classes

    MarkingOps

18. implicit class OptionOps extends AnyRef

    

19. trait PetriNet[P, T] extends AnyRef

    

    Petri net interface.

    Petri net interface.

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

20. class PetriNetAnalysis[P, T] extends AnyRef

    

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

    

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

    

23. 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