ACT Library
|
#include <statepass.h>
Public Attributes | |
act_boolean_netlist_t * | bnl |
state_counts | ports |
state_counts | local |
state_counts | all |
bitset_t * | multi |
int | ismulti |
struct pHashtable * | map |
int | chp_ismulti |
struct pHashtable * | inst |
state_counts stateinfo_t::all |
act_boolean_netlist_t* stateinfo_t::bnl |
int stateinfo_t::chp_ismulti |
struct pHashtable* stateinfo_t::inst |
int stateinfo_t::ismulti |
state_counts stateinfo_t::local |
struct pHashtable* stateinfo_t::map |
bitset_t* stateinfo_t::multi |
state_counts stateinfo_t::ports |