#include "test/flatzinc.hh"#include <gecode/flatzinc/blackbox-backend.hh>#include <cstdint>#include <cerrno>#include <cstdio>#include <cstdlib>#include <exception>#include <fstream>#include <set>#include <thread>Go to the source code of this file.
Classes | |
| class | Test::FlatZinc::Blackbox::NativeProtocol |
| class | Test::FlatZinc::Blackbox::NativeDllParallelCalls |
| class | Test::FlatZinc::Blackbox::Create |
Namespaces | |
| namespace | Test |
| General test support. | |
| namespace | Test::FlatZinc |
| Tests for FlatZinc. | |
| namespace | Test::FlatZinc::Blackbox |
Functions | |
| template<class T> | |
| bool | Test::FlatZinc::Blackbox::parallel_runs (T &black_box) |
Variables | |
| Create | Test::FlatZinc::Blackbox::c |