Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
set.hh
Go to the documentation of this file.
1/* -*- mode: C++; c-basic-offset: 2; indent-tabs-mode: nil -*- */
2/*
3 * Main authors:
4 * Guido Tack <tack@gecode.org>
5 * Christian Schulte <schulte@gecode.org>
6 *
7 * Contributing authors:
8 * Gabor Szokoli <szokoli@gecode.org>
9 *
10 * Copyright:
11 * Guido Tack, 2004
12 * Christian Schulte, 2004
13 * Gabor Szokoli, 2004
14 *
15 * This file is part of Gecode, the generic constraint
16 * development environment:
17 * http://www.gecode.org
18 *
19 * Permission is hereby granted, free of charge, to any person obtaining
20 * a copy of this software and associated documentation files (the
21 * "Software"), to deal in the Software without restriction, including
22 * without limitation the rights to use, copy, modify, merge, publish,
23 * distribute, sublicense, and/or sell copies of the Software, and to
24 * permit persons to whom the Software is furnished to do so, subject to
25 * the following conditions:
26 *
27 * The above copyright notice and this permission notice shall be
28 * included in all copies or substantial portions of the Software.
29 *
30 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
31 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
32 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
33 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
34 * LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
35 * OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
36 * WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
37 *
38 */
39
40#ifndef __GECODE_SET_HH__
41#define __GECODE_SET_HH__
42
43#include <gecode/kernel.hh>
44#include <gecode/int.hh>
45#include <gecode/iter.hh>
46
47#include <functional>
48
49/*
50 * Configure linking
51 *
52 */
53#if !defined(GECODE_STATIC_LIBS) && \
54 (defined(__CYGWIN__) || defined(__MINGW32__) || defined(_MSC_VER))
55
56#ifdef GECODE_BUILD_SET
57#define GECODE_SET_EXPORT __declspec( dllexport )
58#else
59#define GECODE_SET_EXPORT __declspec( dllimport )
60#endif
61
62#else
63
64#ifdef GECODE_GCC_HAS_CLASS_VISIBILITY
65#define GECODE_SET_EXPORT __attribute__ ((visibility("default")))
66#else
67#define GECODE_SET_EXPORT
68#endif
69
70#endif
71
72// Configure auto-linking
73#ifndef GECODE_BUILD_SET
74#define GECODE_LIBRARY_NAME "Set"
76#endif
77
78
89
91
92namespace Gecode { namespace Set {
93
95 namespace Limits {
97 const int max = (Gecode::Int::Limits::max / 2) - 1;
99 const int min = -max;
101 const unsigned int card = max-min+1;
103 void check(int n, const char* l);
105 void check(unsigned int n, const char* l);
107 void check(const IntSet& s, const char* l);
108 }
109
110}}
111
112#include <gecode/set/limits.hpp>
113
114#include <gecode/set/var-imp.hpp>
115
116namespace Gecode {
117
118 namespace Set {
119 class SetView;
120 }
121
127 class SetVar : public VarImpVar<Set::SetVarImp> {
128 friend class SetVarArray;
129 friend class SetVarArgs;
131 public:
133
134
135 SetVar(void);
137 SetVar(const SetVar& y);
139 SetVar(const Set::SetView& y);
140
143
162 SetVar(Space& home,int glbMin,int glbMax,int lubMin,int lubMax,
163 unsigned int cardMin = 0,
164 unsigned int cardMax = Set::Limits::card);
165
183 SetVar(Space& home,const IntSet& glbD,int lubMin,int lubMax,
184 unsigned int cardMin = 0,
185 unsigned int cardMax = Set::Limits::card);
186
205 SetVar(Space& home,int glbMin,int glbMax,const IntSet& lubD,
206 unsigned int cardMin = 0,
207 unsigned int cardMax = Set::Limits::card);
208
227 SetVar(Space& home,const IntSet& glbD,const IntSet& lubD,
228 unsigned int cardMin = 0,
229 unsigned int cardMax = Set::Limits::card);
231
233
234
235 unsigned int glbSize(void) const;
237 unsigned int lubSize(void) const;
239 unsigned int unknownSize(void) const;
241 unsigned int cardMin(void) const;
243 unsigned int cardMax(void) const;
245 int lubMin(void) const;
247 int lubMax(void) const;
249 int glbMin(void) const;
251 int glbMax(void) const;
253
255
256
257 bool contains(int i) const;
259 bool notContains(int i) const;
261
263 SetVar& operator =(const SetVar&) = default;
264 };
265
271
274 private:
276 public:
278
279
280 SetVarGlbRanges(void);
282 SetVarGlbRanges(const SetVar& x);
284
286
287
288 bool operator ()(void) const;
290 void operator ++(void);
292
294
295
296 int min(void) const;
298 int max(void) const;
300 unsigned int width(void) const;
302 };
303
306 private:
308 public:
310
311
312 SetVarLubRanges(void);
314 SetVarLubRanges(const SetVar& x);
316
318
319
320 bool operator ()(void) const;
322 void operator ++(void);
324
326
327
328 int min(void) const;
330 int max(void) const;
332 unsigned int width(void) const;
334 };
335
338 private:
340 public:
342
343
348
350
351
352 bool operator ()(void) const;
354 void operator ++(void);
356
358
359
360 int min(void) const;
362 int max(void) const;
364 unsigned int width(void) const;
366 };
367
370 private:
372 public:
374
375
378 SetVarGlbValues(const SetVar& x);
380
382
383
384 bool operator ()(void) const;
386 void operator ++(void);
388
390
391
392 int val(void) const;
394 };
395
398 private:
400 public:
402
403
406 SetVarLubValues(const SetVar& x);
408
410
411
412 bool operator ()(void) const;
414 void operator ++(void);
416
418
419
420 int val(void) const;
422 };
423
426 private:
428 public:
430
431
436
438
439
440 bool operator ()(void) const;
442 void operator ++(void);
444
446
447
448 int val(void) const;
450 };
451
453
458 template<class Char, class Traits>
459 std::basic_ostream<Char,Traits>&
460 operator <<(std::basic_ostream<Char,Traits>& os, const SetVar& x);
461
462}
463
464#include <gecode/set/view.hpp>
465
466namespace Gecode {
474
476
477}
478
480
481namespace Gecode {
482
491 class SetVarArgs : public VarArgArray<SetVar> {
492 public:
494
495
496 SetVarArgs(void);
498 explicit SetVarArgs(int n);
500 SetVarArgs(const SetVarArgs& a);
504 SetVarArgs(const std::vector<SetVar>& a);
506 SetVarArgs(std::initializer_list<SetVar> a);
508 template<class InputIterator>
509 SetVarArgs(InputIterator first, InputIterator last);
517 SetVarArgs(Space& home,int n,int glbMin,int glbMax,
518 int lubMin,int lubMax,
519 unsigned int minCard = 0,
520 unsigned int maxCard = Set::Limits::card);
528 SetVarArgs(Space& home,int n,const IntSet& glb,
529 int lubMin, int lubMax,
530 unsigned int minCard = 0,
531 unsigned int maxCard = Set::Limits::card);
539 SetVarArgs(Space& home,int n,int glbMin,int glbMax,
540 const IntSet& lub,
541 unsigned int minCard = 0,
542 unsigned int maxCard = Set::Limits::card);
550 SetVarArgs(Space& home,int n,
551 const IntSet& glb,const IntSet& lub,
552 unsigned int minCard = 0,
553 unsigned int maxCard = Set::Limits::card);
555 };
556
557
568
573 class SetVarArray : public VarArray<SetVar> {
574 public:
576
577
578 SetVarArray(void);
580 SetVarArray(const SetVarArray&);
582 SetVarArray(Space& home, const SetVarArgs&);
592 SetVarArray(Space& home,int n,int glbMin,int glbMax,int lubMin,int lubMax,
593 unsigned int minCard = 0,
594 unsigned int maxCard = Set::Limits::card);
602 SetVarArray(Space& home,int n,const IntSet& glb, int lubMin, int lubMax,
603 unsigned int minCard = 0,
604 unsigned int maxCard = Set::Limits::card);
612 SetVarArray(Space& home,int n,int glbMin,int glbMax,const IntSet& lub,
613 unsigned int minCard = 0,
614 unsigned int maxCard = Set::Limits::card);
622 SetVarArray(Space& home,int n,
623 const IntSet& glb,const IntSet& lub,
624 unsigned int minCard = 0,
625 unsigned int maxCard = Set::Limits::card);
627
630 };
631
632}
633
634#include <gecode/set/array.hpp>
635
636namespace Gecode {
637
661
672
679
681 dom(Home home, SetVar x, SetRelType r, int i);
684 dom(Home home, const SetVarArgs& x, SetRelType r, int i);
687 dom(Home home, SetVar x, SetRelType r, int i, int j);
690 dom(Home home, const SetVarArgs& x, SetRelType r, int i, int j);
693 dom(Home home, SetVar x, SetRelType r, const IntSet& s);
696 dom(Home home, const SetVarArgs& x, SetRelType r, const IntSet& s);
699 cardinality(Home home, SetVar x, unsigned int i, unsigned int j);
702 cardinality(Home home, const SetVarArgs& x, unsigned int i, unsigned int j);
705 dom(Home home, SetVar x, SetRelType rt, int i, Reify r);
708 dom(Home home, SetVar x, SetRelType rt, int i, int j, Reify r);
711 dom(Home home, SetVar x, SetRelType rt, const IntSet& s, Reify r);
714 dom(Home home, SetVar x, SetVar d);
717 dom(Home home, const SetVarArgs& x, const SetVarArgs& d);
719
720
727
729 rel(Home home, SetVar x, SetRelType r, SetVar y);
732 rel(Home home, SetVar x, SetRelType rt, SetVar y, Reify r);
735 rel(Home home, SetVar s, SetRelType r, IntVar x);
738 rel(Home home, IntVar x, SetRelType r, SetVar s);
741 rel(Home home, SetVar s, SetRelType rt, IntVar x, Reify r);
744 rel(Home home, IntVar x, SetRelType rt, SetVar s, Reify r);
747 rel(Home home, SetVar s, IntRelType rt, IntVar x);
749 void
750 rel(Home home, IntVar x, IntRelType rt, SetVar s);
753 rel(Home home, SetVar s, IntRelType rt, IntVar x, Reify r);
755 void
756 rel(Home home, IntVar x, IntRelType rt, SetVar s, Reify r);
758
759}
760
761#include <gecode/set/int.hpp>
762
763namespace Gecode {
764
776 rel(Home home, SetOpType op, const SetVarArgs& x, SetVar y);
779 rel(Home home, SetOpType op, const SetVarArgs& x, const IntSet& z, SetVar y);
782 rel(Home home, SetOpType op, const IntVarArgs& x, const IntSet& z, SetVar y);
785 rel(Home home, SetOpType op, const IntVarArgs& x, SetVar y);
788 rel(Home home, const IntSet& x, SetOpType op, SetVar y,
792 rel(Home home, SetVar x, SetOpType op, const IntSet& y,
797 SetRelType r, const IntSet& z);
800 rel(Home home, const IntSet& x, SetOpType op, SetVar y, SetRelType r,
801 const IntSet& z);
804 rel(Home home, SetVar x, SetOpType op, const IntSet& y, SetRelType r,
805 const IntSet& z);
811 ite(Home home, BoolVar b, SetVar x, SetVar y, SetVar z);
813
814
821
823 convex(Home home, SetVar x);
826 convex(Home home, SetVar x, SetVar y);
828
829
836
838 sequence(Home home, const SetVarArgs& x);
841 sequence(Home home, const SetVarArgs& y, SetVar x);
843
844
851
853 atmostOne(Home home, const SetVarArgs& x, unsigned int c);
855
865 min(Home home, SetVar s, IntVar x);
870 notMin(Home home, SetVar s, IntVar x);
875 min(Home home, SetVar s, IntVar x, Reify r);
880 max(Home home, SetVar s, IntVar x);
885 notMax(Home home, SetVar s, IntVar x);
890 max(Home home, SetVar s, IntVar x, Reify r);
895 cardinality(Home home, SetVar s, IntVar x);
900 cardinality(Home home, SetVar s, IntVar x, Reify r);
915 SetVar x, IntVar y);
916
917
924
926 channel(Home home, const IntVarArgs& x,const SetVarArgs& y);
929 channelSorted(Home home, const IntVarArgs& x, SetVar y);
932 channel(Home home, const BoolVarArgs& x, SetVar y);
935 channel(Home home, const SetVarArgs& x, const SetVarArgs& y);
937
938
951 precede(Home home, const SetVarArgs& x, int s, int t);
956 precede(Home home, const SetVarArgs& x, const IntArgs& c);
957
958
971
1005 element(Home home, SetOpType op, const IntSetArgs& x, SetVar y, SetVar z,
1017 element(Home home, SetOpType op, const IntArgs& x, SetVar y, SetVar z,
1025 element(Home home, const SetVarArgs& x, IntVar y, SetVar z);
1032 element(Home home, const IntSetArgs& s, IntVar y, SetVar z);
1039 element(Home home, const IntSetArgs& a,
1040 IntVar x, int w, IntVar y, int h, SetVar z);
1047 element(Home home, const SetVarArgs& a,
1048 IntVar x, int w, IntVar y, int h, SetVar z);
1050
1051
1062
1064 wait(Home home, SetVar x, std::function<void(Space& home)> c);
1067 wait(Home home, const SetVarArgs& x, std::function<void(Space& home)> c);
1069
1070}
1071
1072
1073namespace Gecode {
1074
1079
1088 typedef std::function<bool(const Space& home, SetVar x, int i)>
1100 typedef std::function<double(const Space& home, SetVar x, int i)>
1102
1113 typedef std::function<int(const Space& home, SetVar x, int i)>
1115
1127 typedef std::function<void(Space& home, unsigned int a,
1128 SetVar x, int i, int n)>
1130
1131}
1132
1134
1135namespace Gecode {
1136
1142 class SetAFC : public AFC {
1143 public:
1151 SetAFC(void);
1153 SetAFC(const SetAFC& a);
1155 SetAFC& operator =(const SetAFC& a);
1163 SetAFC(Home home, const SetVarArgs& x, double d=1.0, bool share=true);
1174 void init(Home home, const SetVarArgs& x, double d=1.0, bool share=true);
1175 };
1176
1177}
1178
1180
1181namespace Gecode {
1182
1183
1189 class SetAction : public Action {
1190 public:
1198 SetAction(void);
1200 SetAction(const SetAction& a);
1202 SetAction& operator =(const SetAction& a);
1212 SetAction(Home home, const SetVarArgs& x, double d=1.0,
1213 SetBranchMerit bm=nullptr);
1226 init(Home home, const SetVarArgs& x, double d=1.0,
1227 SetBranchMerit bm=nullptr);
1228 };
1229
1230}
1231
1233
1234namespace Gecode {
1235
1241 class SetCHB : public CHB {
1242 public:
1250 SetCHB(void);
1252 SetCHB(const SetCHB& chb);
1254 SetCHB& operator =(const SetCHB& chb);
1264 SetCHB(Home home, const SetVarArgs& x, SetBranchMerit bm=nullptr);
1277 init(Home home, const SetVarArgs& x, SetBranchMerit bm=nullptr);
1278 };
1279
1280}
1281
1283
1284namespace Gecode {
1285
1287 typedef std::function<void(const Space &home, const Brancher& b,
1288 unsigned int a,
1289 SetVar x, int i, const int& n,
1290 std::ostream& o)>
1292
1293}
1294
1295namespace Gecode {
1296
1358
1364
1377 SetVarBranch SET_VAR_AFC_MIN(double d=1.0, BranchTbl tbl=nullptr);
1381 SetVarBranch SET_VAR_AFC_MAX(double d=1.0, BranchTbl tbl=nullptr);
1385 SetVarBranch SET_VAR_ACTION_MIN(double d=1.0, BranchTbl tbl=nullptr);
1389 SetVarBranch SET_VAR_ACTION_MAX(double d=1.0, BranchTbl tbl=nullptr);
1417 SetVarBranch SET_VAR_AFC_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr);
1421 SetVarBranch SET_VAR_AFC_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr);
1425 SetVarBranch SET_VAR_ACTION_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr);
1429 SetVarBranch SET_VAR_ACTION_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr);
1441
1442}
1443
1445
1446namespace Gecode {
1447
1480
1486
1511
1512}
1513
1515
1516namespace Gecode {
1517
1550
1556
1580
1581}
1582
1584
1585namespace Gecode {
1586
1593 branch(Home home, const SetVarArgs& x,
1594 SetVarBranch vars, SetValBranch vals,
1595 SetBranchFilter bf=nullptr,
1596 SetVarValPrint vvp=nullptr);
1603 branch(Home home, const SetVarArgs& x,
1604 TieBreak<SetVarBranch> vars, SetValBranch vals,
1605 SetBranchFilter bf=nullptr,
1606 SetVarValPrint vvp=nullptr);
1613 branch(Home home, SetVar x, SetValBranch vals,
1614 SetVarValPrint vvp=nullptr);
1615
1622 assign(Home home, const SetVarArgs& x,
1623 SetVarBranch vars, SetAssign vals,
1624 SetBranchFilter bf=nullptr,
1625 SetVarValPrint vvp=nullptr);
1632 assign(Home home, const SetVarArgs& x,
1633 TieBreak<SetVarBranch> vars, SetAssign vals,
1634 SetBranchFilter bf=nullptr,
1635 SetVarValPrint vvp=nullptr);
1642 assign(Home home, SetVar x, SetAssign vals,
1643 SetVarValPrint vvp=nullptr);
1644
1645}
1646
1647namespace Gecode {
1648
1654 void
1655 branch(Home home, const SetVarArgs& x,
1656 SetValBranch vals,
1657 SetBranchFilter bf=nullptr,
1658 SetVarValPrint vvp=nullptr);
1659
1665 void
1666 assign(Home home, const SetVarArgs& x,
1667 SetAssign vals,
1668 SetBranchFilter bf=nullptr,
1669 SetVarValPrint vvp=nullptr);
1670
1671}
1672
1673#include <gecode/set/branch.hpp>
1674
1675// LDSB-related declarations.
1676namespace Gecode {
1693 branch(Home home, const SetVarArgs& x,
1694 SetVarBranch vars, SetValBranch vals,
1695 const Symmetries& syms,
1696 SetBranchFilter bf=nullptr,
1697 SetVarValPrint vvp=nullptr);
1705 branch(Home home, const SetVarArgs& x,
1707 const Symmetries& syms,
1708 SetBranchFilter bf=nullptr,
1709 SetVarValPrint vvp=nullptr);
1710}
1711
1712namespace Gecode {
1713
1714 /*
1715 * \brief Relaxed assignment of variables in \a x from values in \a sx
1716 *
1717 * The variables in \a x are assigned values from the assigned variables
1718 * in the solution \a sx with a relaxation probability \a p. That is,
1719 * if \$fp=0.1\f$ approximately 10% of the variables in \a x will be
1720 * assigned a value from \a sx.
1721 *
1722 * The random numbers are generated from the generator \a r. At least
1723 * one variable will not be assigned: in case the relaxation attempt
1724 * would suggest that all variables should be assigned, a single
1725 * variable will be selected randomly to remain unassigned.
1726 *
1727 * Throws an exception of type Set::ArgumentSizeMismatch, if \a x and
1728 * \a sx are of different size.
1729 *
1730 * Throws an exception of type Set::OutOfLimits, if \a p is not between
1731 * \a 0.0 and \a 1.0.
1732 *
1733 * \ingroup TaskModeSet
1734 */
1736 relax(Home home, const SetVarArgs& x, const SetVarArgs& sx,
1737 Rnd r, double p);
1738
1739}
1740
1742
1743namespace Gecode {
1744
1749
1755 protected:
1757 public:
1759 class Glb
1760 : public Iter::Ranges::Diff<Set::GlbRanges<Set::SetView>,
1761 Iter::Ranges::RangeList> {
1762 protected:
1767 public:
1769
1770
1773 };
1776 class Lub
1777 : public Iter::Ranges::Diff<Iter::Ranges::RangeList,
1778 Set::LubRanges<Set::SetView> > {
1779 protected:
1784 public:
1786
1787
1790 };
1793
1794
1797
1799
1800 Glb& glb(void);
1802 Lub& lub(void);
1804 };
1805
1806}
1807
1809
1811
1812namespace Gecode {
1813
1824
1830 protected:
1832 std::ostream& os;
1833 public:
1835 StdSetTracer(std::ostream& os0 = std::cerr);
1837 virtual void init(const Space& home, const SetTraceRecorder& t);
1839 virtual void prune(const Space& home, const SetTraceRecorder& t,
1840 const ViewTraceInfo& vti, int i, SetTraceDelta& d);
1842 virtual void fix(const Space& home, const SetTraceRecorder& t);
1844 virtual void fail(const Space& home, const SetTraceRecorder& t);
1846 virtual void done(const Space& home, const SetTraceRecorder& t);
1849 };
1850
1851
1857 trace(Home home, const SetVarArgs& x,
1858 TraceFilter tf,
1859 int te = (TE_INIT | TE_PRUNE | TE_FIX | TE_FAIL | TE_DONE),
1865 void
1866 trace(Home home, const SetVarArgs& x,
1867 int te = (TE_INIT | TE_PRUNE | TE_FIX | TE_FAIL | TE_DONE),
1869
1870}
1871
1872#include <gecode/set/trace.hpp>
1873
1874#endif
1875
1876// IFDEF: GECODE_HAS_SET_VARS
1877// STATISTICS: set-post
AFC(void)
Construct as not yet intialized.
Definition afc.hpp:119
AFC & operator=(const AFC &a)
Assignment operator.
Definition afc.hpp:152
Action & operator=(const Action &a)
Assignment operator.
Definition action.cpp:50
Action(void)
Construct as not yet intialized.
Definition action.hpp:323
Passing Boolean variables.
Definition int.hh:721
Boolean integer variables.
Definition int.hh:515
CHB(void)
Construct as not yet intialized.
Definition chb.hpp:346
CHB & operator=(const CHB &a)
Assignment operator.
Definition chb.cpp:50
Generic domain change information to be supplied to advisors.
Definition core.hpp:204
Home class for posting propagators
Definition core.hpp:856
Passing integer arguments.
Definition int.hh:634
Integer sets.
Definition int.hh:174
Passing integer variables.
Definition int.hh:662
Integer variables.
Definition int.hh:371
Range iterator for computing set difference.
Range iterator for range lists
Value iterator from range iterator.
Lists of ranges (intervals)
Reification specification.
Definition int.hh:891
Random number generator.
Definition rnd.hpp:42
Recording AFC information for set variables.
Definition set.hh:1142
void init(Home home, const SetVarArgs &x, double d=1.0, bool share=true)
Initialize for set variables x with decay factor d.
Definition afc.hpp:54
SetAFC(void)
Construct as not yet initialized.
Definition afc.hpp:37
Recording actions for set variables.
Definition set.hh:1189
SetAction(void)
Construct as not yet initialized.
Definition action.hpp:37
void init(Home home, const SetVarArgs &x, double d=1.0, SetBranchMerit bm=nullptr)
Initialize for set variables x with decay factor d.
Definition action.cpp:45
Which value to select for assignment.
Definition set.hh:1523
Initialize with selection strategy a s SetAssign(Select s=SEL_MIN_INC)
Definition assign.hpp:37
@ SEL_MED_EXC
Exclude median element (rounding downwards)
Definition set.hh:1530
@ SEL_MIN_EXC
Exclude smallest element.
Definition set.hh:1528
@ SEL_RND_EXC
Exclude random element.
Definition set.hh:1534
@ SEL_MIN_INC
Include smallest element.
Definition set.hh:1527
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
Definition set.hh:1535
@ SEL_MAX_INC
Include largest element.
Definition set.hh:1531
@ SEL_MAX_EXC
Exclude largest element.
Definition set.hh:1532
@ SEL_MED_INC
Include median element (rounding downwards)
Definition set.hh:1529
@ SEL_RND_INC
Include random element.
Definition set.hh:1533
Return selection strategy Select select(void) const
Definition assign.hpp:49
Which value to select Select s
Definition set.hh:1539
Recording CHB for set variables.
Definition set.hh:1241
void init(Home home, const SetVarArgs &x, SetBranchMerit bm=nullptr)
Initialize for set variables x.
Definition chb.cpp:44
SetCHB(void)
Construct as not yet initialized.
Definition chb.hpp:37
Delta for the greatest lower bound.
Definition set.hh:1761
Set::GlbRanges< Set::SetView > n
Iterator over new glb.
Definition set.hh:1766
Iter::Ranges::RangeList o
Iterator over old glb.
Definition set.hh:1764
Glb(RangeList *o, Set::SetView n)
Initialize with old glb and new glb.
Definition delta.hpp:37
Delta for the least upper bound.
Definition set.hh:1778
Iter::Ranges::RangeList o
Iterator over old lub.
Definition set.hh:1781
Lub(RangeList *o, Set::SetView n)
Initialize with old lub o and new lub n.
Definition delta.hpp:42
Set::LubRanges< Set::SetView > n
Iterator over new lub.
Definition set.hh:1783
Trace delta information for set variables.
Definition set.hh:1754
Glb & glb(void)
Give access to iterator for delta in greatest lower bound (values that have been included)
Definition delta.hpp:52
SetTraceDelta(Set::SetTraceView o, Set::SetView n, const Delta &d)
Initialize with old trace view o, new view n, and delta d.
Definition delta.hpp:48
Lub & lub(void)
Give access iterator for delta in leat bound (values that have been removed)
Definition delta.hpp:56
Which values to select for branching first.
Definition set.hh:1453
Which value to select Select s
Definition set.hh:1469
Initialize with selection strategy a s SetValBranch(Select s=SEL_MIN_INC)
Definition val.hpp:37
@ SEL_VAL_COMMIT
Select value according to user-defined functions.
Definition set.hh:1465
@ SEL_MAX_INC
Include largest element.
Definition set.hh:1461
@ SEL_MIN_EXC
Exclude smallest element.
Definition set.hh:1458
@ SEL_RND_EXC
Exclude random element.
Definition set.hh:1464
@ SEL_MIN_INC
Include smallest element.
Definition set.hh:1457
@ SEL_MAX_EXC
Exclude largest element.
Definition set.hh:1462
@ SEL_MED_EXC
Exclude median element (rounding downwards)
Definition set.hh:1460
@ SEL_RND_INC
Include random element.
Definition set.hh:1463
@ SEL_MED_INC
Include median element (rounding downwards)
Definition set.hh:1459
Return selection strategy Select select(void) const
Definition val.hpp:49
Passing set variables.
Definition set.hh:491
SetVarArgs(void)
Allocate empty array.
Definition array.hpp:48
SetVarArray & operator=(const SetVarArray &)=default
Assignment operator.
SetVarArray(void)
Default constructor (array of size 0)
Definition array.hpp:77
Which variable to select for branching.
Definition set.hh:1302
Expand and CHB void expand(Home home, const SetVarArgs &x)
Definition var.hpp:74
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
Definition set.hh:1328
@ SEL_CHB_MIN
With lowest CHB Q-score.
Definition set.hh:1316
@ SEL_CHB_MAX
With highest CHB Q-score.
Definition set.hh:1317
@ SEL_MERIT_MIN
With least merit.
Definition set.hh:1308
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
Definition set.hh:1325
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
Definition set.hh:1326
@ SEL_AFC_MIN
With smallest accumulated failure count.
Definition set.hh:1312
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
Definition set.hh:1331
@ SEL_NONE
First unassigned.
Definition set.hh:1306
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
Definition set.hh:1329
@ SEL_DEGREE_MAX
With largest degree.
Definition set.hh:1311
@ SEL_AFC_MAX
With largest accumulated failure count.
Definition set.hh:1313
@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
Definition set.hh:1330
@ SEL_MERIT_MAX
With highest merit.
Definition set.hh:1309
@ SEL_SIZE_MIN
With smallest unknown set.
Definition set.hh:1322
@ SEL_RND
Random (uniform, for tie breaking)
Definition set.hh:1307
@ SEL_ACTION_MAX
With highest action.
Definition set.hh:1315
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
Definition set.hh:1327
@ SEL_ACTION_MIN
With lowest action.
Definition set.hh:1314
@ SEL_MIN_MAX
With largest minimum unknown element.
Definition set.hh:1319
@ SEL_MAX_MAX
With largest maximum unknown element.
Definition set.hh:1321
@ SEL_MAX_MIN
With smallest maximum unknown element.
Definition set.hh:1320
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
Definition set.hh:1324
@ SEL_MIN_MIN
With smallest minimum unknown element.
Definition set.hh:1318
@ SEL_DEGREE_MIN
With smallest degree.
Definition set.hh:1310
@ SEL_SIZE_MAX
With largest unknown set.
Definition set.hh:1323
Initialize with strategy SEL_NONE SetVarBranch(void)
Definition var.hpp:37
Initialize with selection strategy a decay factor a d
Definition set.hh:1343
Which variable to select Select s
Definition set.hh:1335
Initialize with selection strategy a afc a a
Definition set.hh:1345
Initialize with selection strategy a CHB a c
Definition set.hh:1349
Initialize with selection strategy a branch merit function a mf
Definition set.hh:1351
Return selection strategy Select select(void) const
Definition var.hpp:69
bool operator()(void) const
Test whether iterator is still at a range or done.
Definition set.hpp:111
int max(void) const
Return largest value of range.
Definition set.hpp:123
void operator++(void)
Move iterator to next range (if possible)
Definition set.hpp:115
int min(void) const
Return smallest value of range.
Definition set.hpp:119
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Definition set.hpp:127
SetVarGlbRanges(void)
Default constructor.
Definition set.hpp:103
bool operator()(void) const
Test whether iterator is still at a value or done.
Definition set.hpp:191
int val(void) const
Return current value.
Definition set.hpp:201
void operator++(void)
Move iterator to next value (if possible)
Definition set.hpp:196
SetVarGlbValues(void)
Default constructor.
void operator++(void)
Move iterator to next range (if possible)
Definition set.hpp:142
SetVarLubRanges(void)
Default constructor.
Definition set.hpp:130
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Definition set.hpp:154
int max(void) const
Return largest value of range.
Definition set.hpp:150
bool operator()(void) const
Test whether iterator is still at a range or done.
Definition set.hpp:138
int min(void) const
Return smallest value of range.
Definition set.hpp:146
bool operator()(void) const
Test whether iterator is still at a value or done.
Definition set.hpp:212
int val(void) const
Return current value.
Definition set.hpp:222
SetVarLubValues(void)
Default constructor.
void operator++(void)
Move iterator to next value (if possible)
Definition set.hpp:217
int max(void) const
Return largest value of range.
Definition set.hpp:178
bool operator()(void) const
Test whether iterator is still at a range or done.
Definition set.hpp:166
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Definition set.hpp:182
void operator++(void)
Move iterator to next range (if possible)
Definition set.hpp:170
int min(void) const
Return smallest value of range.
Definition set.hpp:174
SetVarUnknownRanges(void)
Default constructor.
Definition set.hpp:157
int val(void) const
Return current value.
Definition set.hpp:243
bool operator()(void) const
Test whether iterator is still at a value or done.
Definition set.hpp:233
SetVarUnknownValues(void)
Default constructor.
void operator++(void)
Move iterator to next value (if possible)
Definition set.hpp:238
Set variables
Definition set.hh:127
unsigned int cardMax(void) const
Return cardinality maximum.
Definition set.hpp:81
SetVar(void)
Default constructor.
Definition set.hpp:46
bool notContains(int i) const
Test whether i is not in the least upper bound.
Definition set.hpp:75
friend class SetVarArgs
Definition set.hh:129
int lubMin(void) const
Return minimum element of least upper bound.
Definition set.hpp:84
friend class SetVarArray
Definition set.hh:128
unsigned int lubSize(void) const
Return number of elements in the least upper bound.
Definition set.hpp:66
SetVar & operator=(const SetVar &)=default
Assignment operator.
int lubMax(void) const
Return maximum element of least upper bound.
Definition set.hpp:87
unsigned int glbSize(void) const
Return number of elements in the greatest lower bound.
Definition set.hpp:63
int glbMin(void) const
Return minimum element of greatest lower bound.
Definition set.hpp:90
unsigned int unknownSize(void) const
Return number of unknown elements (elements in lub but not in glb)
Definition set.hpp:69
int glbMax(void) const
Return maximum of greatest lower bound.
Definition set.hpp:93
bool contains(int i) const
Test whether i is in greatest lower bound.
Definition set.hpp:72
unsigned int cardMin(void) const
Return cardinality minimum.
Definition set.hpp:78
Range iterator for the greatest lower bound.
Definition var-imp.hpp:359
Range iterator for the least upper bound.
Definition var-imp.hpp:317
Duplicate of a set view.
Finite integer set variable implementation.
Definition var-imp.hpp:430
Set view for set variables
Definition view.hpp:56
Range iterator for the unknown set.
Definition var-imp.hpp:402
Computation spaces.
Definition core.hpp:1744
virtual void done(const Space &home, const SetTraceRecorder &t)
Print that trace recorder is done.
Definition tracer.cpp:121
virtual void init(const Space &home, const SetTraceRecorder &t)
Print init information.
Definition tracer.cpp:43
StdSetTracer(std::ostream &os0=std::cerr)
Initialize with output stream os0.
Definition tracer.cpp:39
virtual void fail(const Space &home, const SetTraceRecorder &t)
Print failure information.
Definition tracer.cpp:103
virtual void prune(const Space &home, const SetTraceRecorder &t, const ViewTraceInfo &vti, int i, SetTraceDelta &d)
Print prune information.
Definition tracer.cpp:52
virtual void fix(const Space &home, const SetTraceRecorder &t)
Print fixpoint information.
Definition tracer.cpp:85
std::ostream & os
Output stream to use.
Definition set.hh:1832
static StdSetTracer def
Default tracer (printing to std::cerr)
Definition set.hh:1848
Collection of symmetries.
Definition int.hh:5307
A reference-counted pointer to a SymmetryObject.
Definition int.hh:5270
Combine variable selection criteria for tie-breaking.
Definition tiebreak.hpp:38
Trace filters.
Definition filter.hpp:133
Variable arrays
Definition array.hpp:112
View trace information.
Definition core.hpp:910
Propagator for recording view trace information.
Definition recorder.hpp:60
Tracer that process view trace information.
Definition tracer.hpp:51
#define GECODE_SET_EXPORT
Definition set.hh:67
GECODE_FLOAT_EXPORT void trace(Home home, const FloatVarArgs &x, TraceFilter tf, int te=(TE_INIT|TE_PRUNE|TE_FIX|TE_FAIL|TE_DONE), FloatTracer &t=StdFloatTracer::def)
Create a tracer for float variables.
Definition trace.cpp:39
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
Definition var.hpp:48
void assign(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatAssign vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr)
Assign all x with variable selection vars and value selection vals.
Definition branch.cpp:111
void branch(Home home, const FloatVarArgs &x, FloatVarBranch vars, FloatValBranch vals, FloatBranchFilter bf=nullptr, FloatVarValPrint vvp=nullptr)
Branch over x with variable selection vars and value selection vals.
Definition branch.cpp:39
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
Definition rel.cpp:68
void ite(Home home, BoolVar b, FloatVar x, FloatVar y, FloatVar z)
Post propagator for if-then-else constraint.
Definition bool.cpp:39
void precede(Home home, const IntVarArgs &x, int s, int t, IntPropLevel=IPL_DEF)
Post propagator that s precedes t in x.
Definition precede.cpp:43
IntRelType
Relation types for integers.
Definition int.hh:940
std::function< bool(const Space &home, SetVar x, int i)> SetBranchFilter
Branch filter function type for set variables.
Definition set.hh:1089
std::function< double(const Space &home, SetVar x, int i)> SetBranchMerit
Branch merit function type for set variables.
Definition set.hh:1101
std::function< int(const Space &home, SetVar x, int i)> SetBranchVal
Branch value function type for set variables.
Definition set.hh:1114
std::function< void(Space &home, unsigned int a, SetVar x, int i, int n)> SetBranchCommit
Branch commit function type for set variables.
Definition set.hh:1129
SetOpType
Common operations for sets.
Definition set.hh:666
SetRelType
Common relation types for sets.
Definition set.hh:649
@ SOT_MINUS
Difference.
Definition set.hh:670
@ SOT_DUNION
Disjoint union.
Definition set.hh:668
@ SOT_UNION
Union.
Definition set.hh:667
@ SOT_INTER
Intersection
Definition set.hh:669
@ SRT_GQ
Greater or equal ( )
Definition set.hh:658
@ SRT_CMPL
Complement.
Definition set.hh:655
@ SRT_GR
Greater ( )
Definition set.hh:659
@ SRT_LQ
Less or equal ( )
Definition set.hh:656
@ SRT_NQ
Disequality ( )
Definition set.hh:651
@ SRT_LE
Less ( )
Definition set.hh:657
@ SRT_EQ
Equality ( )
Definition set.hh:650
@ SRT_SUP
Superset ( )
Definition set.hh:653
@ SRT_DISJ
Disjoint ( )
Definition set.hh:654
@ SRT_SUB
Subset ( )
Definition set.hh:652
ViewTracer< Set::SetView > SetTracer
Tracer for set variables.
Definition set.hh:1818
ViewTraceRecorder< Set::SetView > SetTraceRecorder
Trace recorder for set variables.
Definition set.hh:1823
@ TE_INIT
Trace init events.
Definition recorder.hpp:43
@ TE_PRUNE
Trace prune events.
Definition recorder.hpp:44
@ TE_FIX
Trace fixpoint events.
Definition recorder.hpp:45
@ TE_FAIL
Trace fail events.
Definition recorder.hpp:46
@ TE_DONE
Trace done events.
Definition recorder.hpp:47
Numerical limits for integer variables.
Definition int.hh:114
void check(int n, const char *l)
Check whether n is in range, otherwise throw out of limits with information l.
Definition limits.hpp:46
const int max
Largest allowed integer value.
Definition int.hh:116
const int min
Smallest allowed integer in integer set.
Definition set.hh:99
const unsigned int card
Maximum cardinality of an integer set.
Definition set.hh:101
const int max
Largest allowed integer in integer set.
Definition set.hh:97
Gecode toplevel namespace
Select variable with highest merit according to branch merit function a bm SetVarBranch SET_VAR_MERIT_MAX(SetBranchMerit bm, BranchTbl tbl=nullptr)
Definition var.hpp:111
SetValBranch SET_VAL_MED_INC(void)
Definition val.hpp:65
ArgArray< IntSet > IntSetArgs
Passing set arguments.
Definition int.hh:625
Select variable with smallest action divided by domain size with decay factor a d SetVarBranch SET_VAR_ACTION_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:246
Select variable with smallest CHB Q score divided by domain size SetVarBranch SET_VAR_CHB_SIZE_MIN(BranchTbl tbl=nullptr)
Definition var.hpp:266
Select variable with largest action divided by domain size with decay factor a d SetVarBranch SET_VAR_ACTION_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:256
void weights(Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y)
Definition int.cpp:292
Post propagator for SetVar SetOpType SetVar SetRelType r
Definition set.hh:773
Exclude random element SetAssign SET_ASSIGN_RND_EXC(Rnd r)
Definition assign.hpp:90
void notMin(Home home, SetVar s, IntVar x)
Definition int.cpp:235
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
Definition channel.cpp:41
Select first unassigned variable SetVarBranch SET_VAR_NONE(void)
Definition var.hpp:96
Include random element SetValBranch SET_VAL_RND_INC(Rnd r)
Definition val.hpp:85
Select variable with largest degree divided by domain size SetVarBranch SET_VAR_DEGREE_SIZE_MAX(BranchTbl tbl=nullptr)
Definition var.hpp:221
void sequence(Home home, const IntVarArgs &x, const IntSet &s, int q, int l, int u, IntPropLevel ipl=IPL_DEF)
Post propagator for .
Definition sequence.cpp:47
void channelSorted(Home home, const IntVarArgs &x, SetVar y)
Definition channel.cpp:45
SharedArray< int > IntSharedArray
Arrays of integers that can be shared among several element constraints.
Definition int.hh:1492
void atmostOne(Home home, const SetVarArgs &xa, unsigned int c)
Definition distinct.cpp:41
Archive & operator<<(Archive &e, FloatNumBranch nl)
Definition val-sel.hpp:39
Exclude random element SetValBranch SET_VAL_RND_EXC(Rnd r)
Definition val.hpp:90
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Select variable with lowest CHB Q score SetVarBranch SET_VAR_CHB_MIN(BranchTbl tbl=nullptr)
Definition var.hpp:166
Select variable with largest minimum unknown element SetVarBranch SET_VAR_MIN_MAX(BranchTbl tbl=nullptr)
Definition var.hpp:191
SetAssign SET_ASSIGN_MED_EXC(void)
Definition assign.hpp:70
Select variable with highest CHB Q score SetVarBranch SET_VAR_CHB_MAX(BranchTbl tbl=nullptr)
Definition var.hpp:176
SetAssign SET_ASSIGN_MED_INC(void)
Definition assign.hpp:65
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
Definition dom.cpp:40
void element(Home home, IntSharedArray n, IntVar x0, IntVar x1, IntPropLevel ipl=IPL_DEF)
Post domain consistent propagator for .
Definition element.cpp:39
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Definition set.hh:773
SetValBranch SET_VAL(SetBranchVal v, SetBranchCommit c=nullptr)
Select value as defined by the value function v and commit function c.
Definition val.hpp:95
Select variable with smallest unknown set SetVarBranch SET_VAR_SIZE_MIN(BranchTbl tbl=nullptr)
Definition var.hpp:206
Function type for printing branching alternatives for set variables typedef std::function< void(const Space &home, const Brancher &b, unsigned int a, SetVar x, int i, const int &n, std::ostream &o)> SetVarValPrint
Definition set.hh:1291
SetVarBranch SET_VAR_RND(Rnd r)
Definition var.hpp:101
Select variable with largest maximum unknown element SetVarBranch SET_VAR_MAX_MAX(BranchTbl tbl=nullptr)
Definition var.hpp:201
Post propagator for SetVar SetOpType SetVar y
Definition set.hh:773
Select variable with largest accumulated failure count with decay factor a d SetVarBranch SET_VAR_AFC_MAX(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:136
Include largest element SetAssign SET_ASSIGN_MAX_INC(void)
Definition assign.hpp:75
Select variable with smallest minimum unknown element SetVarBranch SET_VAR_MIN_MIN(BranchTbl tbl=nullptr)
Definition var.hpp:186
SetValBranch SET_VAL_MED_EXC(void)
Definition val.hpp:70
Include largest element SetValBranch SET_VAL_MAX_INC(void)
Definition val.hpp:75
Include random element SetAssign SET_ASSIGN_RND_INC(Rnd r)
Definition assign.hpp:85
Select variable with largest CHB Q score divided by domain size SetVarBranch SET_VAR_CHB_SIZE_MAX(BranchTbl tbl=nullptr)
Definition var.hpp:276
Select variable with smallest degree SetVarBranch SET_VAR_DEGREE_MIN(BranchTbl tbl=nullptr)
Definition var.hpp:116
SymmetryHandle VariableSymmetry(const IntVarArgs &x)
Variables in x are interchangeable.
Definition ldsb.cpp:62
GECODE_FLOAT_EXPORT void relax(Home home, const FloatVarArgs &x, const FloatVarArgs &sx, Rnd r, double p)
Definition relax.cpp:57
Post propagator that propagates that a x is convex void convex(Home home, SetVar x)
Definition convex.cpp:41
void notMax(Home home, SetVar s, IntVar x)
Definition int.cpp:267
Select variable with smallest accumulated failure count with decay factor a d SetVarBranch SET_VAR_AFC_MIN(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:126
Select variable with smallest maximum unknown element SetVarBranch SET_VAR_MAX_MIN(BranchTbl tbl=nullptr)
Definition var.hpp:196
void wait(Home home, FloatVar x, std::function< void(Space &home)> c)
Execute c when x becomes assigned.
Definition exec.cpp:39
Select variable with largest degree SetVarBranch SET_VAR_DEGREE_MAX(BranchTbl tbl=nullptr)
Definition var.hpp:121
Include smallest element SetValBranch SET_VAL_MIN_INC(void)
Definition val.hpp:55
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Select variable with smallest accumulated failure count divided by domain size with decay factor a d SetVarBranch SET_VAR_AFC_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:226
SymmetryHandle VariableSequenceSymmetry(const IntVarArgs &x, int ss)
Variable sequences in x of size ss are interchangeable.
Definition ldsb.cpp:90
Exclude smallest element SetAssign SET_ASSIGN_MIN_EXC(void)
Definition assign.hpp:60
Include smallest element SetAssign SET_ASSIGN_MIN_INC(void)
Definition assign.hpp:55
Exclude largest element SetValBranch SET_VAL_MAX_EXC(void)
Definition val.hpp:80
SetAssign SET_ASSIGN(SetBranchVal v, SetBranchCommit c=nullptr)
Select value as defined by the value function v and commit function c.
Definition assign.hpp:95
Exclude largest element SetAssign SET_ASSIGN_MAX_EXC(void)
Definition assign.hpp:80
Select variable with largest accumulated failure count divided by domain size with decay factor a d SetVarBranch SET_VAR_AFC_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:236
Select variable with lowest action with decay factor a d SetVarBranch SET_VAR_ACTION_MIN(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:146
LinIntExpr cardinality(const SetExpr &)
Cardinality of set expression.
Definition set-expr.cpp:817
Select variable with least merit according to branch merit function a bm SetVarBranch SET_VAR_MERIT_MIN(SetBranchMerit bm, BranchTbl tbl=nullptr)
Definition var.hpp:106
Post propagator for SetVar x
Definition set.hh:773
Select variable with smallest degree divided by domain size SetVarBranch SET_VAR_DEGREE_SIZE_MIN(BranchTbl tbl=nullptr)
Definition var.hpp:216
Exclude smallest element SetValBranch SET_VAL_MIN_EXC(void)
Definition val.hpp:60
Post propagator for SetVar SetOpType op
Definition set.hh:773
Select variable with largest unknown set SetVarBranch SET_VAR_SIZE_MAX(BranchTbl tbl=nullptr)
Definition var.hpp:211
Select variable with highest action with decay factor a d SetVarBranch SET_VAR_ACTION_MAX(double d=1.0, BranchTbl tbl=nullptr)
Definition var.hpp:156