PStreamGen
Related Docs:
class PStreamGen
| package gen
Sized generator where the size acts like the timeout, so
Sized generator where the size acts like the timeout, so
Arbitrary generator for DStream.
Arbitrary generator for DStream. Only works if an Arbitrary for Batch is also present. Note this hasn't been automatically derived from Buildables.buildableDStreamFromBatch for the same reason Gen.buildableOf has to be used with DStream instead of Gen.containerOf
a generator for the batch-by-batch concatenation of the PDStreams generated by gs1 and gs2. Note we fill either PDStreams with empty batches This implies PDStreams are implicitly treated as they where infinitely extended with empty batches
Sized generator where the size acts like the timeout, so
Sized generator where the size acts like the timeout, so
a dstream generator that has n empty batches followed by the batches from dsg
a dstream generator that has an empty batch followed by the batches from dsg
a generator of DStream that generates its batches from bg
a generator of DStream that generates its batches from bg
a generator of DStream that generates its batches from bg
Generator for the weak version of LTL release operator: either dsg2 happens forever, or it happens until dsg1 happens, including the moment when dsg1 happens
Generator for the weak version of LTL release operator: either dsg2 happens forever, or it happens until dsg1 happens, including the moment when dsg1 happens
This is a sized generator where the size acts like the timeout, so
This is sized generator where the size acts like the timeout, so - with size <= 0 returns the empty PDStream, as no word can succeed with a timeout of 0 - with size 1 returns a PDStream generated by dsg2 - otherwise dsg2 happens after between 0 and size-1 instants
All the temporal generators defined in this object are sized generators, but the size parameters only affects the number of batches in the output PDStream, not the size of the batches. The size of the batches can be changed by using Gen.resize in the definition of the batch generator that is passed to these HO generators
On the other hand for generators of arbitrary PDStreams like Gen.resize(5, arbitrary[DStream[Int]]) Gen.resize has effect, both in the number of batches and in the size of the batches, as those arbitrary instances are based on arbitrary for lists
TODO That should be tested // by using Gen.resize(5, TLGen.always(Batch(List(0, 1)))) (constant batch size) // and then in Gen.resize(3, TLGen.always(BatchGen.ofNtoM(1, 5, Gen.choose(0, 3)))) // the point is that we always have 3 batches, but Gen.resize doesn't affect the batch // size but only the number of batches //