/Users/jamian/Desktop/gecode-2.0.1/contribs/qecode/examples/stress_test.cpp File Reference

#include "qsolver.hh"
#include "implicative.hh"
#include "SDFVariableHeuristic.hh"
#include "NaiveValueHeuristics.hh"

Include dependency graph for stress_test.cpp:

Go to the source code of this file.

Functions
int	main ()

---

Function Documentation

int main

(

)

Definition at line 32 of file stress_test.cpp.

References Implicative::makeStructure(), Implicative::nextScope(), QECODE_EXISTENTIAL, QECODE_UNIVERSAL, Implicative::QIntVar(), QSolver::solve(), Implicative::space(), and Implicative::var().

---