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

#include "internal.hpp"

namespace CaDiCaL {

Terminal::Terminal (FILE *f) : file (f), reset_on_exit (false) {
  assert (file);
  int fd = fileno (f);
  assert (fd == 1 || fd == 2);
  use_colors = connected = isatty (fd);
}

void Terminal::force_colors () { use_colors = connected = true; }
void Terminal::force_no_colors () { use_colors = false; }
void Terminal::force_reset_on_exit () { reset_on_exit = true; }

void Terminal::reset () {
  if (!connected)
    return;
  erase_until_end_of_line ();
  cursor (true);
  normal ();
  fflush (file);
}

void Terminal::disable () {
  reset ();
  connected = use_colors = false;
}

Terminal::~Terminal () {
  if (reset_on_exit)
    reset ();
}

Terminal tout (stdout);
Terminal terr (stderr);

} // namespace CaDiCaL