Go to the documentation of this file.
37 namespace Gecode {
namespace FlatZinc {
70 int p=
c.pos();
int n=
c.val();
83 unsigned int b)
const {
86 int p=
c.pos();
int n=
c.val();
98 std::ostream& o)
const {
101 int p=
c.pos();
int n=
c.val();
122 if (home.
failed())
return;
Which integer or Boolean variable to select for branching.
ValSelCommitBase< Int::IntView, int > * xvsc
Integer value selection and commit object.
@ SEL_AFC_MAX
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.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
ViewArray< Int::BoolView > y
Boolean views to branch on.
Select by maximal Action.
@ SEL_CHB_MAX
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.
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
@ SEL_CHB_SIZE_MAX
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.
@ SEL_ACTION_MAX
With highest action.
@ SEL_ACTION_SIZE_MAX
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.
@ ES_FAILED
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})
@ ES_OK
Execution is okay.
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.