bool-post.cpp File Reference
`#include <gecode/int/linear.hh>`
`#include <gecode/int/div.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

void | Gecode::Int::Linear::eliminate (Term< BoolView > *t, int &n, long long int &d)
| Eliminate assigned views.
void | Gecode::Int::Linear::rewrite (IntRelType &r, long long int &d)
| Rewrite non-strict relations.
void | Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType irt, IntView y, int c)
void | Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType irt, ZeroIntView, int c)
void | Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType irt, int c, Reify r, IntPropLevel)
void | Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType irt, IntView y, int c)
void | Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType irt, ZeroIntView, int c)
void | Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType irt, int c, Reify r, IntPropLevel)
void | Gecode::Int::Linear::post_mixed (Home home, Term< BoolView > *t_p, int n_p, Term< BoolView > *t_n, int n_n, IntRelType irt, IntView y, int c)
void | Gecode::Int::Linear::post_mixed (Home home, Term< BoolView > *t_p, int n_p, Term< BoolView > *t_n, int n_n, IntRelType irt, ZeroIntView y, int c)
template<class View>
void | Gecode::Int::Linear::post_all (Home home, Term< BoolView > *t, int n, IntRelType irt, View x, int c)
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType irt, IntView y, int c=0, IntPropLevel=IPL_DEF)
| Post propagator for linear constraint over Booleans.
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType irt, int c, IntPropLevel=IPL_DEF)
| Post propagator for linear constraint over Booleans.
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType irt, IntView y, Reify r, IntPropLevel=IPL_DEF)
| Post propagator for reified linear constraint over Booleans.
void | Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType irt, int c, Reify r, IntPropLevel=IPL_DEF)
| Post propagator for reified linear constraint over Booleans.