#ifndef main_def_h
#define main_def_h


#include <fstream.h>

#include "../Basics/basic.h"



//------------------------------to-be-modified-------------------------------//
#define	_compact_storage	2
#define _might_use_dont_know	1
#define _batch_mode		0
//---------------------------------------------------------------------------//




// ST
#if _compact_storage==0
	#define ST	unsigned char
#elif _compact_storage==1
	#define ST	short int
#elif _compact_storage==2
	#define ST	int
#endif



// defines all the tools to manipulate "don't knows"
extern ST _dont_know;
extern boolean _uses_dont_know;
#if _might_use_dont_know==1
	#define	known(v)		( (v)!=_dont_know )
	#define unknown(v) 		( (v)==_dont_know )
	#define uses_dont_know		( _uses_dont_know )
#else
	#define known(v)		( 1 )
	#define unknown(v)		( 0 )
	#define uses_dont_know		( 0 )
#endif
ST dont_know();
void set_dont_know(const ST v);



extern int trace;

extern ofstream flog;



double SQRT (double x);
  // Return: 0 if x < 0



#endif