interpreter
API
Generated with
interpreter/de.uni_luebeck.isp.tessla.interpreter/StreamEngine/Triggered

Triggered

de.uni_luebeck.isp.tessla.interpreter.StreamEngine.Triggered
sealed abstract class Triggered extends Stream

Attributes

Graph
Supertypes
class Stream
class Object
trait Matchable
class Any
Known subtypes
class Input

Members list

Value members

Abstract methods

def step(): Unit

Inherited methods

def addListener(listener: Option[Any] => Unit): Unit

Attributes

Inherited from:
Stream
def default(when: Stream): Stream

Attributes

Inherited from:
Stream
def default(defaultValue: Any): Stream

Attributes

Inherited from:
Stream
def propagate(value: Option[Any]): Unit

Attributes

Inherited from:
Stream
def time(): Stream

Attributes

Inherited from:
Stream
Generated with