post.hpp File Reference

(Revision: 8082)

#include <gecode/set.hh>
#include <gecode/set/rel.hh>
#include <gecode/set/rel-op.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Set
	Finite integer sets.
namespace	Gecode::Set::RelOp
	Standard set operation propagators.
Functions
template<class View0 , class View1 , class Res >
void	Gecode::Set::RelOp::rel_eq (Space &home, View0 x0, SetOpType op, View1 x1, Res x2)
template<class View0 , class View1 , class View2 >
void	Gecode::Set::RelOp::rel_sub (Space &home, View0 x0, SetOpType op, View1 x1, View2 x2)
template<class View0 , class View1 , class View2 >
void	Gecode::Set::RelOp::rel_sup (Space &home, View0 x0, SetOpType op, View1 x1, View2 x2)
template<class View0 , class View1 , class View2 >
void	Gecode::Set::RelOp::rel_op_post_nocompl (Space &home, View0 x, SetOpType op, View1 y, SetRelType r, View2 z)
template<class View0 , class View1 , class View2 >
void	Gecode::Set::RelOp::rel_op_post (Space &home, View0 x, SetOpType op, View1 y, SetRelType r, View2 z)