Adiar 2.1.0
An External Memory Decision Diagram Library
Loading...
Searching...
No Matches
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
39namespace 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
84
95 void
97
100
103}
104
105#endif // ADIAR_H
constexpr size_t minimum_memory
Minimum value of 128 MiB for the memory limit.
Definition adiar.h:58
bool adiar_initialized() noexcept
Whether Adiar is initialized.
void adiar_init(size_t memory_limit_bytes, std::string temp_dir="")
Initiates Adiar with the given amount of memory (given in bytes)
void adiar_deinit()
Closes and cleans up everything by Adiar.
Core types.
Definition adiar.h:40