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