Generated on Mon May 5 05:54:07 2008 for Gecode by doxygen 1.5.5

formula.cc File Reference

(Revision: 5986)

#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...