Enum sv_parser_syntaxtree::declarations::assertion_declarations::PropertyExpr [−][src]
pub enum PropertyExpr {
Show 21 variants
SequenceExpr(Box<SequenceExpr>),
Strong(Box<PropertyExprStrong>),
Weak(Box<PropertyExprWeak>),
Paren(Box<PropertyExprParen>),
Not(Box<PropertyExprNot>),
BinaryProperty(Box<PropertyExprBinaryProperty>),
BinarySequence(Box<PropertyExprBinarySequence>),
If(Box<PropertyExprIf>),
Case(Box<PropertyExprCase>),
Nexttime(Box<PropertyExprNexttime>),
SNexttime(Box<PropertyExprSNexttime>),
Always(Box<PropertyExprAlways>),
SAlways(Box<PropertyExprSAlways>),
Eventually(Box<PropertyExprEventually>),
SEventually(Box<PropertyExprSEventually>),
AcceptOn(Box<PropertyExprAcceptOn>),
RejectOn(Box<PropertyExprRejectOn>),
SyncAcceptOn(Box<PropertyExprSyncAcceptOn>),
SyncRejectOn(Box<PropertyExprSyncRejectOn>),
PropertyInstance(Box<PropertyInstance>),
ClockingEvent(Box<PropertyExprClockingEvent>),
}
Variants
SequenceExpr(Box<SequenceExpr>)
Tuple Fields of SequenceExpr
0: Box<SequenceExpr>
Strong(Box<PropertyExprStrong>)
Tuple Fields of Strong
Weak(Box<PropertyExprWeak>)
Tuple Fields of Weak
0: Box<PropertyExprWeak>
Paren(Box<PropertyExprParen>)
Tuple Fields of Paren
0: Box<PropertyExprParen>
Not(Box<PropertyExprNot>)
Tuple Fields of Not
0: Box<PropertyExprNot>
BinaryProperty(Box<PropertyExprBinaryProperty>)
Tuple Fields of BinaryProperty
BinarySequence(Box<PropertyExprBinarySequence>)
Tuple Fields of BinarySequence
If(Box<PropertyExprIf>)
Tuple Fields of If
0: Box<PropertyExprIf>
Case(Box<PropertyExprCase>)
Tuple Fields of Case
0: Box<PropertyExprCase>
Nexttime(Box<PropertyExprNexttime>)
Tuple Fields of Nexttime
SNexttime(Box<PropertyExprSNexttime>)
Tuple Fields of SNexttime
Always(Box<PropertyExprAlways>)
Tuple Fields of Always
SAlways(Box<PropertyExprSAlways>)
Tuple Fields of SAlways
Eventually(Box<PropertyExprEventually>)
Tuple Fields of Eventually
SEventually(Box<PropertyExprSEventually>)
Tuple Fields of SEventually
AcceptOn(Box<PropertyExprAcceptOn>)
Tuple Fields of AcceptOn
RejectOn(Box<PropertyExprRejectOn>)
Tuple Fields of RejectOn
SyncAcceptOn(Box<PropertyExprSyncAcceptOn>)
Tuple Fields of SyncAcceptOn
SyncRejectOn(Box<PropertyExprSyncRejectOn>)
Tuple Fields of SyncRejectOn
PropertyInstance(Box<PropertyInstance>)
Tuple Fields of PropertyInstance
0: Box<PropertyInstance>
ClockingEvent(Box<PropertyExprClockingEvent>)
Tuple Fields of ClockingEvent
Trait Implementations
Performs the conversion.
Performs the conversion.
Performs the conversion.
This method tests for self
and other
values to be equal, and is used
by ==
. Read more
This method tests for !=
.
Auto Trait Implementations
impl RefUnwindSafe for PropertyExpr
impl Send for PropertyExpr
impl Sync for PropertyExpr
impl Unpin for PropertyExpr
impl UnwindSafe for PropertyExpr
Blanket Implementations
Mutably borrows from an owned value. Read more