type_cutpool.h File Reference Detailed Descriptiontype definitions for storing cuts in a cut pool Definition in file type_cutpool.h. Go to the source code of this file.
Typedef Documentation
storage for pooled cuts Definition at line 30 of file type_cutpool.h.
datastructure for cuts in a cut pool Definition at line 31 of file type_cutpool.h. |