Package

io.kagera

api

Permalink

package api

Linear Supertypes
MarkingOps, MultiSetOps, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. api
  2. MarkingOps
  3. MultiSetOps
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

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

    Permalink
  2. type Identifiable[T] = (T) ⇒ Id

    Permalink
  3. implicit class IterableToMarking[P[_]] extends AnyRef

    Permalink
    Definition Classes
    MarkingOps
  4. type MarkedPlace[P[_], T] = (P[T], MultiSet[T])

    Permalink
  5. type Marking[P[_]] = HMap[P, MultiSet]

    Permalink
  6. implicit class MarkingFunctions[P[_]] extends AnyRef

    Permalink
    Definition Classes
    MarkingOps
  7. type MultiSet[T] = Map[T, Int]

    Permalink
  8. implicit class MultiSetFunctions[T] extends AnyRef

    Permalink
    Definition Classes
    MultiSetOps
  9. implicit class MultiSetToMarking[P[_]] extends AnyRef

    Permalink
    Definition Classes
    MarkingOps

Value Members

  1. implicit def extractId[T](e: T)(implicit identifiable: Identifiable[T]): Long

    Permalink
  2. implicit def placeToNode[P, T](p: P): Either[P, T]

    Permalink
  3. def requireUniqueElements[T](i: Iterable[T], name: String): Unit

    Permalink
  4. implicit def toMarkedPlace[P[_]](tuple: (P[Unit], Int)): MarkedPlace[P, Unit]

    Permalink
    Definition Classes
    MarkingOps
  5. def toMarking[P[_]](mset: MultiSet[P[_]]): Marking[P]

    Permalink
    Definition Classes
    MarkingOps
  6. implicit def transitionToNode[P, T](t: T): Either[P, T]

    Permalink

Inherited from MarkingOps

Inherited from MultiSetOps

Inherited from AnyRef

Inherited from Any

Ungrouped