#include <statepass.h>
◆ state_counts()
state_counts::state_counts |
( |
| ) |
|
|
inline |
◆ addBool()
void state_counts::addBool |
( |
int |
v = 1 | ) |
|
|
inline |
◆ addChan()
void state_counts::addChan |
( |
int |
v = 1 | ) |
|
|
inline |
◆ addCHPBool()
void state_counts::addCHPBool |
( |
int |
v = 1 | ) |
|
|
inline |
◆ addInt()
void state_counts::addInt |
( |
int |
v = 1 | ) |
|
|
inline |
◆ addVar()
◆ numAllBools()
int state_counts::numAllBools |
( |
| ) |
|
|
inline |
◆ numAllVars()
int state_counts::numAllVars |
( |
| ) |
|
|
inline |
◆ numBools()
int state_counts::numBools |
( |
| ) |
|
|
inline |
◆ numChans()
int state_counts::numChans |
( |
| ) |
|
|
inline |
◆ numCHPBools()
int state_counts::numCHPBools |
( |
| ) |
|
|
inline |
◆ numCHPVars()
int state_counts::numCHPVars |
( |
| ) |
|
|
inline |
◆ numInts()
int state_counts::numInts |
( |
| ) |
|
|
inline |
◆ bools
◆ chans
◆ ints
◆ xbools
The documentation for this class was generated from the following file: