rustsat-cadical 0.7.5

Interface to the SAT solver CaDiCaL for the RustSAT library.
Documentation 
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

#include "internal.hpp"

namespace CaDiCaL {

void Format::enlarge () {
  char *old = buffer;
  buffer = new char[size = size ? 2 * size : 1];
  memcpy (buffer, old, count);
  delete[] old;
}

inline void Format::push_char (char ch) {
  if (size == count)
    enlarge ();
  buffer[count++] = ch;
}

void Format::push_string (const char *s) {
  char ch;
  while ((ch = *s++))
    push_char (ch);
}

void Format::push_int (int d) {
  char tmp[16];
  snprintf (tmp, sizeof tmp, "%d", d);
  push_string (tmp);
}

void Format::push_uint64 (uint64_t u) {
  char tmp[16];
  snprintf (tmp, sizeof tmp, "%" PRIu64, u);
  push_string (tmp);
}

static bool match_format (const char *&str, const char *pattern) {
  assert (pattern);
  const char *p = str;
  const char *q = pattern;
  while (*q)
    if (*q++ != *p++)
      return false;
  str = p;
  return true;
}

const char *Format::add (const char *fmt, va_list &ap) {
  const char *p = fmt;
  char ch;
  while ((ch = *p++)) {
    if (ch != '%')
      push_char (ch);
    else if (*p == 'c')
      push_char (va_arg (ap, int)), p++;
    else if (*p == 'd')
      push_int (va_arg (ap, int)), p++;
    else if (*p == 's')
      push_string (va_arg (ap, const char *)), p++;
    else if (match_format (p, PRIu64))
      push_uint64 (va_arg (ap, uint64_t));
    else {
      push_char ('%');
      push_char (*p);
      break;
    } // unsupported
  }
  push_char (0);
  count--; // thus automatic append in subsequent calls.
  return buffer;
}

const char *Format::init (const char *fmt, ...) {
  count = 0;
  va_list ap;
  va_start (ap, fmt);
  const char *res = add (fmt, ap);
  va_end (ap);
  return res;
}

const char *Format::append (const char *fmt, ...) {
  va_list ap;
  va_start (ap, fmt);
  const char *res = add (fmt, ap);
  va_end (ap);
  return res;
}

} // namespace CaDiCaL