A Linear Temporal Logic (LTL) sequence.
Attributes
- Companion
- object
- Source
- LTL.scala
- Graph
-
- Supertypes
- Known subtypes
-
class BoolSequence
Members list
Value members
Inherited methods
Equivalent to a ##1 b in SVA.
Equivalent to a ##[*] b in SVA.
Equivalent to a ##[*] b in SVA.
Attributes
- Inherited from:
- SequenceIntf (hidden)
- Source
- LTLIntf.scala
Equivalent to a ##[+] b in SVA.
Equivalent to a ##[+] b in SVA.
Attributes
- Inherited from:
- SequenceIntf (hidden)
- Source
- LTLIntf.scala
See Sequence.and.
See Property.and.
See Sequence.clock.
See Sequence.clock.
Attributes
- Definition Classes
-
SequenceIntf
- Inherited from:
- SequenceIntf (hidden)
- Source
- LTLIntf.scala
See Sequence.concat.
See Sequence.delay.
See Sequence.delayAtLeast.
See Sequence.delayRange.
See Property.eventually.
See Sequence.gotoRepeat.
See Property.implication.
See Property.implication.
See Sequence.intersect.
See Property.intersect.
See Sequence.nonConsecutiveRepeat.
See Sequence.nonConsecutiveRepeat.
Attributes
- Inherited from:
- SequenceIntf (hidden)
- Source
- LTLIntf.scala
See Property.not.
See Sequence.or.
See Property.or.
See Sequence.repeat.
See Sequence.repeatAtLeast.
See Sequence.repeatRange.
See Sequence.until.
See Property.until.
Equivalent to |-> in SVA.
Equivalent to |=> in SVA.