struct_buffer.h File Reference

Detailed Description

datastructures for memory buffers for temporary objects

Author

Tobias Achterberg

Definition in file struct_buffer.h.

#include <assert.h>
#include "scip/def.h"

Go to the source code of this file.