Package

io.kagera.api.colored

dsl

Permalink

package dsl

TODO:

This is not much of a DSL yet.

Insight:

Since each transition is different in what kind of in/out places & edges it can take we should probably not create a general connectivity DSL based on the base trait Transition.

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

Type Members

  1. implicit class PlaceDSL[C] extends AnyRef

    Permalink

  2. trait SequenceNet[S, E] extends AnyRef

    Permalink

  3. trait StateTransitionNet[S, E] extends AnyRef

    Permalink

  4. case class TransitionBehaviour[S, E](automated: Boolean, exceptionHandler: TransitionExceptionHandler, fn: (S) ⇒ E) extends Product with Serializable

    Permalink

  5. implicit class TransitionDSL[Input, Output, State] extends AnyRef

    Permalink

Value Members

  1. def arc[C](p: Place[C], t: Transition[_, _, _], weight: Long, filter: (C) ⇒ Boolean = (token: C) ⇒ true): Arc

    Permalink

  2. def arc(t: Transition[_, _, _], p: Place[_], weight: Long): Arc

    Permalink

  3. def constantTransition[I, O, S](id: Long, label: Option[String] = None, automated: Boolean = false, constant: O): AbstractTransition[I, O, S] with IdentityTransition[I, O, S] { val toString: String }

    Permalink

  4. def nullTransition[S](id: Long, label: Option[String] = None, automated: Boolean = false): Transition[Unit, Unit, S]

    Permalink

  5. def process[S](params: Arc*): ExecutablePetriNet[S]

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped