TeDDy 4.1.0
Decision diagram library.
Loading...
Searching...
No Matches
config.hpp
1#ifndef LIBTEDDY_DETAILS_CONFIG_HPP
2#define LIBTEDDY_DETAILS_CONFIG_HPP
3
14// #define LIBTEDDY_VERBOSE
15
22// #define LIBTEDDY_COLLECT_STATS
23
32// #define LIBTEDDY_SYMBOLIC_RELIABILITY
33
34#endif
Generated on Thu Nov 23 2023 09:35:20 for TeDDy by doxygen 1.9.7