public methods for debugging
Definition in file scip_debug.h.
#include "scip/def.h"
#include "scip/type_scip.h"
Go to the source code of this file.