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