Packages

p

io.kagera.dsl

simple

package simple

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. simple
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. implicit class ADJ [In] extends AnyRef
  2. type Arc = WLDiEdge[Node]

    Type alias for the edge type of the scalax.collection.Graph backing the petri net.

  3. type MarkingLike[T] = (T) ⇒ SimpleMarking
  4. type Node = Either[Place[_], Transition[_, _]]

    Type alias for the node type of the scalax.collection.Graph backing the petri net.

  5. type Place[C] = Int
  6. type SimpleMarking = Map[Int, Int]
  7. type Transition[I, O] = Int
  8. case class TransitionAdjacency (in: SimpleMarking, out: SimpleMarking) extends Product with Serializable

Value Members

  1. def branch(branchFactor: Int, start: Int = 1): TransitionAdjacency
  2. def createPetriNet(adjacencies: TransitionAdjacency*): PetriNet[Place[_], Transition[_, _]]
  3. implicit def placeIdentifier(p: Place[_]): Id
  4. val runtime: PetriNetRuntime[Place, Transition, Unit, Unit]
  5. def seq(n: Int, start: Int = 1): Seq[TransitionAdjacency]
  6. implicit def toSimpleMarking1(p: Int): SimpleMarking
  7. implicit def toSimpleMarking2(p: (Int, Int)): SimpleMarking
  8. implicit def toSimpleMarking3(p: (Int, Int, Int)): SimpleMarking
  9. implicit def toSimpleMarkingSeq(p: Seq[Int]): SimpleMarking
  10. implicit def transitionIdentifier(t: Transition[_, _]): Id
  11. def tree(branchFactor: Int, depth: Int, start: Int = 1): Seq[TransitionAdjacency]

Inherited from AnyRef

Inherited from Any

Ungrouped