main page modules namespaces classes files
Gecode home

search for 

post.cc File Reference

(Revision: 3512)

#include "gecode/int/rel.hh"
#include "gecode/int/linear.hh"
#include "gecode/support/sort.hh"
#include <climits>
#include <algorithm>

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Linear
Classes
class	Gecode::Int::Linear::TermLess
	Sort linear terms by view. More...
Functions
bool	Gecode::Int::Linear::preprocess (Term e[], int &n, IntRelType &r, int &c, int &n_p, int &n_n)
bool	Gecode::Int::Linear::int_precision (Term e[], int n, int c)
template<class Val, class View>
void	Gecode::Int::Linear::post_nary (Space *home, ViewArray< View > &x, ViewArray< View > &y, IntRelType r, Val c)
void	Gecode::Int::Linear::post (Space *home, Term t[], int n, IntRelType r, int c, IntConLevel=ICL_DEF)
	Post propagator for linear constraint.
template<class Val, class View>
void	Gecode::Int::Linear::post_nary (Space *home, ViewArray< View > &x, ViewArray< View > &y, IntRelType r, Val c, BoolView b)
void	Gecode::Int::Linear::post (Space *home, Term t[], int n, IntRelType r, int c, BoolView b)
	Post reified propagator for linear constraint.