bool-post.cc File Reference

(Revision: 7094)

#include "gecode/int/linear.hh"

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Linear
Functions
void	Gecode::Int::Linear::post_pos_unit (Space *home, Term< BoolView > *t_p, int n_p, IntRelType r, IntView y, int c, PropKind)
void	Gecode::Int::Linear::post_pos_unit (Space *home, Term< BoolView > *t_p, int n_p, IntRelType r, ZeroIntView, int c, PropKind pk)
void	Gecode::Int::Linear::post_neg_unit (Space *home, Term< BoolView > *t_n, int n_n, IntRelType r, IntView y, int c, PropKind)
void	Gecode::Int::Linear::post_neg_unit (Space *home, Term< BoolView > *t_n, int n_n, IntRelType r, ZeroIntView, int c, PropKind pk)
void	Gecode::Int::Linear::post_mixed (Space *home, Term< BoolView > *t_p, int n_p, Term< BoolView > *t_n, int n_n, IntRelType r, IntView y, int c)
void	Gecode::Int::Linear::post_mixed (Space *home, Term< BoolView > *t_p, int n_p, Term< BoolView > *t_n, int n_n, IntRelType r, ZeroIntView y, int c)
template<class View>
void	Gecode::Int::Linear::post_all (Space *home, Term< BoolView > *t, int n, IntRelType r, View x, int c, PropKind pk)
void	Gecode::Int::Linear::post (Space *home, Term< BoolView > *t, int n, IntRelType r, IntView y, int c=0, IntConLevel=ICL_DEF, PropKind=PK_DEF)
	Post propagator for linear constraint over Booleans.
void	Gecode::Int::Linear::post (Space *home, Term< BoolView > *t, int n, IntRelType r, int c, IntConLevel=ICL_DEF, PropKind=PK_DEF)
	Post propagator for linear constraint over Booleans.
void	Gecode::Int::Linear::post (Space *home, Term< BoolView > *t, int n, IntRelType r, IntView y, BoolView b, IntConLevel=ICL_DEF, PropKind=PK_DEF)
	Post propagator for reified linear constraint over Booleans.
void	Gecode::Int::Linear::post (Space *home, Term< BoolView > *t, int n, IntRelType r, int c, BoolView b, IntConLevel=ICL_DEF, PropKind=PK_DEF)
	Post propagator for reified linear constraint over Booleans.