38 namespace Gecode {
namespace Int {
namespace Branch {
51 return (
a == 0) ?
x.eq(home,
n) :
x.nq(home,
n);
64 int n, std::ostream& o)
const {
65 o <<
"var[" <<
i <<
"] " 66 << ((
a == 0) ?
"=" :
"!=") <<
" " <<
n;
80 return (
a == 0) ?
x.lq(home,
n) :
x.gr(home,
n);
93 int n, std::ostream& o)
const {
94 o <<
"var[" <<
i <<
"] " 95 << ((
a == 0) ?
"<=" :
">") <<
" " <<
n;
109 return (
a == 0) ?
x.gq(home,
n) :
x.le(home,
n);
122 int n, std::ostream& o)
const {
123 o <<
"var[" <<
i <<
"] " 124 << ((
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;
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.
No-good literal for less or equal.
ValCommitEq(Space &home, const ValBranch &vb)
Constructor for initialization.
No-good literal for greater or equal.
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.
int ModEvent
Type for modification events.
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.
Value commit class for less or equal.
No-good literal for equality.
Value commit class for greater.
Base class for value commit.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
Value commit class for greater or equal.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
struct Gecode::@511::NNF::@54::@56 a
For atomic nodes.
ValCommitLq(Space &home, const ValBranch &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.
Value commit class for equality.
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.
Value branching information.
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.
Node * x
Pointer to corresponding Boolean expression node.
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.
ValCommitGq(Space &home, const ValBranch &vb)
Constructor for initialization.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
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 &vb)
Constructor for initialization.
No-good literal recorded during search.