34 #ifndef __GECODE_FLATZINC_BRANCH_HH__ 35 #define __GECODE_FLATZINC_BRANCH_HH__ 41 namespace Gecode {
namespace FlatZinc {
260 virtual void archive(
Archive& e)
const;
285 virtual bool status(
const Space& home)
const;
296 std::ostream& o)
const;
298 virtual size_t dispose(
Space& home);
302 template<
class Merit>
327 virtual size_t dispose(
Space& home);
BoolCHB boolchb(void) const
Return Boolean AFC.
BoolAction baction
Boolean action.
IntBoolVarBranch(Select s, double d)
Initialize with selection strategy s and decay factor d.
ValSelCommitBase< Int::IntView, int > * xvsc
Integer value selection and commit object.
Merit merit
Selection by maximal merit.
With largest accumulated failure count.
IntBoolVarBranch INTBOOL_VAR_ACTION_SIZE_MAX(double d=1.0)
Select variable with largest action divided by domain size.
IntCHB ichb
Integer CHB information.
Which values to select for branching first.
IntCHB intchb(void) const
Return integer CHB.
Which values to select for branching first.
IntAFC iafc
Integer AFC information.
#define GECODE_FLATZINC_EXPORT
bool pos(const View &x)
Test whether x is postive.
IntAction iaction
Integer action.
int start
Unassigned views start here (might be in x or y)
With highest CHB Q-score.
Select by maximal Action over size.
Choice storing position and value
Base class for value selection and commit.
Base-class for both propagators and branchers.
BoolAFC bafc
Boolean AFC information.
void expand(Home home, const IntVarArgs &x, const BoolVarArgs &y)
Expand AFC, action, and CHB.
Select
Which variable selection.
BoolCHB bchb
Boolean CHB information.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
BoolCHB bchb
Boolean CHB information.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Base-class for branchers.
With largest CHB Q-score divided by domain size.
BoolAction baction
Boolean Action information.
int n
Number of negative literals for node type.
Base-class for brancher for integer and Boolean views.
With largest accumulated failure count divided by domain size.
IntBoolVarBranch INTBOOL_VAR_AFC_MAX(double d=1.0)
Variable selection for both integer and Boolean variables.
ViewArray< Int::BoolView > y
Boolean views to branch on.
Which integer or Boolean variable to select for branching.
ViewArray< Int::IntView > x
Integer views to branch on.
Recording AFC information for integer variables.
Select select(void) const
Return selection strategy.
void branch(Home home, const IntVarArgs &x, const BoolVarArgs &y, IntBoolVarBranch vars, IntValBranch vals)
Branch function for integer and Boolean variables.
Recording AFC information for Boolean variables.
BoolValBranch i2b(const IntValBranch &ivb)
Map respective integer value selection to Boolean value selection.
Recording actions for Boolean variables.
IntAFC iafc
Integer AFC information.
IntCHB ichb
Integer CHB information.
Recording CHB for integer variables.
BoolAFC bafc
Boolean AFC information.
Passing integer variables.
Select by maximal AFC over size.
Passing Boolean variables.
Brancher for integer and Boolean views.
Select by maximal CHB over size.
IntPropLevel ba(IntPropLevel ipl)
Extract basic or advanced from propagation level.
IntAction iaction
Integer Action information.
void print(std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax)
Print set view.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
IntAction intaction(void) const
Return integer action.
Variable branching information.
With largest action divided by domain size.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Choice for performing commit
Select by maximal Action.
IntBoolVarBranch INTBOOL_VAR_AFC_SIZE_MAX(double d=1.0)
Select variable with largest accumulated failure count divided by domain size.
IntBoolVarBranch INTBOOL_VAR_CHB_MAX(double d=1.0)
Select variable with largest CHB Q-score.
IntAFC intafc(void) const
Return integer AFC.
ValSelCommitBase< Int::BoolView, int > * yvsc
Boolean value selection and commit object.
IntAction iaction
Integer Action information.
BoolAction baction
Boolean Action information.
Post propagator for SetVar x
Recording CHB for Boolean variables.
IntBoolVarBranch INTBOOL_VAR_ACTION_MAX(double d=1.0)
Select variable with highest action.
Gecode toplevel namespace
#define GECODE_VTABLE_EXPORT
BoolAction boolaction(void) const
Return Boolean action.
BoolAFC boolafc(void) const
Return Boolean AFC.
Home class for posting propagators
IntBoolVarBranch INTBOOL_VAR_CHB_SIZE_MAX(double d=1.0)
Select variable with largest CHB Q-score divided by domain size.
Recording actions for integer variables.
Select s
Which variable to select.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Boolean view for Boolean variables.
No-good literal recorded during search.