|
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 |