40namespace Gecode {
namespace Set {
namespace Branch {
50 return (
a == 0) ?
x.include(home,
n) :
x.exclude(home,
n);
61 std::ostream& o)
const {
62 o <<
"var[" << i <<
"]."
63 << ((
a == 0) ?
"include" :
"exclude") <<
"(" <<
n <<
")";
74 return (
a == 0) ?
x.exclude(home,
n) :
x.include(home,
n);
85 std::ostream& o)
const {
86 o <<
"var[" << i <<
"]."
87 << ((
a == 0) ?
"exclude" :
"include") <<
"(" <<
n <<
")";
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
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.