ACT Library
Loading...
Searching...
No Matches
Classes | Typedefs
booleanize.h File Reference
#include <map>
#include <act/act.h>
#include <act/extmacro.h>

Go to the source code of this file.

Classes

class  netlist_bool_port
 This holds information about a port in the Booleanized netlist data structure. More...
 
class  netlist_global_port
 This is used to hold information about a global signal used in a process. More...
 
class  act_dynamic_var
 CHP programs can have complex dynamic accesses, with runtime array references. The Booleanize pass records these as "dynamic variables" represented by this structure. More...
 
class  act_booleanized_var
 The core data type for a variable accessed in an ACT process. A variable may be an act_booleanized_var or an act_dynamic_var. The latter is used for dynamic array references, and the act_booleanized_var structure is used for all other variables. More...
 
class  act_local_pin_t
 This is used for flat netlist generation to represent an I/O pin for a leaf cell. More...
 
class  act_local_net_t
 This is used for flat netlist generation to represent a net that consists of a net name and a list of pins. More...
 
class  act_boolean_netlist_t
 This structure is computed for each process by the Booleanize pass. It summarizes the information about all the variables in the design, capturing basic information for all the language bodies. More...
 
class  ActBooleanizePass
 This pass is used to pre-process information about languages and variables within the design. The pass computes the act_boolean_netlist_t data structure, which contains information about all the local variables used by the process. More...
 

Typedefs

typedef struct act_dynamic_var act_dynamic_var_t
 
typedef struct act_booleanized_var act_booleanized_var_t
 

Typedef Documentation

◆ act_booleanized_var_t

◆ act_dynamic_var_t