conf.hpp

#ifndef CONF_HPP
#define CONF_HPP

#include <cstdlib>

// when this is active we active a more strict debugging of threads
// #define ASSERT_THREADS 1

// when this is active the allocator checks for allocate/dealloc correctness
// #define ALLOCATOR_ASSERT 1

// activate this to collect statistics on memory use
//#define MEMORY_STATISTICS 1

// activate special code for testing trie matching
// #define TRIE_MATCHING_ASSERT 1

// gather statistics about the core VM execution
//#define CORE_STATISTICS 1

// activate instrumentation code
// #define INSTRUMENTATION 1

// use simulator
//#define USE_SIM

// use memory pools for each thread or not
const bool USE_ALLOCATOR = true;

// when this is activated, the virtual machine will update every reference to abstract node addresses
// in the bytecode to concrete node addresses in memory
// for multithreaded meld this will improve speed since there's one less lookup
#define USE_REAL_NODES 1

// faster multithreading by allowing threads to index on other thread's nodes
#define FASTER_INDEXING 1

#define BITMAP_TYPE uint64_t
#define BITMAP_BITS (sizeof(BITMAP_TYPE) * 8)

// activate dynamic indexing of linear facts
#define DYNAMIC_INDEXING 1

#endif