		Search-engine friendly clone of the ACL2 documentation.

Vl-portinfo-regular

This is a product type, introduced by deftagsum in support of vl-portinfo.

portname — stringp
port-dir — vl-maybe-direction
conn-expr — vl-maybe-expr: nil if the port connection is blank
port-lhs — sv::lhs: Translation of the actual port expression. Not scoped by the instance name. Empty if the port expression is blank.
conn-svex — sv::svex: Z if port connection is blank
port-size — posp
replicatedp
interfacep — booleanp

Make-vl-portinfo-regular: Basic constructor macro for vl-portinfo-regular structures.
Vl-portinfo-regular->port-dir: Get the port-dir field from a vl-portinfo-regular.
Vl-portinfo-regular->conn-expr: Get the conn-expr field from a vl-portinfo-regular.
Vl-portinfo-regular->portname: Get the portname field from a vl-portinfo-regular.
Vl-portinfo-regular->port-size: Get the port-size field from a vl-portinfo-regular.
Vl-portinfo-regular->port-lhs: Get the port-lhs field from a vl-portinfo-regular.
Vl-portinfo-regular->interfacep: Get the interfacep field from a vl-portinfo-regular.
Vl-portinfo-regular->conn-svex: Get the conn-svex field from a vl-portinfo-regular.
Change-vl-portinfo-regular: Modifying constructor for vl-portinfo-regular structures.
Vl-portinfo-regular->replicatedp: Get the replicatedp field from a vl-portinfo-regular.