PPS-22-srs
API
Generated with
PPS-22-srs/io.github.srs/io.github.srs.controller/io.github.srs.controller.protocol/Event/Random

Random

io.github.srs.controller.protocol.Event.Random
final case class Random(rng: RNG)

Event representing a random event in the simulation.

Value parameters

rng

the random number generator RNG used for the event.

Attributes

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with