#include <string>#include <vector>#include <thread>Go to the source code of this file.
Classes | |
| class | Gecode::FlatZinc::BlackBoxProcessSession |
| Platform process session used by the executable blackbox backend. More... | |
Namespaces | |
| namespace | Gecode |
| Gecode toplevel namespace | |
| namespace | Gecode::FlatZinc |
| Interpreter for the FlatZinc language. | |
Functions | |
| BlackBoxProcessSession * | Gecode::FlatZinc::create_blackbox_process (const std::string &program, const std::vector< std::string > &args) |
| Create the process implementation selected for the target platform. | |