Adiar  2.1.0
An External Memory Decision Diagram Library
adiar.h
1 #ifndef ADIAR_H
2 #define ADIAR_H
3 
9 
10 #include <string>
11 
13 #include <adiar/version.h>
14 
17 #include <adiar/exception.h>
18 #include <adiar/exec_policy.h>
19 #include <adiar/functional.h>
20 
23 #include <adiar/domain.h>
24 
27 #include <adiar/bdd.h>
28 #include <adiar/builder.h>
29 #include <adiar/zdd.h>
30 
33 #include <adiar/statistics.h>
34 
37 #include <adiar/deprecated.h>
38 
39 namespace adiar
40 {
45 
54 
58  constexpr size_t minimum_memory = 128 * 1024 * 1024;
59 
76  void
77  adiar_init(size_t memory_limit_bytes, std::string temp_dir = "");
78 
82  bool
83  adiar_initialized() noexcept;
84 
95  void
96  adiar_deinit();
97 
100 
103 }
104 
105 #endif // ADIAR_H
adiar::minimum_memory
constexpr size_t minimum_memory
Minimum value of 128 MiB for the memory limit.
Definition: adiar.h:58
adiar::adiar_initialized
bool adiar_initialized() noexcept
Whether Adiar is initialized.
adiar::adiar_init
void adiar_init(size_t memory_limit_bytes, std::string temp_dir="")
Initiates Adiar with the given amount of memory (given in bytes)
adiar::adiar_deinit
void adiar_deinit()
Closes and cleans up everything by Adiar.
adiar
Core types.
Definition: adiar.h:40