Package jline.lang.state

Class State.EventHandleResult

java.lang.Object

jline.lang.state.State.EventHandleResult

Enclosing class:

State

public static class State.EventHandleResult
extends Object

Result class for event handling methods

Field Summary

Fields

Modifier and Type	Field	Description
final Matrix	isCompletion	Column vector, one entry per row of outspace: 1.0 when that outcome is a firing completion (a D1 firing of the active mode, which applies the PRE/POST place updates), 0.0 otherwise.
final Matrix	outprob
final Matrix	outrate
final Matrix	outspace

Constructor Summary

Constructors

Constructor	Description
EventHandleResult(Matrix outspace, Matrix outrate, Matrix outprob)
EventHandleResult(Matrix outspace, Matrix outrate, Matrix outprob, Matrix isCompletion)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

outspace

public final Matrix outspace

outrate

public final Matrix outrate

outprob

public final Matrix outprob

isCompletion

public final Matrix isCompletion

Column vector, one entry per row of outspace: 1.0 when that outcome is a firing completion (a D1 firing of the active mode, which applies the PRE/POST place updates), 0.0 otherwise. Callers must not re-derive this from the place markings: a transition whose firing outcome returns exactly what its enabling condition consumed leaves every marking invariant, yet still completes at a nonzero rate.

Constructor Details

EventHandleResult

public EventHandleResult(Matrix outspace,
 Matrix outrate,
 Matrix outprob)

EventHandleResult

public EventHandleResult(Matrix outspace,
 Matrix outrate,
 Matrix outprob,
 Matrix isCompletion)