bool-post.cpp File Reference

(Revision: 8215)

#include <gecode/int/linear.hh>

Go to the source code of this file.

Namespaces
namespace	Gecode
	Gecode toplevel namespace.
namespace	Gecode::Int
	Finite domain integers.
namespace	Gecode::Int::Linear
	Linear propagators
Functions
IntRelType	Gecode::Int::Linear::inverse (const IntRelType r)
	Inverse the relation.
void	Gecode::Int::Linear::eliminate (Term< BoolView > *t, int &n, double &d)
	Eliminate assigned views.
void	Gecode::Int::Linear::rewrite (IntRelType &r, double &d)
	Rewrite non-strict relations.
void	Gecode::Int::Linear::post_pos_unit (Space &home, Term< BoolView > *t_p, int n_p, IntRelType r, IntView y, int c)
void	Gecode::Int::Linear::post_pos_unit (Space &home, Term< BoolView > *t_p, int n_p, IntRelType r, ZeroIntView, int c)
void	Gecode::Int::Linear::post_pos_unit_reif (Space &home, Term< BoolView > *t_p, int n_p, IntRelType r, int c, BoolView b, IntConLevel)
void	Gecode::Int::Linear::post_neg_unit (Space &home, Term< BoolView > *t_n, int n_n, IntRelType r, IntView y, int c)
void	Gecode::Int::Linear::post_neg_unit (Space &home, Term< BoolView > *t_n, int n_n, IntRelType r, ZeroIntView, int c)
void	Gecode::Int::Linear::post_neg_unit_reif (Space &home, Term< BoolView > *t_n, int n_n, IntRelType r, int c, BoolView b, IntConLevel)
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)
void	Gecode::Int::Linear::post (Space &home, Term< BoolView > *t, int n, IntRelType r, IntView y, int c=0, IntConLevel=ICL_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)
	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)
	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)
	Post propagator for reified linear constraint over Booleans.