/Users/jamian/Desktop/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 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 36 of file MatrixGame.cpp.

#define UNIVERSAL   true

Definition at line 35 of file MatrixGame.cpp.

---

Function Documentation

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

Definition at line 46 of file MatrixGame.cpp.

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

---