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. |