debug.c File Reference

Detailed Description

methods for debugging

Author

Tobias Achterberg

Definition in file debug.c.

#include <stdio.h>
#include <string.h>
#include <assert.h>
#include "scip/def.h"
#include "blockmemshell/memory.h"
#include "scip/set.h"
#include "scip/lp.h"
#include "scip/var.h"
#include "scip/prob.h"
#include "scip/tree.h"
#include "scip/scip.h"
#include "scip/debug.h"
#include "scip/pub_message.h"
#include "scip/pub_misc.h"
#include "scip/struct_scip.h"

Go to the source code of this file.

Functions
void	SCIPdummyDebugMethodForSun (void)

Function Documentation

void SCIPdummyDebugMethodForSun

(

void

)

this is a dummy method to make the SunOS gcc linker happy

Definition at line 1581 of file debug.c.