40namespace Gecode {
namespace Set {
namespace Branch {
49 ValCommitInc::commit(
Space& home,
unsigned int a,
SetView x,
int,
int n) {
50 return (a == 0) ?
x.include(home,n) :
x.exclude(home,n);
53 ValCommitInc::ngl(
Space& home,
unsigned int a,
SetView x,
int n)
const {
55 return new (home)
IncNGL(home,
x,n);
60 ValCommitInc::print(
const Space&,
unsigned int a,
SetView,
int i,
int n,
61 std::ostream& o)
const {
62 o <<
"var[" << i <<
"]."
63 << ((a == 0) ?
"include" :
"exclude") <<
"(" << n <<
")";
73 ValCommitExc::commit(
Space& home,
unsigned int a,
SetView x,
int,
int n) {
74 return (a == 0) ?
x.exclude(home,n) :
x.include(home,n);
77 ValCommitExc::ngl(
Space& home,
unsigned int a,
SetView x,
int n)
const {
79 return new (home)
ExcNGL(home,
x,n);
84 ValCommitExc::print(
const Space&,
unsigned int a,
SetView,
int i,
int n,
85 std::ostream& o)
const {
86 o <<
"var[" << i <<
"]."
87 << ((a == 0) ?
"exclude" :
"include") <<
"(" << n <<
")";
No-good literal recorded during search.
No-good literal for exclusion.
No-good literal for inclusion.
Value commit class for exclusion.
Value commit class for inclusion.
Set view for set variables
Value branching information.
Base class for value commit.
Gecode toplevel namespace
Post propagator for SetVar x
int ModEvent
Type for modification events.