afc.cpp File Reference
(Revision: 10129)
#include <gecode/kernel.hh>#include <gecode/int.hh>#include "test/test.hh"Go to the source code of this file.
Namespaces | |
| namespace | Test |
Classes | |
| class | Test::AFC |
| Test for AFC infrastructure. More... | |
| class | Test::AFC::TestSpace |
| Test space. More... | |
Variables | |
| AFC | Test::afc |