Gecode::Formula Class Reference
[Projector constraints]

#include <projectors.hh>

Detailed Description

Formulas for specifying set constraints.

Definition at line 280 of file projectors.hh.


Public Types
enum	Operator { AND, OR, IMPL, EQUIV }
Public Member Functions
	Formula (const Formula &f)
	Copy constructor.
const Formula &	operator= (const Formula &f)
	Assignment operator.
	~Formula (void)
	Destructor.
	Formula (int var)
	Construct formula for variable var.
	Formula (bool b)
	Construct constant formula.
	Formula (const Formula &f, int sign)
	Construct formula from f with sign s.
	Formula (const Formula &f, int fs, Operator o, const Formula &g, int gs)
	Construct formula for $\mathit{fs}\times f\mathit{o} \mathit{gs}\times g$ .
ProjectorSet	projectors (void)
	Extract projectors from formula.
Classes
class	Node
	Nodes used to construct formulas. More...

Enumerator:

Definition at line 282 of file projectors.hh.

The documentation for this class was generated from the following files: