		Search-engine friendly clone of the ACL2 documentation.

Vl-ifstmt

Representation of an if/then/else statement.

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

if (<condition>)
   <truebranch>
else
   <falsebranch>

Vl-condition-merge: Join conditions from nested if expressions.
Vl-condition-neg: Construct a one-bit wide expression that is equivalent to !condition.
Vl-condition-fix: Construct a one-bit wide expression that is equivalent to condition in the context of if (condition) ....
Make-vl-ifstmt: Basic constructor macro for vl-ifstmt structures.
Vl-ifstmt->truebranch: Get the truebranch field from a vl-ifstmt.
Vl-ifstmt->falsebranch: Get the falsebranch field from a vl-ifstmt.
Vl-ifstmt->condition: Get the condition field from a vl-ifstmt.
Vl-ifstmt->atts: Get the atts field from a vl-ifstmt.
Change-vl-ifstmt: Modifying constructor for vl-ifstmt structures.