34 #ifndef __GECODE_SET_LDSB_HH__ 35 #define __GECODE_SET_LDSB_HH__ 44 namespace Gecode {
namespace Set {
namespace LDSB {
46 using namespace Int::LDSB;
56 template<
class View,
int n,
class Val,
unsigned int a,
57 class Filter,
class Print>
111 template<
class View0,
int n0,
class Val0,
unsigned int a0>
128 void updatePart1(
Space& home,
int choicePos);
133 namespace Gecode {
namespace Int {
namespace LDSB {
int _nValueSymmetries
Number of value symmetries.
int _nNonValueSymmetries
Number of non-value symmetries.
Symmetry-breaking brancher with generic view and value selection.
A Literal is a pair of variable index and value.
std::function< void(const Space &home, const Brancher &b, unsigned int a, Var x, int i, const Val &m, std::ostream &o)> VarValPrint
Function type for printing variable and value selection.
int _prevPos
Position of previous variable that was branched on.
Base-class for both propagators and branchers.
IntSet _leftBranchValues
Set of values used on left branches for the current variable.
Gecode::FloatVal c(-8, 8)
int n
Number of negative literals for node type.
Argument array for non-primitive types.
bool _stable
Is the state of the brancher "stable"?
Implementation of a value symmetry.
std::function< bool(const Space &home, Var x, int i)> BranchFilter
Function type for branch filter functions.
int _nCopiedSyms
Number of copied symmetries.
Symmetry-breaking brancher with generic view and value selection.
void postldsbsetbrancher(Home home, ViewArray< View > &x, ViewSel< View > *vs[n], ValSelCommitBase< View, Val > *vsc, SymmetryImp< View > **syms, int nsyms, BranchFilter< typename View::VarType > bf, VarValPrint< typename View::VarType, Val > vvp)
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Implementation of a single symmetry.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Choice for performing commit
ValueSymmetryImp< View > ** _copiedSyms
Copy of value symmetries from the first node where the current variable was branched on...
virtual ArgArray< Literal > symmetric(Literal, const ViewArray< View > &) const
Compute symmetric literals.
Post propagator for SetVar x
Gecode toplevel namespace
Home class for posting propagators
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.