|
ACT Library
|
A production rule expression, corresponding to the guard for the production rule. More...
#include <lang.h>
Public Attributes | |
| unsigned int | type:4 |
| an act_prs_expr_type value | |
| union { | |
| struct { | |
| struct act_prs_expr * l | |
| left pointer in expression tree More... | |
| struct act_prs_expr * r | |
| right pointer in expression tree More... | |
| struct act_prs_expr * pchg | |
| internal precharge, only for an AND More... | |
| int pchg_type | |
| precharge type: 1 for +, 0 for - More... | |
| } e | |
| a standard PRS expression More... | |
| struct { | |
| ActId * id | |
| name of the variable More... | |
| act_size_spec_t * sz | |
| size specifier, if any More... | |
| } v | |
| a leaf variable More... | |
| struct { | |
| char * label | |
| name of the label More... | |
| } l | |
| a label More... | |
| struct { | |
| char * id | |
| loop iteration variable More... | |
| Expr * lo | |
| low value of loop range More... | |
| Expr * hi | |
| high value of loop range More... | |
| struct act_prs_expr * e | |
| body of the loop More... | |
| } loop | |
| used for AND/OR loops More... | |
| } | u |
A production rule expression, corresponding to the guard for the production rule.
| struct { ... } act_prs_expr::e |
a standard PRS expression
| struct act_prs_expr* act_prs_expr::e |
body of the loop
| Expr* act_prs_expr::hi |
high value of loop range
| ActId* act_prs_expr::id |
name of the variable
| char* act_prs_expr::id |
loop iteration variable
| struct act_prs_expr* act_prs_expr::l |
left pointer in expression tree
| struct { ... } act_prs_expr::l |
a label
| char* act_prs_expr::label |
name of the label
| Expr* act_prs_expr::lo |
low value of loop range
| struct { ... } act_prs_expr::loop |
used for AND/OR loops
| struct act_prs_expr* act_prs_expr::pchg |
internal precharge, only for an AND
| int act_prs_expr::pchg_type |
precharge type: 1 for +, 0 for -
| struct act_prs_expr* act_prs_expr::r |
right pointer in expression tree
| act_size_spec_t* act_prs_expr::sz |
size specifier, if any
| unsigned int act_prs_expr::type |
an act_prs_expr_type value
| union { ... } act_prs_expr::u |
| struct { ... } act_prs_expr::v |
a leaf variable