Skip to content

RandomEvent

class RandomEvent<Value>(v:Random<Value>) < ValueEvent<Value>

Dummy event to store a random value, used for efficiently recording and replaying traces without holding onto extraneous objects.

  • v: The random value.

Factory Functions

Name Description
RandomEvent Create a RandomEvent.

Member Variables

Name Description
v:Random<Value> Random associated with the event.

Factory Function Details

function RandomEvent<Value>(v:Random<Value>) -> RandomEvent<Value>

Create a RandomEvent.