Project-wide definitions and macros. More...
#include "util.h"
#include "cudd.h"
Macros | |
#define | False 0 |
#define | GR1C_COPYRIGHT |
#define | GR1C_INTERACTIVE_PROMPT ">>> " |
#define | GR1C_VERSION "0.10.2" |
#define | True 1 |
Typedefs | |
typedef char | bool |
typedef unsigned char | byte |
typedef int | vartype |
Project-wide definitions and macros.
SCL; 2012-2015
#define GR1C_COPYRIGHT |