stream property

Stream<S> stream
final

The stream of states to observe.

The LTL formula will be evaluated against the sequence of states emitted by this stream.

Implementation

final Stream<S> stream;