package api
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- api
- MarkingOps
- MultiSetOps
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Type Members
- type BiPartiteGraph[P, T, E[X] <: EdgeLikeIn[X]] = Graph[Either[P, T], E]
- type Identifiable[T] = (T) ⇒ Id
-
implicit
class
IterableToMarking[P[_]] extends AnyRef
- Definition Classes
- MarkingOps
- type MarkedPlace[P[_], T] = (P[T], MultiSet[T])
- type Marking[P[_]] = HMap[P, MultiSet]
-
implicit
class
MarkingFunctions[P[_]] extends AnyRef
- Definition Classes
- MarkingOps
- type MultiSet[T] = Map[T, Int]
-
implicit
class
MultiSetFunctions[T] extends AnyRef
- Definition Classes
- MultiSetOps
-
implicit
class
MultiSetToMarking[P[_]] extends AnyRef
- Definition Classes
- MarkingOps
Value Members
- implicit def extractId[T](e: T)(implicit identifiable: Identifiable[T]): Long
- implicit def placeToNode[P, T](p: P): Either[P, T]
- def requireUniqueElements[T](i: Iterable[T], name: String): Unit
-
implicit
def
toMarkedPlace[P[_]](tuple: (P[Unit], Int)): MarkedPlace[P, Unit]
- Definition Classes
- MarkingOps
-
def
toMarking[P[_]](mset: MultiSet[P[_]]): Marking[P]
- Definition Classes
- MarkingOps
- implicit def transitionToNode[P, T](t: T): Either[P, T]