post.icc File Reference

(Revision: 6102)

#include <algorithm>
#include <climits>

Go to the source code of this file.

Namespaces
namespace	Gecode
namespace	Gecode::Int
namespace	Gecode::Int::Linear
Classes
class	Gecode::Int::Linear::TermLess< View >
	Sort linear terms by view. More...
Functions
template<class View>
void	Gecode::Int::Linear::estimate (Term< View > *t, int n, int c, int &l, int &u)
	Estimate lower and upper bounds.
template<class View>
bool	Gecode::Int::Linear::normalize (Term< View > *t, int &n, Term< View > *&t_p, int &n_p, Term< View > *&t_n, int &n_n)
	Normalize linear integer constraints.