Struct DrainState

Struct Documentation

struct DrainState

Public Functions

DrainState()

Public Members

Value *states
Value *filled
Value *statesTemp
Value *pairs
Value *pairsTemp
Value *bufRef
Value *bufQer
Value *params
Value *hist
types::GenType *type
std::queue<Expr *> stages
std::queue<bool> parallel