40 namespace Gecode {
namespace Int {
63 void init(
const View& x);
81 unsigned int width(
void)
const;
103 void init(
const View& x);
111 namespace Gecode {
namespace Int {
155 unsigned int size(
void)
const;
157 unsigned int width(
void)
const;
159 unsigned int regret_min(
void)
const;
161 unsigned int regret_max(
void)
const;
166 bool range(
void)
const;
170 bool in(
int n)
const;
172 bool in(
long long int n)
const;
266 template<
class Char,
class Traits>
267 std::basic_ostream<Char,Traits>&
268 operator <<(std::basic_ostream<Char,Traits>& os,
const IntView&
x);
302 unsigned int size(
void)
const;
304 unsigned int width(
void)
const;
306 unsigned int regret_min(
void)
const;
308 unsigned int regret_max(
void)
const;
313 bool range(
void)
const;
317 bool in(
int n)
const;
319 bool in(
long long int n)
const;
413 template<
class Char,
class Traits>
414 std::basic_ostream<Char,Traits>&
415 operator <<(std::basic_ostream<Char,Traits>& os,
const MinusView&
x);
442 int offset(
void)
const;
456 unsigned int size(
void)
const;
458 unsigned int width(
void)
const;
460 unsigned int regret_min(
void)
const;
462 unsigned int regret_max(
void)
const;
467 bool range(
void)
const;
471 bool in(
int n)
const;
473 bool in(
long long int n)
const;
573 template<
class Char,
class Traits>
574 std::basic_ostream<Char,Traits>&
575 operator <<(std::basic_ostream<Char,Traits>& os,
const OffsetView&
x);
600 int offset(
void)
const;
636 int offset(
void)
const;
676 template<
class Val,
class UnsVal>
693 int scale(
void)
const;
705 UnsVal
size(
void)
const;
707 UnsVal width(
void)
const;
709 UnsVal regret_min(
void)
const;
711 UnsVal regret_max(
void)
const;
716 bool range(
void)
const;
719 bool in(Val
n)
const;
751 UnsVal width(
const Delta&
d)
const;
779 template<
class Char,
class Traits>
780 std::basic_ostream<Char,Traits>&
781 operator <<(std::basic_ostream<Char,Traits>& os,
const IntScaleView&
x);
787 template<
class Char,
class Traits>
788 std::basic_ostream<Char,Traits>&
789 operator <<(std::basic_ostream<Char,Traits>& os,
const LLongScaleView&
x);
795 template<
class Val,
class UnsVal>
799 template<
class Val,
class UnsVal>
836 unsigned int size(
void)
const;
838 unsigned int width(
void)
const;
840 unsigned int regret_min(
void)
const;
842 unsigned int regret_max(
void)
const;
847 bool range(
void)
const;
850 bool in(
int n)
const;
852 bool in(
long long int n)
const;
930 unsigned int width(
const Delta&
d)
const;
946 template<
class Char,
class Traits>
947 std::basic_ostream<Char,Traits>&
948 operator <<(std::basic_ostream<Char,Traits>& os,
const ConstIntView&
x);
989 unsigned int size(
void)
const;
991 unsigned int width(
void)
const;
993 unsigned int regret_min(
void)
const;
995 unsigned int regret_max(
void)
const;
1000 bool range(
void)
const;
1003 bool in(
int n)
const;
1005 bool in(
long long int n)
const;
1083 unsigned int width(
const Delta& d)
const;
1093 template<
class Char,
class Traits>
1094 std::basic_ostream<Char,Traits>&
1095 operator <<(std::basic_ostream<Char,Traits>& os,
const ZeroIntView&
x);
1118 template<
class View>
1140 int min(
void)
const;
1143 int max(
void)
const;
1145 int med(
void)
const;
1147 int val(
void)
const;
1150 unsigned int size(
void)
const;
1152 unsigned int width(
void)
const;
1154 unsigned int regret_min(
void)
const;
1156 unsigned int regret_max(
void)
const;
1161 bool range(
void)
const;
1165 bool in(
int n)
const;
1167 bool in(
long long int n)
const;
1251 unsigned int width(
const Delta&
d)
const;
1261 void cache(
Space& home);
1263 bool modified(
void)
const;
1277 template<
class Char,
class Traits,
class View>
1278 std::basic_ostream<Char,Traits>&
1285 template<
class View>
1289 template<
class View>
1301 template<
class View>
1359 int min(
void)
const;
1362 int max(
void)
const;
1364 int med(
void)
const;
1366 int val(
void)
const;
1369 unsigned int size(
void)
const;
1371 unsigned int width(
void)
const;
1373 unsigned int regret_min(
void)
const;
1375 unsigned int regret_max(
void)
const;
1380 bool range(
void)
const;
1383 bool in(
int n)
const;
1385 bool in(
long long int n)
const;
1390 bool zero(
void)
const;
1393 bool one(
void)
const;
1395 bool none(
void)
const;
1485 unsigned int width(
const Delta&
d)
const;
1489 static bool zero(
const Delta&
d);
1505 template<
class Char,
class Traits>
1506 std::basic_ostream<Char,Traits>&
1507 operator <<(std::basic_ostream<Char,Traits>& os,
const BoolView&
x);
1547 bool zero(
void)
const;
1550 bool one(
void)
const;
1552 bool none(
void)
const;
1569 int min(
void)
const;
1572 int max(
void)
const;
1574 int val(
void)
const;
1584 unsigned int width(
const Delta&
d)
const;
1588 static bool zero(
const Delta&
d);
1598 template<
class Char,
class Traits>
1599 std::basic_ostream<Char,Traits>&
1600 operator <<(std::basic_ostream<Char,Traits>& os,
const NegBoolView&
x);
1623 namespace Gecode {
namespace Int {
int offset(void) const
Access offset.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
Scale integer view (template)
Relation may hold or not.
static const int BITS
How many bits does the status have.
Offset(int off=0)
Constructor with offset off.
OffsetView ViewType
The view type.
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
RelTest rtest_eq_dom(VX x, VY y)
Test whether views x and y are equal (use full domain information)
RangeList * _lastRange
Last cached range.
Converter without offsets.
unsigned int BoolStatus
Type for status of a Boolean variable.
RelTest rtest_gq(VX x, VY y)
Test whether view x is greater or equal than view y.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool any(const View &x)
Test whether x is neither positive nor negative.
bool before(const CachedView< View > &x, const CachedView< View > &y)
static const BoolStatus NONE
Status of domain not yet assigned.
ViewRanges(void)
Default constructor.
Range iterator for range lists
int ModEvent
Type for modification events.
static const BoolStatus NONE
Status of domain not yet assigned.
Value iterator for integer views.
RelTest rtest_le(VX x, VY y)
Test whether view x is less than view y.
int offset(void) const
Access offset.
Base-class for constant views.
void init(const View &x)
Initialize with ranges for view x.
Base-class for derived views.
Range iterator for integer views.
Boolean variable implementation.
static const BoolStatus ONE
Status of domain assigned to one.
RelTest rtest_lq(VX x, VY y)
Test whether view x is less or equal than view y.
bool same(const CachedView< View > &x, const CachedView< View > &y)
Gecode::FloatVal c(-8, 8)
View ViewType
The view type.
static const BoolStatus ZERO
Status of domain assigned to zero.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
RelTest
Result of testing relation.
Value iterator from range iterator.
unsigned int size(I &i)
Size of all ranges of range iterator i.
int min(void) const
Return smallest value of range.
void range(Home home, const IntVarArgs &x, SetVar y, SetVar z)
Post constraint .
Base-class for variable implementation views.
void update(const NoOffset &)
Update during cloning.
BoolTest bool_test(const BoolView &b0, const BoolView &b1)
void update(const Offset &o)
Update during cloning.
OffsetView operator()(IntView &x)
Return OffsetRefView for x.
RelTest rtest_nq_dom(VX x, VY y)
Test whether views x and y are different (use full domain information)
Same variable but complement.
Converter with fixed offset.
RelTest rtest_eq_bnd(VX x, VY y)
Test whether views x and y are equal (use bounds information)
Boolean integer variables.
static const BoolStatus ZERO
Status of domain assigned to zero.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
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
Integer variable implementation.
Generic domain change information to be supplied to advisors.
ScaleView< int, unsigned int > IntScaleView
Integer-precision integer scale view.
unsigned int _size
Size of cached domain.
bool operator()(void) const
Test whether iterator is still at a range or done.
RelTest rtest_nq_bnd(VX x, VY y)
Test whether views x and y are different (use bounds information)
View & operator()(View &x)
Pass through x.
void operator++(void)
Move iterator to next range (if possible)
int max(void) const
Return largest value of range.
Post propagator for SetVar x
Lists of ranges (intervals)
static const BoolStatus ONE
Status of domain assigned to one.
Gecode toplevel namespace
Range iterator for computing set difference.
RelTest rtest_gr(VX x, VY y)
Test whether view x is greater than view y.
ScaleView< long long int, unsigned long long int > LLongScaleView
Long long-precision integer scale view.
int ModEventDelta
Modification event deltas.
static const int BITS
How many bits does the status have.
void update(IntSet &y, Space &home, IntSet &py)
Iter::Ranges::RangeList cr
Cached domain iterator.
Range iterator for cached integer views
RangeList * _firstRange
First cached range.
ViewRanges< View > dr
Current domain iterator.
Boolean view for Boolean variables.