package
execution
Type Members
-
-
case class
ExceptionState(failureCount: Int, failureReason: String, failureStrategy: ExceptionStrategy) extends Product with Serializable
-
case class
Instance[S](process: ExecutablePetriNet[S], sequenceNr: Long, marking: Marking, state: S, jobs: Map[Long, Job[S, _]]) extends Product with Serializable
-
case class
Job[S, E](id: Long, processState: S, transition: Transition[Any, E, S], consume: Marking, input: Any, failure: Option[ExceptionState] = None) extends Product with Serializable
-
trait
TransitionExecutor[State, T[_, _, _]] extends AnyRef
Value Members
-
-
object
Instance extends Serializable
-
def
allEnabledJobs[S]: State[Instance[S], Set[Job[S, _]]]
-
-
def
createJob[E, S](transition: Transition[Any, E, S], consume: Marking, input: Any): (Instance[S]) ⇒ (Instance[S], Job[S, E])
-
def
fireTransition[S, E](transition: Transition[Any, E, S], input: Any): State[Instance[S], Either[String, Job[S, E]]]
-
def
fireTransitionById[S](transitionId: Long, input: Any): State[Instance[S], Either[String, Job[S, Any]]]
-
def
firstEnabledJob[S]: State[Instance[S], Option[Job[S, _]]]
-
Inherited from AnyRef
Inherited from Any