1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
#include "internal.hpp"
namespace CaDiCaL {
/*------------------------------------------------------------------------*/
// Occurrence lists.
void Internal::init_occs () {
if (otab.size () < 2 * vsize)
otab.resize (2 * vsize, Occs ());
LOG ("initialized occurrence lists");
}
void Internal::reset_occs () {
assert (occurring ());
erase_vector (otab);
LOG ("reset occurrence lists");
}
/*------------------------------------------------------------------------*/
// One-sided occurrence counter (each literal has its own counter).
void Internal::init_noccs () {
assert (ntab.empty ());
if (ntab.size () < 2 * vsize)
ntab.resize (2 * vsize, 0);
LOG ("initialized two-sided occurrence counters");
}
void Internal::reset_noccs () {
assert (!max_var || !ntab.empty ());
erase_vector (ntab);
LOG ("reset two-sided occurrence counters");
}
} // namespace CaDiCaL