worklist Struct Reference

Data Fields
int *	W_stack
int	W_top
bitvector	W_bv

Detailed Description

Definition at line 36 of file worklist.hpp.

Field Documentation

bitvector worklist::W_bv

Definition at line 39 of file worklist.hpp.

int* worklist::W_stack

Definition at line 37 of file worklist.hpp.

int worklist::W_top

Definition at line 38 of file worklist.hpp.

---

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

• /home/bbc/buildbot/slave/doxygen/source/cacao/src/toolbox/worklist.hpp