38 #ifndef __GECODE_TEST_TEST_HH__ 39 #define __GECODE_TEST_TEST_HH__ 63 extern std::ostringstream
olog;
83 static const int defiter = 5;
87 static const unsigned int deffixprob = 10;
96 void parse(
int argc,
char* argv[]);
112 static unsigned int _n_tests;
115 Base(
const std::string& s);
117 static void sort(
void);
119 const std::string& name(
void)
const;
121 static Base* tests(
void);
123 Base* next(
void)
const;
127 virtual bool run(
void) = 0;
129 static bool fixpoint(
void);
144 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.
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
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.