You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
tdegames/kmines/solver/testFast.cpp

31 lines
561 B

/** A program to test advisory library */
#include "bfield.h"
#include "headerP.h"
#define W 10
#define H 10
int main(int argc, char *argv[])
{
long seed = (argc < 2 ? time(0) : atoi(argv[1]));
cout << "seed = " << seed << endl;
BaseField f(seed);
f.reset(W, H, 10);
KRandomSequence random(seed);
Coord c(random.getLong(W), random.getLong(H));
f.doReveal(c, 0, 0);
AdviseFast::FactSet facts(&f);
AdviseFast::RuleSet rules(&facts);
rules.solve();
cout << f << endl;
if(!f.isSolved()) cout << facts << endl;
return 0;
}