Go to the documentation of this file.
37 namespace Gecode {
namespace FlatZinc {
69 = static_cast<const PosIntChoice&>(
_c);
70 int p=
c.pos();
int n=
c.val();
83 unsigned int b)
const {
85 = static_cast<const PosIntChoice&>(
_c);
86 int p=
c.pos();
int n=
c.val();
98 std::ostream& o)
const {
100 = static_cast<const PosIntChoice&>(
_c);
101 int p=
c.pos();
int n=
c.val();
122 if (home.
failed())
return;
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Which integer or Boolean variable to select for branching.
ValSelCommitBase< Int::IntView, int > * xvsc
Integer value selection and commit object.
With largest accumulated failure count.
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
Select by maximal Action over size.
bool me_failed(ModEvent me)
Check whether modification event me is failed.
Passing integer variables.
bool assigned(View x, int v)
Whether x is assigned to value v.
void branch(Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
Branch function for integer and Boolean variables.
BoolValBranch i2b(const IntValBranch &ivb)
Map respective integer value selection to Boolean value selection.
static void post(Home home, ViewArray< Int::IntView > x, ViewArray< Int::BoolView > y, Merit &m, ValSelCommitBase< Int::IntView, int > *xvsc, ValSelCommitBase< Int::BoolView, int > *yvsc)
Post brancher.
int start
Unassigned views start here (might be in x or y)
Which values to select for branching first.
Multi _c(Gecode::IntArgs({1, 2, 3}))
Gecode toplevel namespace
virtual ExecStatus commit(Space &home, const Choice &c, unsigned int b)
Perform commit for choice c and alternative b.
With largest accumulated failure count divided by domain size.
ViewArray< Int::BoolView > y
Boolean views to branch on.
Select by maximal Action.
With highest CHB Q-score.
Passing Boolean variables.
virtual void archive(Archive &e) const
Archive into e.
Home class for posting propagators
Select by maximal AFC over size.
ViewArray< Int::IntView > x
Integer views to branch on.
With largest CHB Q-score divided by domain size.
virtual const Choice * choice(Space &home)=0
Return choice.
#define GECODE_NEVER
Assert that this command is never executed.
Base class for value selection and commit.
Select by maximal CHB over size.
Choice storing position and value
Select select(void) const
Return selection strategy.
virtual NGL * ngl(Space &home, const Choice &c, unsigned int b) const
Create no-good literal for choice c and alternative b.
bool failed(void) const
Check whether corresponding space is failed.
With largest action divided by domain size.
int size(void) const
Return size of array (number of elements)
ValSelCommitBase< Int::BoolView, int > * yvsc
Boolean value selection and commit object.
virtual void print(const Space &home, const Choice &c, unsigned int b, std::ostream &o) const
Print branch for choice c and alternative b.
Gecode::FloatVal c(-8, 8)
No-good literal recorded during search.
int n
Number of negative literals for node type.
Choice for performing commit
ValSelCommitBase< IntView, int > * valselcommit(Space &home, const IntValBranch &ivb)
Return value and commit for integer views.
Execution has resulted in failure.
void expand(Home home, const IntVarArgs &x, const BoolVarArgs &y)
Expand AFC, action, and CHB.
Gecode::IntArgs i({1, 2, 3, 4})
int p
Number of positive literals for node type.
virtual void archive(Archive &e) const
Archive into e.
virtual bool status(const Space &home) const
Check status of brancher, return true if alternatives left.