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. final case class Label(value: String) extends AnyVal with Product with Serializable

   

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

   

8. implicit class LabeledFn[T] extends AnyRef

   

9. implicit class OptionOps extends AnyRef

   

10. trait PetriNet[P, T] extends AnyRef

    

    Petri net interface.

    Petri net interface.

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

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

    

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

    

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

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

    

    Interface for deciding which (transition, marking) parameters are 'enabled'

    Interface for deciding which (transition, marking) parameters are 'enabled'

    P

    Place

    T

    Transition

    M

    Marking The type of Marking in the PetriNet