#include <gecode/kernel.hh>#include <gecode/flatzinc.hh>#include <gecode/flatzinc/blackbox.hh>#include <gecode/flatzinc/blackbox-backend.hh>#include <gecode/flatzinc/blackbox-process.hh>#include <atomic>#include <cassert>#include <cerrno>#include <charconv>#include <cctype>#include <cstdio>#include <cstdlib>#include <cstdint>#include <exception>#include <locale>#include <memory>#include <limits>#include <sstream>#include <string>#include <vector>#include <dlfcn.h>#include <thread>Go to the source code of this file.
Classes | |
| class | Gecode::FlatZinc::BlackBoxLibrary::Instance |
Namespaces | |
| namespace | Gecode |
| Gecode toplevel namespace | |
| namespace | Gecode::FlatZinc |
| Interpreter for the FlatZinc language. | |
Macros | |
| #define | _GNU_SOURCE 1 |
Functions | |
| std::string | Gecode::FlatZinc::encode_blackbox_request (const BlackBoxCall &call) |
| Encode one request for the executable backend's line protocol. | |
| void | Gecode::FlatZinc::decode_blackbox_response (const std::string &response, BlackBoxCall &call) |
| Decode and validate one response from the executable backend. | |
| #define _GNU_SOURCE 1 |
Definition at line 47 of file blackbox-backend.cpp.