Vl-propaccept
A (possibly synchronous) accept_on or reject_on property
expression.
This is a product type, introduced by deftagsum in support of vl-propexpr.
Fields
- op — vl-property-acceptop-p
- The kind of operator, e.g., accept_on, reject_on,
etc.
- condition — vl-exprdist
- The abort condition for this operation, e.g., foo in
accept_on(foo) bar.
- prop — vl-propexpr
- The abort property, e.g., bar in accept_on(foo)
bar.
Subtopics
- Vl-propaccept->condition
- Get the condition field from a vl-propaccept.
- Vl-propaccept->prop
- Get the prop field from a vl-propaccept.
- Vl-propaccept->op
- Get the op field from a vl-propaccept.
- Make-vl-propaccept
- Basic constructor macro for vl-propaccept structures.
- Change-vl-propaccept
- Modifying constructor for vl-propaccept structures.
- Vl-property-acceptop-p
- The accept_on, reject_on, sync_accept_on, and
sync_reject_on operators.
