/Users/jamian/qecode-1.1/qecode/qsolver.hh File Reference

#include <iostream>
#include <cstdlib>
#include "./minimodel.hh"
#include "qecore.hh"
#include "valueHeuristic.hh"

Include dependency graph for qsolver.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class QSolver

Depth-first search engine for quantified spaces. A quite naive depth-first search engine for quantified spaces. The answer of such an engine is true or false. The complete winning strategy, if existing, is not given. More...

Generated on Fri Sep 21 16:36:40 2007 for qecode by

1.5.2


Classes
class	QSolver
	Depth-first search engine for quantified spaces. A quite naive depth-first search engine for quantified spaces. The answer of such an engine is true or false. The complete winning strategy, if existing, is not given. More...