Generated on Thu Feb 21 2013 23:11:51 for Gecode by doxygen 1.8.3.1
bool-post.cpp File Reference

(Revision: 10365)

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. More...
 
void Gecode::Int::Linear::eliminate (Term< BoolView > *t, int &n, double &d)
 Eliminate assigned views. More...
 
void Gecode::Int::Linear::rewrite (IntRelType &r, double &d)
 Rewrite non-strict relations. More...
 
void Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType r, IntView y, int c)
 
void Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType r, ZeroIntView, int c)
 
void Gecode::Int::Linear::post_pos_unit (Home home, Term< BoolView > *t_p, int n_p, IntRelType r, int c, BoolView b, IntConLevel)
 
void Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType r, IntView y, int c)
 
void Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType r, ZeroIntView, int c)
 
void Gecode::Int::Linear::post_neg_unit (Home home, Term< BoolView > *t_n, int n_n, IntRelType r, int c, BoolView b, IntConLevel)
 
void Gecode::Int::Linear::post_mixed (Home 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 (Home 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 (Home home, Term< BoolView > *t, int n, IntRelType r, View x, int c)
 
void Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, IntView y, int c=0, IntConLevel=ICL_DEF)
 Post propagator for linear constraint over Booleans. More...
 
void Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, int c, IntConLevel=ICL_DEF)
 Post propagator for linear constraint over Booleans. More...
 
void Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, IntView y, BoolView b, IntConLevel=ICL_DEF)
 Post propagator for reified linear constraint over Booleans. More...
 
void Gecode::Int::Linear::post (Home home, Term< BoolView > *t, int n, IntRelType r, int c, BoolView b, IntConLevel=ICL_DEF)
 Post propagator for reified linear constraint over Booleans. More...