42 #ifndef __GECODE_TEST_TEST_HH__ 43 #define __GECODE_TEST_TEST_HH__ 67 extern std::ostringstream
olog;
87 static const int defiter = 5;
91 static const unsigned int deffixprob = 10;
100 void parse(
int argc,
char* argv[]);
116 static unsigned int _n_tests;
119 Base(
const std::string& s);
121 static void sort(
void);
123 const std::string& name(
void)
const;
125 static Base* tests(
void);
127 Base* next(
void)
const;
131 virtual bool run(
void) = 0;
133 static bool fixpoint(
void);
148 int main(
int argc,
char* argv[]);
Simple class for describing identation.
static Gecode::Support::RandomGenerator rand
Random number generator.
GECODE_FLATZINC_EXPORT FlatZincSpace * parse(const std::string &fileName, Printer &p, std::ostream &err=std::cerr, FlatZincSpace *fzs=NULL, Rnd &rnd=defrnd)
Parse FlatZinc file fileName into fzs and return it.
unsigned int seed
The random seed to be used.
void sort(TaskViewArray< TaskView > &t)
Sort task view array t according to sto and inc (increasing or decreasing)
unsigned int iter
Number of iterations for each test.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
Base class for all tests to be run
bool log
Whether to log the tests.
Template for linear congruential generators.
std::ostringstream olog
Stream used for logging.
ind(int i)
Indent by level i.
unsigned int fixprob
The probability for computing a fixpoint.
std::ostream & operator<<(std::ostream &os, const Test::ind &i)
Print indentation.
int main(int argc, char *argv[])
bool stop
Whether to stop on an error.
int l
Which indentation level.