SequenceAtom
chisel3.ltl.SequenceAtom
A single item that may be used in the Sequence(...) convenience constructor for sequences. These atoms may either be Sequences themselves, like a or a and b, or a DelayAtom, like Delay. Together they enable a shorthand notation for sequences like:
Sequence(a, Delay(), b, Delay(2), c, Delay(3, 9), d, Delay(4, None), e).
Attributes
- Source
- LTL.scala
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class BoolSequence
In this article