Extractor of contacts' data from result.
Extractor of contacts' data from result.
The context for system is a map from state handles to values.
The simplest signal processor.
The simplest signal processor. Corresponds to FlatMap.
An encapsulation of the signal that targets a subsystem's internal contact.
An encapsulation of the signal that targets a subsystem's internal contact.
A function that takes a single signal on input and returns the last trellis element.
A function that takes a single signal on input and returns the last trellis element. This producer does not store managed state in it.
A snapshot of a running system at some discrete time moment.
A function that makes single step (or a few steps) over time.
This contact is used to process answers of internal system.
This contact is used to process answers of internal system.
This contact is used to process signals of internal system.
This contact is used to process signals of internal system.
In asynchronous execution the resulting signal should come at the same level of "call stack". However as far as we usually get the signal asynchronously it is processed at top level. So in order to run it in inside the subsystem, we package asynchronous result into Signal(SubsystemSpecialContact, SubsystemDirectSignal( name, actual resulting signal))
Create a contact with the given name.
Create a contact with the given name.
One may use notation (contact -> data) to represent a signal
One may use notation (contact -> data) to represent a signal
Basic definitions for trellis processing