Os.h

Go to the documentation of this file.

// Outputfiles extension
const char* OUTPUT_EXT = ".txt";

// Pfadunterteiler
#ifdef _WIN32
        const char* slash = "\\";
#else
        const char* slash = "/";
#endif

#ifndef TRUE
// for unix
#define TRUE -1
#define FALSE 0
#endif

---