Method GLUE.pushpop_depth()
- Method pushpop_depth
int(0..) pushpop_depth()
- Description
Returns the PushPop depth, i.e. the number of pushes awaiting corresponding pops.
int(0..) pushpop_depth()
Returns the PushPop depth, i.e. the number of pushes awaiting corresponding pops.