
#include <cstddef>#include <cstdint>#include <string>#include <vector>#include <gecode/flatzinc.hh>#include <gecode/kernel.hh>#include <thread>Go to the source code of this file.
Classes | |
| struct | Gecode::FlatZinc::BlackBoxCall |
| Inputs and pre-sized output buffers for one backend call. More... | |
| class | Gecode::FlatZinc::BlackBoxBackend |
| Backend for a deterministic FlatZinc blackbox function. More... | |
| class | Gecode::FlatZinc::BlackBoxLibrary |
| Dynamic-library backend owned by one blackbox constraint. More... | |
| class | Gecode::FlatZinc::BlackBoxExec |
| Persistent-process backend shared by equal executable configurations. More... | |
Namespaces | |
| namespace | Gecode |
| Gecode toplevel namespace | |
| namespace | Gecode::FlatZinc |
| Interpreter for the FlatZinc language. | |
Macros | |
| #define | GECODE_BLACKBOX_CALL |
Functions | |
| GECODE_FLATZINC_EXPORT std::string | Gecode::FlatZinc::encode_blackbox_request (const BlackBoxCall &call) |
| Encode one request for the executable backend's line protocol. | |
| GECODE_FLATZINC_EXPORT void | Gecode::FlatZinc::decode_blackbox_response (const std::string &response, BlackBoxCall &call) |
| Decode and validate one response from the executable backend. | |
| #define GECODE_BLACKBOX_CALL |
Definition at line 54 of file blackbox-backend.hh.