formula.cc File Reference

(Revision: 7536)

#include "gecode/set/projectors.hh"
#include "gecode/support/buddy/bdd.h"
#include <set>

Go to the source code of this file.

Namespaces
namespace	Gecode
Classes
class	Gecode::Formula::Node
	Nodes used to construct formulas. More...