40 : ValCommit<View,int>(home,vb) {}
48 return (a == 0) ?
x.eq(home,n) :
x.nq(home,n);
61 int n, std::ostream& o)
const {
62 o <<
"var[" << i <<
"] "
63 << ((a == 0) ?
"=" :
"!=") <<
" " << n;
78 return (a == 0) ?
x.lq(home,n) :
x.gr(home,n);
91 int n, std::ostream& o)
const {
92 o <<
"var[" << i <<
"] "
93 << ((a == 0) ?
"<=" :
">") <<
" " << n;
108 return (a == 0) ?
x.gq(home,n) :
x.le(home,n);
121 int n, std::ostream& o)
const {
122 o <<
"var[" << i <<
"] "
123 << ((a == 0) ?
">=" :
"<") <<
" " << n;
138 return (a == 0) ?
x.gr(home,n) :
x.lq(home,n);
151 int n, std::ostream& o)
const {
152 o <<
"var[" << i <<
"] "
153 << ((a == 0) ?
">" :
"<=") <<
" " << n;
No-good literal for equality.
No-good literal for greater or equal.
No-good literal for less or equal.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
ModEvent commit(Space &home, unsigned int a, View x, int i, int n)
Commit view x at position i to value n for alternative a.
void print(const Space &home, unsigned int a, View x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
ValCommitEq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void print(const Space &home, unsigned int a, View x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
ValCommitGq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
ModEvent commit(Space &home, unsigned int a, View x, int i, int n)
Commit view x at position i to value n for alternative a.
ValCommitGr(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ModEvent commit(Space &home, unsigned int a, View x, int i, int n)
Commit view x at position i to value n for alternative a.
void print(const Space &home, unsigned int a, View x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
void print(const Space &home, unsigned int a, View x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
ValCommitLq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ModEvent commit(Space &home, unsigned int a, View x, int i, int n)
Commit view x at position i to value n for alternative a.
No-good literal recorded during search.
Value branching information.
Base class for value commit.
ValCommit(Space &home, const ValBranch< Var > &vb)
Gecode toplevel namespace
Post propagator for SetVar x
int ModEvent
Type for modification events.