Svstmt-compile

Svstate

Structure containing currently assigned variable values for blocking and nonblocking assignments.

This is a product type introduced by defprod.

Fields

blkst — svstack: State of blocking-assigned variables
nonblkst — svex-alist: State of nonblocking-assigned variables

Additional Requirements

The following invariant is enforced on the fields:

(consp blkst)

Subtopics

Svstate-p: Recognizer for svstate structures.
Svstate-fix: Fixing function for svstate structures.
Svstate-equiv: Basic equivalence relation for svstate structures.
Make-svstate: Basic constructor macro for svstate structures.
Svstate->nonblkst: Get the nonblkst field from a svstate.
Svstate->blkst: Get the blkst field from a svstate.
Change-svstate: Modifying constructor for svstate structures.