Bool.h File Reference

---

Detailed Description

This file contains the declaration of class Bool.

Definition in file Bool.h.

#include <set>
#include <boost/shared_ptr.hpp>
#include "debug.h"
#include "ExpressionInterface.h"

Go to the source code of this file.

Classes
class	BoolExpression< inverted >
	An Expression consisting of a single boolean (Bool). More...
class	Bool
	A watchable boolean. More...