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

#include <cstdlib>
#include <ctime>
#include <math.h>
#include <iostream>
#include "gecode/minimodel.hh"
#include "gecode/int/element.hh"
#include "qsolver.hh"
#include "implicative.hh"
#include "SDFVariableHeuristic.hh"
#include "NaiveValueHeuristics.hh"

Include dependency graph for MatrixGame.cpp:

Go to the source code of this file.

Namespaces
namespace	MiniModel
Defines
#define	UNIVERSAL   true
#define	EXISTENTIAL   false
Functions
int	main (int argc, char *const argv[])

---

Define Documentation

#define EXISTENTIAL   false

Definition at line 38 of file MatrixGame.cpp.

#define UNIVERSAL   true

Definition at line 37 of file MatrixGame.cpp.

---

Function Documentation

int main	(	int	argc,
		char *const	argv[]
	)

Definition at line 48 of file MatrixGame.cpp.

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

---