ACT Library
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
state_counts Class Reference

#include <statepass.h>

Public Member Functions

void addInt (int v=1)
 
int numInts ()
 
void addBool (int v=1)
 
int numBools ()
 
void addChan (int v=1)
 
int numChans ()
 
void addCHPBool (int v=1)
 
int numCHPBools ()
 
int numAllBools ()
 
int numCHPVars ()
 
int numAllVars ()
 
void addVar (state_counts &s, int sz=1)
 
 state_counts ()
 

Private Attributes

int bools
 
int xbools
 
int chans
 
int ints
 

Constructor & Destructor Documentation

◆ state_counts()

state_counts::state_counts ( )
inline

Member Function Documentation

◆ 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()

void state_counts::addVar ( state_counts s,
int  sz = 1 
)
inline

◆ 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

Member Data Documentation

◆ bools

int state_counts::bools
private

◆ chans

int state_counts::chans
private

◆ ints

int state_counts::ints
private

◆ xbools

int state_counts::xbools
private

The documentation for this class was generated from the following file: