formula.icc File Reference

(Revision: 6312)

Go to the source code of this file.

Functions
Gecode::Formula	operator- (const Gecode::Formula &f)
Gecode::Formula	operator| (const Gecode::Formula &f, const Gecode::Formula &g)
Gecode::Formula	operator & (const Gecode::Formula &f, const Gecode::Formula &g)
Gecode::Formula	operator>> (const Gecode::Formula &f, const Gecode::Formula &g)
Gecode::Formula	operator== (const Gecode::Formula &f, const Gecode::Formula &g)

---

Function Documentation

Gecode::Formula operator-

(

const Gecode::Formula &

f

)

[inline]

Definition at line 44 of file formula.icc.

Gecode::Formula operator|	(	const Gecode::Formula &	f,
		const Gecode::Formula &	g
	)			[inline]

Definition at line 47 of file formula.icc.

Gecode::Formula operator &	(	const Gecode::Formula &	f,
		const Gecode::Formula &	g
	)			[inline]

Definition at line 52 of file formula.icc.

Gecode::Formula operator>>	(	const Gecode::Formula &	f,
		const Gecode::Formula &	g
	)			[inline]

Definition at line 57 of file formula.icc.

Gecode::Formula operator==	(	const Gecode::Formula &	f,
		const Gecode::Formula &	g
	)			[inline]

Definition at line 62 of file formula.icc.